IRIS

REGGIO, GIANNA

REGGIO, GIANNA  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 137 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
A Discipline for Handling Feature Interaction 1-gen-1998 Astesiano, Egidio; Reggio, Gianna
A dynamic specification of the RPC-memory problem 1-gen-1996 Astesiano, Egidio; Reggio, Gianna
A Formally Grounded Software Specification Method 1-gen-2006 C., Choppy; Reggio, Gianna
A Graphic Notation for Formal Specifications of Dynamic Systems 1-gen-1997 Reggio, Gianna; M., Larosa
A Metalanguage for the Formal Requirement Specification of Reactive Systems 1-gen-1993 Astesiano, Egidio; Reggio, Gianna
A METHOD FOR DEVELOPING UML STATE MACHINES 1-gen-2009 C., Choppy; Reggio, Gianna
A Method for Testing Model to Text Transformations 1-gen-2013 Alessandro, Tiso; Reggio, Gianna; Leotta, Maurizio
A Method-Wise Approach for Selecting the Most Suitable Business Process Modelling Notation 1-gen-2019 Reggio, G.; Leotta, M.
A Modelling Approach with Coloured Petri Nets 1-gen-2008 Choppy, C; Petrucci, L; Reggio, Gianna
A non-standard inductive semantics 1-gen-1990 Reggio, Gianna
A Notation for Component-Based Design of Java Applications 1-gen-2003 C., Amza; Reggio, Gianna
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 1-gen-2007 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna; Ricca, Filippo
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments 1-gen-2011 Reggio, Gianna; Ricca, Filippo; G., Scanniello; F. D., Cerbo; G., Dodero
A SMoLCS based kit for defining high-level algebraic Petri nets 1-gen-1994 M., Bettaz; Reggio, Gianna
A syntax-directed approach to the semantics of concurrent languages 1-gen-1986 Astesiano, Egidio; Reggio, Gianna
A UML-Based Approach for Problem Frame Oriented Software Development 1-gen-2005 C., Choppy; Reggio, Gianna
A UML-Based Approach for Problem Frame Oriented Software Development 1-gen-2005 Christine, Choppy; Reggio, Gianna
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation) 1-gen-2010 Choppy, C; Reggio, Gianna
Abstract dynamic data types: A temporal logic approach 1-gen-1991 G., Costa; Reggio, Gianna
Activity Diagrams Patterns for Modeling Business Processes 1-gen-2014 E., Andre; C., Choppy; Reggio, Gianna