Author of the publication

CHARMY: A Framework for Designing and Verifying Architectural Specifications.

, , and . IEEE Trans. Software Eng., 35 (3): 325-346 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Simulating upgrades of complex systems: The case of Free and Open Source Software., and . Inf. Softw. Technol., 56 (4): 438-462 (2014)Developing highly complex distributed systems: a software engineering perspective., , , and . J. Internet Serv. Appl., 3 (1): 15-22 (2012)The impact of requirements on systems development speed: a multiple-case study in automotive., , , , , and . Requir. Eng., 24 (3): 315-340 (2019)Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation., , , , , , , , , and 9 other author(s). CoRR, (2022)Future Intelligent Autonomous Robots, Ethical by Design. Learning from Autonomous Cars Ethics., , and . CoRR, (2021)A Driver-Vehicle Model for ADS Scenario-based Testing., , , , , , and . CoRR, (2022)Why and How Your Traceability Should Evolve: Insights from an Automotive Supplier., , , and . CoRR, (2020)Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications., , , , and . EWSA, volume 3527 of Lecture Notes in Computer Science, page 130-145. Springer, (2005)Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems., , , and . IEEE Access, (2016)Guaranteeing Correct Evolution of Software Product Lines., , and . ERCIM News, (2012)