REGGIO, GIANNA
REGGIO, GIANNA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A Discipline for Handling Feature Interaction
1998-01-01 Astesiano, Egidio; Reggio, Gianna
A dynamic specification of the RPC-memory problem
1996-01-01 Astesiano, Egidio; Reggio, Gianna
A Formally Grounded Software Specification Method
2006-01-01 C., Choppy; Reggio, Gianna
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 UML STATE MACHINES
2009-01-01 C., Choppy; Reggio, Gianna
A Method for Testing Model to Text Transformations
2013-01-01 Alessandro, Tiso; Reggio, Gianna; Leotta, Maurizio
A Method-Wise Approach for Selecting the Most Suitable Business Process Modelling Notation
2019-01-01 Reggio, G.; Leotta, M.
A Modelling Approach with Coloured Petri Nets
2008-01-01 Choppy, C; Petrucci, L; Reggio, Gianna
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 Precise Style for Business Process Modelling: Results from Two Controlled Experiments
2011-01-01 Reggio, Gianna; Ricca, Filippo; G., Scanniello; F. D., Cerbo; G., Dodero
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 Approach for Problem Frame Oriented Software Development
2005-01-01 C., Choppy; Reggio, Gianna
A UML-Based Approach for Problem Frame Oriented Software Development
2005-01-01 Christine, Choppy; 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
Activity Diagrams Patterns for Modeling Business Processes
2014-01-01 E., Andre; C., Choppy; Reggio, Gianna