( en | de | ru )

 

Disambiguation of "Ghezzi, Carlo"

Author of the publication

copydeleteadd this publication to your clipboard
Model-based verification of quantitative non-functional properties for software product lines.

, and . Inf. Softw. Technol., 55 (3): 508-524 (2013)

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.

Lothar Carlowitz

Teresa Carlomagno

Horst Carlowitz

Hans Carlowitz

Hans Carlowitz

 

Other publications of authors with the same name

Computational REST Meets Erlang., , and . TOOLS (49), volume 6705 of Lecture Notes in Computer Science, page 244-259. Springer, (2011)Compiler Testing using a Sentence Generator., , , , , and . Softw. Pract. Exp., 10 (11): 897-918 (1980)Model-based verification of quantitative non-functional properties for software product lines., and . Inf. Softw. Technol., 55 (3): 508-524 (2013)RESTful Service Architectures for Pervasive Networking Environments., , and . REST: From Research to Practice, Springer, (2011)ubiREST: A RESTful Service-Oriented Middleware for Ubiquitous Networking, , , and . Advanced Web Services, Springer, New York, (2013)Using Graph Transformation Systems to Specify and Verify Data Abstractions, , , and . Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), volume X of Electronic Communications of the EASST, page 277--290. EASST, European Association of Software Science and Technology, (March 2008)Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting, , and . SEKE~'02: Proceedings of the 14th international conference on Software engineering and knowledge engineering, page 507--511. ACM, ACM Press, (July 2002)Executing Formal Specifications: The ASTRAL to TRIO Translation Approach., and . Symposium on Testing, Analysis, and Verification, page 112-122. ACM, (1991)Software Qualities and Principles., , and . The Computer Science and Engineering Handbook, CRC Press, (1997)Hybrid service-oriented architectures: a case-study in the automotive domain., , , , , and . SEM, page 62-68. ACM, (2005)