( en | de | ru )

 

Disambiguation of "Reggio, Gianna"

Author of the publication

copydeleteadd this publication to your clipboard
A Modelling Approach with Coloured Petri Nets.

, , and . Ada-Europe, volume 5026 of Lecture Notes in Computer Science, page 73-86. Springer, (2008)

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.

Gianna Burret

Gianna Gaddoni

Gianna Haake

Gianna Ragagnin

Gianna Angelini

 

Other publications of authors with the same name

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)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)A Metalanguage for the Formal Requirement Specification of Reactive Systems., and . FME, volume 670 of Lecture Notes in Computer Science, page 110-128. Springer, (1993)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)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)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)Consistency Problems in UML-Based Software Development., , , and . UML Satellite Activities, volume 3297 of Lecture Notes in Computer Science, page 1-12. Springer, (2004)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)