publicações selecionadas
-
artigo académico
- Refinement of Software Architectures by Recursive Model Transformations,. Computational Methods in Applied Sciences. 2006
- Specification of Requirements Models. Engineering and Managing Software Requirements. 2005
-
artigo de conferência
- Savings in internal logistics using a RFID-based software system in a lean context 2017
- iFloW: An integrated logistics software system for inbound supply chain traceability. Proceedings of the I-ESA Conferences. 2016
- Comparing AHP and ELECTRE I for prioritizing software requirements 2015
- Assisting data warehousing populating processes design through modelling using Coloured Petri Nets 2013
- A Requirements Engineering and Management Training Course for Software Development Professionals. Conference on Software Engineering Education and Training. 2009
- Automated Information Systems Generation for Process-Oriented Organizations 2007
- Teaching Embedded Systems Engineering in a Software-Oriented Computing Degree. AI Communications. 2007
- A Two-Year Software Engineering M.Sc. Degree designed under the Bologna Declaration Principles 2006
- Transformation of UML Models for Service-Oriented Software Architectures 2005
- A Petri Net Meta-Model to Develop Software Components for Embedded Systems 2001
- System-Level Object-Orientation in the Specification and Validation of Embedded Systems 2001
-
artigo de revista
- Promoting entrepreneurship among informatics engineering students: insights from a case study. European Journal of Engineering Education. 2017
- A Heterogeneous Computer Vision Architecture: Implementation Issues. Computing Systems in Engineering. 1995
-
livro
- Requirements in Engineering Projects 2016
- Using scrum together with UML models: A collaborative university-industry R&D software project 2016
- Generative and Transformational Techniques in Software Engineering III 2011
- Scenario-based modeling in industrial information systems 2010
- A demonstration case on the transformation of software architectures for service specification 2006
- A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach 2001