Author of the publication

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

Data in a Concurrent Environment., , and . Concurrency, volume 335 of Lecture Notes in Computer Science, page 140-159. Springer, (1988)Algebraic Specification of Concurrent Systems., , and . Algebraic Foundations of Systems Specification, Springer, (1999)Maturity of software modelling and model driven engineering: A survey in the Italian industry., , , , and . EASE, page 91-100. IET - The Institute of Engineering and Technology / IEEE Xplore, (2012)Precise vs. Ultra-Light Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling., , , , and . PROFES, volume 6759 of Lecture Notes in Business Information Processing, page 291-305. Springer, (2011)Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements., , , , and . ACM Trans. Softw. Eng. Methodol., 24 (1): 1:1-1:38 (2014)A Notation for Component-Based Design of Java Applications., and . FIDJI, volume 2604 of Lecture Notes in Computer Science, page 155-164. Springer, (2002)Processes as Data Types: Observational Semantics and Logic., , and . Semantics of Systems of Concurrent Processes, volume 469 of Lecture Notes in Computer Science, page 1-20. Springer, (1990)CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL., and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 243-257. Springer, (2000)A Method for Requirements Capture and Specification Based on Disciplined Use Cases and Screen Mockups., , and . PROFES, volume 9459 of Lecture Notes in Computer Science, page 105-113. Springer, (2015)A Discipline for Handling Feature Interaction., and . Requirements Targeting Software and Systems Engineering, volume 1526 of Lecture Notes in Computer Science, page 95-119. Springer, (1997)