Author of the publication

Towards UML-based formal specifications of component-based real-time software.

, , , and . Int. J. Softw. Tools Technol. Transf., 9 (2): 179-192 (2007)

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 early and rapid estimation of COSMIC functional size - An experimental evaluation., , , , and . Inf. Softw. Technol., 56 (10): 1253-1267 (2014)Model-based functional size measurement., , and . ESEM, page 100-109. ACM, (2008)A Methodological Framework for SysML: a Problem Frames-based Approach., , , and . APSEC, page 25-32. IEEE Computer Society, (2007)A Web-Based Infrastructure for the Management of Semantic Meta-Data., , , and . ICECCS, page 181-190. IEEE Computer Society, (2004)A Case Study in COSMIC Functional Size Measurement: The Rice Cooker Revisited., and . IWSM/Mensura, volume 5891 of Lecture Notes in Computer Science, page 101-121. Springer, (2009)Analytical Convertibility of Functional Size Measures: A Tool-based Approach., , and . IWSM/Mensura, page 160-169. IEEE Computer Society, (2012)Towards UML-based formal specifications of component-based real-time software., , , and . Int. J. Softw. Tools Technol. Transf., 9 (2): 179-192 (2007)An Investigation of the Users' Perception of OSS Quality., , , , and . OSS, volume 319 of IFIP Advances in Information and Communication Technology, page 15-28. Springer, (2010)Fine-Grained Integrated Management of Software Configurations and Traceability Relations., , and . ICSOFT (SE/MUSE/GSDCA), page 159-164. INSTICC Press, (2008)Rigorous object-oriented techniques for the development of real-time systems.. Polytechnic University of Milan, Italy, (2005)