Author of the publication

Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.

, , , and . FORTE Workshops, volume 3236 of Lecture Notes in Computer Science, page 351-365. Springer, (2004)

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

Model-based Analysis Support for Dependable Complex Systems in CHESS., , , , and . MODELSWARD, page 262-269. SCITEPRESS, (2021)MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs., , , , , and . OSS, volume 582 of IFIP Advances in Information and Communication Technology, page 183-189. Springer, (2020)MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges., , , , , , , , , and 1 other author(s). TOOLS, volume 11771 of Lecture Notes in Computer Science, page 393-405. Springer, (2019)A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project., , , , , , , , and . SEDA, volume 925 of Advances in Intelligent Systems and Computing, page 265-274. Springer, (2018)Low-code engineering for internet of things: a state of research., , , , and . MoDELS (Companion), page 74:1-74:8. ACM, (2020)Quality Analysis of NL Requirements: An Industrial Case Study., , and . RE, page 390-394. IEEE Computer Society, (2005)Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing., , , and . FORTE Workshops, volume 3236 of Lecture Notes in Computer Science, page 351-365. Springer, (2004)On the adequacy of UML-RT for performance validation of an SDH telecommunication system., , and . ISORC, page 121-124. IEEE Computer Society, (2005)Integrating Software Models and Platform Models for Performance Analysis., , and . IEEE Trans. Software Eng., 33 (6): 385-401 (2007)On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects : - A Preliminary Case Study of the MegaM@Rt2 EU Project -., , , , , , , , , and . DATE, page 498-503. IEEE, (2019)