Algoritmi | User | João Miguel Lobo Fernandes
João Miguel Lobo Fernandes
João Miguel Lobo Fernandes
At Algoritmi
Academic Degree
Dr habil
Current Position
Full Professor at Escola de Engenharia da Universidade do Minho
Personal Webpage
http://www4.di.uminho.pt/jmfPersonal Email
jmf@di.uminho.ptOrcid
0000-0003-1174-1966Researcher ID
B-3942-2013Ciência ID
971C-B637-A388Google Scholar
h-index
0Publications
0Editorial
13Citations
0Q1 / Q2
0About Me
João Miguel Fernandes is full professor on software engineering at the Dep. Informatics, School of Engineering, UMinho. João holds a 5-year degree in Informatics Engineering (1991), and a master degree in Informatics (1994), both from UMinho (Braga, Portugal). In May 2000, he has completed his Ph.D. thesis in Informatics/Computer Engineering, from UMinho, with a thesis entitled "An object-oriented methodology for embedded systems development". He has been an invited researcher at UBristol (United Kingdom), within the research group of Prof. Erik Dagless, during 6 months, in 1991. In 2002-03, he was a post-doctoral researcher at the Embedded Systems Laboratory, TUCS (Turku Centre for Computer Science), in Turku, Finland, leaded by Prof. Johan Lilius. In 2006-07, he was an invited assistant professor at Aarhus University, Denmark, where he collaborated with the CPN group leaded by Prof. Kurt Jensen. In 2013, he was an invited professor at UFSC (Universidade Federal de Santa Catarina) in Florianópolis, Brazil, where he has collaborated with Prof. Leandro B. Becker and Prof. Christiane Gresse von Wangenheim. He was also invited professor at ISCTEM (Mozambique), U.Algarve (Portugal), ISTM (Angola), and U. Tehnică Gheorghe Asachi (Romania). João is the main author of the books "Requirements in engineering projects" (Springer, 2016) and "Essentials of computing systems" (UMinho Editora, 2023) and co-editor of the book "Behavioral modeling for embedded systems and technologies: Applications for design and implementation" (IGI Global, 2009). He is the author of more than 160 scientific publications with peer revision on international conferences, journals and chapters of books. His publications have collected more than 2.000 citations. He is member of the Editorial Review Board of the Journal of Information Technology Research (ISSN 1938-7857, IGI Publishing) and editor of Open Computer Science (ISSN 2299-1093, De Gruyter/Springer). Additionally, he has already served as a scientific reviewer for an Addison-Wesley book, for scientific journals and for many symposia. He also regularly serves as a member of the Programme Committees of international conferences and workshops, namely BM-MDA, CPN, CSE, DIPES, DSOA, EASE, ETFA, ENC, ENICS, IESS, ICESS, ICSEA, ICSOB, ITNG, IWSiB, JISBD, MADEISD, MOMPES, PETRI NETS, QUATIC, QUORS, RE, REC, RE4SuSy, SBSI, SIES, SITA, TeaConc, UCAmI, WMUPS. He has been involved in the organization of various international scientific events, including the 3rd Int. Conf. on Application of Concurrency to System Design (ACSD 2003), the 5th IFIP Int. Conf. on Distributed and Parallel Embedded Systems (DIPES 2006), the 3rd International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010), the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), the 6th International Conference on Software Business (ICSOB 2015), and the Model-based Methodologies for Pervasive and Embedded Software (MOMPES) workshop series. João conducts his research activities in Software Engineering, with a special interest in the following topics: software modeling, requirements engineering, embedded software, software process, bibliometrics. Within his research and teaching activities, he maintains regular collaborations with the industry. iFlow, a research project developed in cooperation with Bosch Portugal, received the 2016 Annual Logistics Excellence Award (PEL 2016) from the Portuguese Logistics Association (APLOG). DIABO, a web logistics platform developed in a joint project again with Bosch, was awarded the 2022 Annual Logistics Excellence Award for Academia 2022 by APLOG. At UMinho, he was the director of the 5-year degree of Systems and Informatics Engineering and vice-president of the Council of the Engineering degrees (2004-06). He was also the director of the Master degree in Informatics Engineering (2011-12). João was also member of the Scientific Council of the School of Engineering (2013-16) and an elected member of the Council of the School of Engineering (2016-18).
Publications (116)
APPROACH TO ATTRIBUTED FEATURE MODELING FOR REQUIREMENTS ELICITATION IN SCRUM AGILE DEVELOPMENT
Journal of Theoretical and Applied Information Technology
2023 | journal-article
An Industrial Case Study of Using Reference Architecture for Mapping Feature to Code
SSRN
2023 | other
Impact of remote work on Portuguese software professionals during the COVID-19 pandemic
CIbSE 2023 - XXVI Ibero-American Conference on Software Engineering
2023 | conference-paper
História Centenária da Associação de Futebol de Braga
2022 | book
Essentials of computing systems
2022 | book
Fundamentals of computer systems
2022 | book
A concrete product derivation in software product line engineering: a practical approach
International Journal of Computer Applications in Technology
2022 | journal-article
A hybrid bi-objective optimization approach for joint determination of safety stock and safety time buffers in multi-item single-stage industrial supply chains
Computers and Industrial Engineering
2022 | journal-article
Author placement in Computer Science: a study based on the careers of ACM Fellows
Scientometrics
2022 | journal-article
Transforming Ideas and Developing Entrepreneurship Skills in Computing Sciences and Informatics Engineering Courses
ACM International Conference Proceeding Series
2022 | conference-paper
A fundação do Sporting Clube de Braga
2021 | other
A Software Engineering Course that Promotes Entrepreneurship: Insights from a VUCA Perspective
Lecture Notes in Business Information Processing
2021 | book
Engineering education in a context of VUCA
2021 4th International Conference of the Portuguese Society for Engineering Education, CISPEE 2021
2021 | conference-paper
Meta-learning and the new challenges of machine learning
International Journal of Intelligent Systems
2021 | journal-article
Web based object annotation tool using a triplet-ReID sorting approach
ICPRAM 2021 - Proceedings of the 10th International Conference on Pattern Recognition Applications and Methods
2021 | conference-paper
Alphabetic order of authors in scholarly publications: a bibliometric study for 27 scientific fields
Scientometrics
2020 | journal-article
On the use of smartphone sensors for developing advanced driver assistance systems
Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2020 | book
An industrial case study for adopting software product lines in automotive industry an evolution-based approach for software product lines (EVOA-SPL)
ACM International Conference Proceeding Series
2019 | conference-paper
Characterizing industry-academia collaborations in software engineering: evidence from 101 projects
Empirical Software Engineering
2019 | journal-article
Data requirements elicitation in big data warehousing
Lecture Notes in Business Information Processing
2019 | book
A systematic reuse-based approach for customized cloned variants
Proceedings - 2018 International Conference on the Quality of Information and Communications Technology, QUATIC 2018
2018 | conference-paper
Bibliometric analysis of 50 years of IEEE industrial electronics society publications
Proceedings: IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society
2018 | conference-paper
Changing and pivoting the business model in software startups
Lecture Notes in Business Information Processing
2018 | book
Determinants for the success of software startups: Insights from a regional cluster
Lecture Notes in Business Information Processing
2018 | book
Evolution in the number of authors of computer science publications
Scientometrics
2017 | journal-article
Foreword of the thematic track quality aspects in agile methods
Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016
2017 | conference-paper
Improving visibility using RFID – the case of a company in the automotive sector
Procedia Manufacturing
2017 | journal-article
Industry-academia collaborations in software engineering
ACM International Conference Proceeding Series
2017 | conference-paper
Promoting entrepreneurship among informatics engineering students: insights from a case study
European Journal of Engineering Education
2017 | journal-article
Quality attributes for mobile applications
Application Development and Design: Concepts, Methodologies, Tools, and Applications
2017 | book
Quantity versus impact of software engineering papers: a quantitative study
Scientometrics
2017 | journal-article
Savings in internal logistics using a RFID-based software system in a lean context
Proceedings of International Conference on Computers and Industrial Engineering, CIE
2017 | conference-paper
Highly-cited papers in software engineering: The top-100
Information and Software Technology
2016 | journal-article
Quality attributes for mobile applications
Modern Software Engineering Methodologies for Mobile and Cloud Environments
2016 | book
Using scrum together with UML models: A collaborative university-industry R&D software project
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | book
iFloW: An integrated logistics software system for inbound supply chain traceability
Proceedings of the I-ESA Conferences
2016 | conference-paper
Comparing AHP and ELECTRE i for prioritizing software requirements
2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2015 - Proceedings
2015 | conference-paper
Cyber-physical systems design: transition from functional to architectural models
Design Automation for Embedded Systems
2015 | journal-article
Preface
Lecture Notes in Business Information Processing
2015 | book
Requirements in Engineering Projects
Requirements in Engineering Projects
2015 | book
Authorship trends in software engineering
Scientometrics
2014 | journal-article
A context aware architecture to support people with partial visual impairments
Advances in Intelligent Systems and Computing
2013 | book
A transformation of business process models into software-executable models using MDA
2013 | book
Assisting data warehousing populating processes design through modelling using coloured petri nets
2013 | conference-paper
Enriching MATLAB with aspect-oriented features for developing embedded systems
2013 | journal-article
Guidelines for modelling reactive systems with coloured Petri nets
2013 | book
Recent Advances in Petri Nets and Concurrency
2012 | edited-book
An integrated approach to develop professional and technical skills for informatics engineering students
2012 | journal-article
BIM: A methodology to transform business processes into software systems
2012 | book
Coloured PETRI nets in the simulation of ETL standard tasks the surrogate key pipelining case
2012 | conference-paper
Model-based approaches and frameworks for embedded software systems
2012 | journal-article
Peer feedback: Quality and quantity in large groups
Proceedings of the 40th SEFI Annual Conference 2012 - Engineering Education 2020: Meet the Future
2012 | conference-paper
Proceedings of the 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2010
2010 | edited-book
A technique to classify and compare agile methods
2010 | book
Classification and comparison of agile methods
Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010
2010 | conference-paper
Message from the ACSD 2010 conference chairs
2010 | conference-paper
PlayScrum - A card game to learn the scrum agile method
2010 | conference-paper
Preface
2010 | conference-paper
Proceedings - 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2010: Preface
2010 | conference-paper
Scenario-based modeling in industrial information systems
IFIP Advances in Information and Communication Technology
2010 | book
The APEX framework: Prototyping of ubiquitous environments based on Petri nets
2010 | book
Proceedings of the 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2009
2009 | edited-book
A multidisciplinary engineering summer school in an industrial setting
2009 | journal-article
A requirements engineering and management training course for software development professionals
2009 | conference-paper
Formal requirements modelling with executable use cases and coloured Petri nets
2009 | journal-article
Model-based Methodologies for Pervasive and Embedded Software
2009 31st International Conference on Software Engineering, Companion Volume
2009 | journal-article
Preface
2009 | book
Preface: ICSEA 2009
2009 | conference-paper
Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009: Foreword
2009 | conference-paper
Validation of scenario-based business requirements with coloured petri nets
2009 | conference-paper
Proceedings of the 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2008
2008 | edited-book
An illustrative example of refactoring object-oriented source code with aspect-oriented mechanisms
2008 | journal-article
Expressing environment assumptions and real-time requirements for a distributed embedded system with shared variables
2008 | book
Message from the organizers
2008 | conference-paper
Proceedings of the 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007
2007 | journal-article
Automated information systems generation for process-oriented organizations
2007 | conference-paper
Deriving software architectures for CRUD applications: The FPL tower interface case study
2007 | conference-paper
Designing tool support for translating use cases and UML 2.0 sequence diagrams into a coloured petri net
2007 | conference-paper
Message from the Organizers
2007 | conference-paper
Requirements engineering for reactive systems: Coloured petri nets for an elevator controller
2007 | conference-paper
Teaching embedded systems engineering in a software-oriented computing degree
2007 | conference-paper
Translating synchronous Petri nets into PROMELA for verifying behavioural properties
2007 | conference-paper
Validation of reactive software from scenario-based models
2007 | conference-paper
Proceedings of Joint Meeting of the 4th Workshop on Model-Based Development of Computer Based Systems (MBD) and 3rd International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2006
2006 | edited-book
A demonstration case on the transformation of software architectures for service specification
2006 | book
A two-year software engineering M.Sc. degree designed under the bologna declaration principles
2006 | conference-paper
Business modeling in process-oriented organizations for rup-based software development
2006 | book
Integration of DFDs into a UML-based model-driven engineering approach
2006 | journal-article
Message from the organizers
2006 | conference-paper
Refinement of software architectures by recursive model transformations
2006 | book
Towards a catalogue of refactorings and code smells for AspectJ
2006 | book
A reference framework for process-oriented software development organizations
2005 | journal-article
Integration of embedded software with corporate information systems
2005 | book
Introduction
2005 | conference-paper
Model checking embedded systems with PROMELA
2005 | conference-paper
Refactoring a Java code base to AspectJ: An illustrative example
2005 | conference-paper
Specification of requirements models
2005 | book
Towards a catalog of Aspect-oriented refactorings
2005 | conference-paper
Transformation of UML models for service-oriented software architectures
2005 | conference-paper
A multi-level design pattern for embedded software
2004 | book
Functional and object-oriented views in embedded software modeling
2004 | conference-paper
Tool support for DFD-UML model-based transformations
2004 | conference-paper
Using RUP for process-oriented organisations
2004 | book
Can UML be a system-level language for embedded software?
Design and Analysis of Distributed Embedded Systems
2002 | book-chapter
Heterogeneous information systems integration: Organizations and methodologies
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2002 | book
From use cases to objects: an industrial information systems case study analysis
7th International Conference on Object-Oriented Information Systems, OOIS 2001
2001 | conference-paper
A Petri net meta-model to develop software components for embedded systems
2nd IEEE International Conference on Application of Concurrency to System Design, ACSD 2001
2001 | conference-paper
A methodology for complex embedded systems design: Petri nets within a UML approach
2001 | book
An evolutionary approach to the use of Petri net based models: from parallel controllers to HW/SW co-design
Hardware Design and Petri Nets
2000 | book-chapter
Modeling industrial embedded systems with UML
2000 | conference-paper
Hierarchical mechanisms for high-level modeling and simulation of digital systems
1998 | conference-paper
EDgAR: a platform for hardware/software codesign
Embedded System Applications
1997 | book-chapter
Genetic regulatory mechanisms by means of extended interactive Petri Nets
1997 | conference-paper
Specification of industrial digital controllers with Object-Oriented Petri Nets
1997 | conference-paper
VHDL generation from hierarchical Petri net specifications of parallel controllers
1997 | journal-article
A heterogeneous computer vision architecture: Implementation issues
1995 | journal-article
History
Init | End | Change | Value |
---|
APPROACH TO ATTRIBUTED FEATURE MODELING FOR REQUIREMENTS ELICITATION IN SCRUM AGILE DEVELOPMENT
Journal of Theoretical and Applied Information Technology
2023 | journal-article
An Industrial Case Study of Using Reference Architecture for Mapping Feature to Code
SSRN
2023 | other
Impact of remote work on Portuguese software professionals during the COVID-19 pandemic
CIbSE 2023 - XXVI Ibero-American Conference on Software Engineering
2023 | conference-paper
História Centenária da Associação de Futebol de Braga
2022 | book
Essentials of computing systems
2022 | book
Fundamentals of computer systems
2022 | book
A concrete product derivation in software product line engineering: a practical approach
International Journal of Computer Applications in Technology
2022 | journal-article
A hybrid bi-objective optimization approach for joint determination of safety stock and safety time buffers in multi-item single-stage industrial supply chains
Computers and Industrial Engineering
2022 | journal-article
Author placement in Computer Science: a study based on the careers of ACM Fellows
Scientometrics
2022 | journal-article
Transforming Ideas and Developing Entrepreneurship Skills in Computing Sciences and Informatics Engineering Courses
ACM International Conference Proceeding Series
2022 | conference-paper
A fundação do Sporting Clube de Braga
2021 | other
A Software Engineering Course that Promotes Entrepreneurship: Insights from a VUCA Perspective
Lecture Notes in Business Information Processing
2021 | book
Engineering education in a context of VUCA
2021 4th International Conference of the Portuguese Society for Engineering Education, CISPEE 2021
2021 | conference-paper
Meta-learning and the new challenges of machine learning
International Journal of Intelligent Systems
2021 | journal-article
Web based object annotation tool using a triplet-ReID sorting approach
ICPRAM 2021 - Proceedings of the 10th International Conference on Pattern Recognition Applications and Methods
2021 | conference-paper
Alphabetic order of authors in scholarly publications: a bibliometric study for 27 scientific fields
Scientometrics
2020 | journal-article
On the use of smartphone sensors for developing advanced driver assistance systems
Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2020 | book
An industrial case study for adopting software product lines in automotive industry an evolution-based approach for software product lines (EVOA-SPL)
ACM International Conference Proceeding Series
2019 | conference-paper
Characterizing industry-academia collaborations in software engineering: evidence from 101 projects
Empirical Software Engineering
2019 | journal-article
Data requirements elicitation in big data warehousing
Lecture Notes in Business Information Processing
2019 | book
A systematic reuse-based approach for customized cloned variants
Proceedings - 2018 International Conference on the Quality of Information and Communications Technology, QUATIC 2018
2018 | conference-paper
Bibliometric analysis of 50 years of IEEE industrial electronics society publications
Proceedings: IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society
2018 | conference-paper
Changing and pivoting the business model in software startups
Lecture Notes in Business Information Processing
2018 | book
Determinants for the success of software startups: Insights from a regional cluster
Lecture Notes in Business Information Processing
2018 | book
Evolution in the number of authors of computer science publications
Scientometrics
2017 | journal-article
Foreword of the thematic track quality aspects in agile methods
Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016
2017 | conference-paper
Improving visibility using RFID – the case of a company in the automotive sector
Procedia Manufacturing
2017 | journal-article
Industry-academia collaborations in software engineering
ACM International Conference Proceeding Series
2017 | conference-paper
Promoting entrepreneurship among informatics engineering students: insights from a case study
European Journal of Engineering Education
2017 | journal-article
Quality attributes for mobile applications
Application Development and Design: Concepts, Methodologies, Tools, and Applications
2017 | book
Quantity versus impact of software engineering papers: a quantitative study
Scientometrics
2017 | journal-article
Savings in internal logistics using a RFID-based software system in a lean context
Proceedings of International Conference on Computers and Industrial Engineering, CIE
2017 | conference-paper
Highly-cited papers in software engineering: The top-100
Information and Software Technology
2016 | journal-article
Quality attributes for mobile applications
Modern Software Engineering Methodologies for Mobile and Cloud Environments
2016 | book
Using scrum together with UML models: A collaborative university-industry R&D software project
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | book
iFloW: An integrated logistics software system for inbound supply chain traceability
Proceedings of the I-ESA Conferences
2016 | conference-paper
Comparing AHP and ELECTRE i for prioritizing software requirements
2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2015 - Proceedings
2015 | conference-paper
Cyber-physical systems design: transition from functional to architectural models
Design Automation for Embedded Systems
2015 | journal-article
Preface
Lecture Notes in Business Information Processing
2015 | book
Requirements in Engineering Projects
Requirements in Engineering Projects
2015 | book
Authorship trends in software engineering
Scientometrics
2014 | journal-article
A context aware architecture to support people with partial visual impairments
Advances in Intelligent Systems and Computing
2013 | book
A transformation of business process models into software-executable models using MDA
2013 | book
Assisting data warehousing populating processes design through modelling using coloured petri nets
2013 | conference-paper
Enriching MATLAB with aspect-oriented features for developing embedded systems
2013 | journal-article
Guidelines for modelling reactive systems with coloured Petri nets
2013 | book
Recent Advances in Petri Nets and Concurrency
2012 | edited-book
An integrated approach to develop professional and technical skills for informatics engineering students
2012 | journal-article
BIM: A methodology to transform business processes into software systems
2012 | book
Coloured PETRI nets in the simulation of ETL standard tasks the surrogate key pipelining case
2012 | conference-paper
Model-based approaches and frameworks for embedded software systems
2012 | journal-article
Peer feedback: Quality and quantity in large groups
Proceedings of the 40th SEFI Annual Conference 2012 - Engineering Education 2020: Meet the Future
2012 | conference-paper
Proceedings of the 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2010
2010 | edited-book
A technique to classify and compare agile methods
2010 | book
Classification and comparison of agile methods
Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010
2010 | conference-paper
Message from the ACSD 2010 conference chairs
2010 | conference-paper
PlayScrum - A card game to learn the scrum agile method
2010 | conference-paper
Preface
2010 | conference-paper
Proceedings - 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2010: Preface
2010 | conference-paper
Scenario-based modeling in industrial information systems
IFIP Advances in Information and Communication Technology
2010 | book
The APEX framework: Prototyping of ubiquitous environments based on Petri nets
2010 | book
Proceedings of the 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2009
2009 | edited-book
A multidisciplinary engineering summer school in an industrial setting
2009 | journal-article
A requirements engineering and management training course for software development professionals
2009 | conference-paper
Formal requirements modelling with executable use cases and coloured Petri nets
2009 | journal-article
Model-based Methodologies for Pervasive and Embedded Software
2009 31st International Conference on Software Engineering, Companion Volume
2009 | journal-article
Preface
2009 | book
Preface: ICSEA 2009
2009 | conference-paper
Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009: Foreword
2009 | conference-paper
Validation of scenario-based business requirements with coloured petri nets
2009 | conference-paper
Proceedings of the 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2008
2008 | edited-book
An illustrative example of refactoring object-oriented source code with aspect-oriented mechanisms
2008 | journal-article
Expressing environment assumptions and real-time requirements for a distributed embedded system with shared variables
2008 | book
Message from the organizers
2008 | conference-paper
Proceedings of the 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007
2007 | journal-article
Automated information systems generation for process-oriented organizations
2007 | conference-paper
Deriving software architectures for CRUD applications: The FPL tower interface case study
2007 | conference-paper
Designing tool support for translating use cases and UML 2.0 sequence diagrams into a coloured petri net
2007 | conference-paper
Message from the Organizers
2007 | conference-paper
Requirements engineering for reactive systems: Coloured petri nets for an elevator controller
2007 | conference-paper
Teaching embedded systems engineering in a software-oriented computing degree
2007 | conference-paper
Translating synchronous Petri nets into PROMELA for verifying behavioural properties
2007 | conference-paper
Validation of reactive software from scenario-based models
2007 | conference-paper
Proceedings of Joint Meeting of the 4th Workshop on Model-Based Development of Computer Based Systems (MBD) and 3rd International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2006
2006 | edited-book
A demonstration case on the transformation of software architectures for service specification
2006 | book
A two-year software engineering M.Sc. degree designed under the bologna declaration principles
2006 | conference-paper
Business modeling in process-oriented organizations for rup-based software development
2006 | book
Integration of DFDs into a UML-based model-driven engineering approach
2006 | journal-article
Message from the organizers
2006 | conference-paper
Refinement of software architectures by recursive model transformations
2006 | book
Towards a catalogue of refactorings and code smells for AspectJ
2006 | book
A reference framework for process-oriented software development organizations
2005 | journal-article
Integration of embedded software with corporate information systems
2005 | book
Introduction
2005 | conference-paper
Model checking embedded systems with PROMELA
2005 | conference-paper
Refactoring a Java code base to AspectJ: An illustrative example
2005 | conference-paper
Specification of requirements models
2005 | book
Towards a catalog of Aspect-oriented refactorings
2005 | conference-paper
Transformation of UML models for service-oriented software architectures
2005 | conference-paper
A multi-level design pattern for embedded software
2004 | book
Functional and object-oriented views in embedded software modeling
2004 | conference-paper
Tool support for DFD-UML model-based transformations
2004 | conference-paper
Using RUP for process-oriented organisations
2004 | book
Can UML be a system-level language for embedded software?
Design and Analysis of Distributed Embedded Systems
2002 | book-chapter
Heterogeneous information systems integration: Organizations and methodologies
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2002 | book
From use cases to objects: an industrial information systems case study analysis
7th International Conference on Object-Oriented Information Systems, OOIS 2001
2001 | conference-paper
A Petri net meta-model to develop software components for embedded systems
2nd IEEE International Conference on Application of Concurrency to System Design, ACSD 2001
2001 | conference-paper
A methodology for complex embedded systems design: Petri nets within a UML approach
2001 | book
An evolutionary approach to the use of Petri net based models: from parallel controllers to HW/SW co-design
Hardware Design and Petri Nets
2000 | book-chapter
Modeling industrial embedded systems with UML
2000 | conference-paper
Hierarchical mechanisms for high-level modeling and simulation of digital systems
1998 | conference-paper
EDgAR: a platform for hardware/software codesign
Embedded System Applications
1997 | book-chapter
Genetic regulatory mechanisms by means of extended interactive Petri Nets
1997 | conference-paper
Specification of industrial digital controllers with Object-Oriented Petri Nets
1997 | conference-paper
VHDL generation from hierarchical Petri net specifications of parallel controllers
1997 | journal-article
A heterogeneous computer vision architecture: Implementation issues
1995 | journal-article
Start | End | Term | Value | |
---|---|---|---|---|