Author of the publication

Formal Methods in Testing Software Architectures.

, , and . SFM, volume 2804 of Lecture Notes in Computer Science, page 122-147. Springer, (2003)

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

1st international workshop on the engineering of mobile-enabled systems (MOBS 2013)., , , , , and . ICSE, page 1533-1534. IEEE Computer Society, (2013)An Introduction to Software Engineering and Fault Tolerance, , , and . CoRR, (2010)Engineering Fault Tolerant Systems, , , and . International Journal of Computer Systems Science and Engineering, (2008)From Requirements to Java code: an Architecture-centric Approach for producing quality systems, , , and . chapter Model-Driven Software Development: Integrating Quality Assurance, Information Science Reference, (2008)A model-driven approach to automate the propagation of changes among Architecture Description Languages., , , , and . Softw. Syst. Model., 11 (1): 29-53 (2012)TracIMo: a traceability introduction methodology and its evaluation in an Agile development team., , , and . Requir. Eng., 27 (1): 53-81 (2022)Modeling Data Analytics Architecture for Smart Cities Data-Driven Applications using DAT., and . CoRR, (2023)Model-based generation of test scripts across product variants: An experience report from the railway industry., , , , and . J. Softw. Evol. Process., (2022)GitHub, Technical Debt, Code Formatting, and More., , , and . IEEE Softw., 34 (2): 105-107 (2017)Visitors flow management at Uffizi Gallery in Florence, Italy., , , , , and . J. Inf. Technol. Tour., 24 (3): 409-434 (2022)