REGGIO, GIANNA
REGGIO, GIANNA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
"Precise is better than Light" A Document Analysis Study about Quality of Business Process Models
2011-01-01 Reggio, Gianna; Leotta, Maurizio; Ricca, Filippo
A Graphic Notation for Formal Specifications of Dynamic Systems
1997-01-01 Reggio, Gianna; M., Larosa
A Metalanguage for the Formal Requirement Specification of Reactive Systems
1993-01-01 Astesiano, Egidio; Reggio, Gianna
A Method for Developing Model to Text Transformations
2018-01-01 Tiso, Alessandro; Reggio, Gianna; Leotta, Maurizio; Ricca, Filippo
A METHOD FOR DEVELOPING UML STATE MACHINES
2009-01-01 C., Choppy; Reggio, Gianna
A Method-Wise Approach for Selecting the Most Suitable Business Process Modelling Notation
2019-01-01 Reggio, G.; Leotta, M.
A non-standard inductive semantics
1990-01-01 Reggio, Gianna
A Notation for Component-Based Design of Java Applications
2003-01-01 C., Amza; Reggio, Gianna
A Phased Highly-Interactive Approach to Teaching UML-based Software Development
2007-01-01 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna; Ricca, Filippo
A SMoLCS based kit for defining high-level algebraic Petri nets
1994-01-01 M., Bettaz; Reggio, Gianna
A syntax-directed approach to the semantics of concurrent languages
1986-01-01 Astesiano, Egidio; Reggio, Gianna
A UML-based proposal for IoT system requirements specification
2018-01-01 Reggio, Gianna
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation)
2010-01-01 Choppy, C; Reggio, Gianna
Abstract dynamic data types: A temporal logic approach
1991-01-01 G., Costa; Reggio, Gianna
Algebraic Specification at Work
1992-01-01 Astesiano, Egidio; A., Giovini; F., Morando; Reggio, Gianna
An Algebraic Semantics of UML Supporting its Multiview Approach
2000-01-01 Reggio, Gianna; Cerioli, Maura; Astesiano, Egidio
An Approach for Selecting the Most Suitable Business Process Modelling Method/Notation
2019-01-01 Reggio, Gianna; Leotta, Maurizio
An Exploratory Survey on SOA Knowledge, Adoption and Trend in the Italian Industry
2012-01-01 Leotta, Maurizio; Ricca, Filippo; Ribaudo, Marina; Reggio, Gianna; Astesiano, Egidio; Vernazza, Tullio
An outline of the SMoLCS approach
1987-01-01 Astesiano, Egidio; Reggio, Gianna
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
2000-01-01 Reggio, Gianna; Astesiano, Egidio; C., Choppy; H., Hussmann