ASTESIANO, EGIDIO

ASTESIANO, EGIDIO  

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

Mostra records
Risultati 1 - 20 di 76 (tempo di esecuzione: 0.03 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 Metalanguage for the Formal Requirement Specification of Reactive Systems 1-gen-1993 Astesiano, Egidio; 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 Semantic Model for Dynamic Systems 1-gen-1993 Astesiano, Egidio; Zucca, Elena
A syntax-directed approach to the semantics of concurrent languages 1-gen-1986 Astesiano, Egidio; Reggio, Gianna
Algebraic Specification at Work 1-gen-1992 Astesiano, Egidio; A., Giovini; F., Morando; Reggio, Gianna
Algebraic specification of concurrency 1-gen-1993 Astesiano, Egidio; Reggio, Gianna
Algebraic Specification of Concurrent Systems 1-gen-1999 Astesiano, Egidio; M., Broy; Reggio, Gianna
An Algebraic Semantics of UML Supporting its Multiview Approach 1-gen-2000 Reggio, Gianna; Cerioli, Maura; Astesiano, Egidio
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint 1-gen-2003 Astesiano, Egidio; Reggio, Gianna
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 1-gen-1989 Astesiano, Egidio; A., Giovini; Reggio, Gianna; Zucca, Elena
An outline of the SMoLCS approach 1-gen-1987 Astesiano, Egidio; Reggio, Gianna
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach 1-gen-2000 Reggio, Gianna; Astesiano, Egidio; C., Choppy; H., Hussmann
Applying the SMoLCS Specification Methodology to the CNET Architecture 1-gen-1985 Astesiano, Egidio; F., Mazzanti; Reggio, Gianna; Zucca, Elena
Architecture Specific Models: Software Design on Abstract Platforms 1-gen-2002 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements 1-gen-2014 Ricca, Filippo; Giuseppe, Scanniello; Marco, Torchiano; Reggio, Gianna; Astesiano, Egidio
Building VECM-based Systems with a Model Driven Approach: an Experience Report 1-gen-2011 Leotta, Maurizio; Reggio, Gianna; Ricca, Filippo; Astesiano, Egidio
Business Process Modelling: Five Styles and a Method to Choose the Most Suitable One 1-gen-2012 Reggio, Gianna; Leotta, Maurizio; Ricca, Filippo; Astesiano, Egidio
Comparing direct and continuation semantics styles for concurrent languages 1-gen-1987 Astesiano, Egidio; Reggio, Gianna