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 Framework for Defining and Comparing Modelling Methods
2015-01-01 Reggio, Gianna; Astesiano, Egidio; Choppy, Christine
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 Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation
2011-01-01 Reggio, Gianna; Astesiano, Egidio; Ricca, Filippo; Leotta, Maurizio
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 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 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
| 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 Framework for Defining and Comparing Modelling Methods | 1-gen-2015 | Reggio, Gianna; Astesiano, Egidio; Choppy, Christine | |
| 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 Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation | 1-gen-2011 | Reggio, Gianna; Astesiano, Egidio; Ricca, Filippo; Leotta, Maurizio | |
| 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 Exploratory Survey on SOA Knowledge, Adoption and Trend in the Italian Industry | 1-gen-2012 | Leotta, Maurizio; Ricca, Filippo; Ribaudo, Marina; Reggio, Gianna; Astesiano, Egidio; Vernazza, Tullio | |
| 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 |