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