ASTESIANO, EGIDIO
ASTESIANO, EGIDIO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
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
An Algebraic Semantics of UML Supporting its Multiview Approach
2000-01-01 Reggio, Gianna; Cerioli, Maura; Astesiano, Egidio
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 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
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
Comparing the Maintainability of two Alternative Architectures of a Postal System: SOA vs. non-SOA
2011-01-01 Leotta, Maurizio; Ricca, Filippo; Reggio, Gianna; Astesiano, Egidio
Data in a concurrent environment
1988-01-01 Astesiano, Egidio; A., Giovini; Reggio, Gianna
Formalism and Method
1997-01-01 Astesiano, Egidio; Reggio, Gianna
From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques
2003-01-01 Astesiano, Egidio; Martelli, Maurizio; Mascardi, Viviana; Reggio, Gianna
Generalized bisimulation in relational specifications
1988-01-01 Astesiano, Egidio; A., Giovini; Reggio, Gianna
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?
1999-01-01 R., Wieringa; Astesiano, Egidio; Reggio, Gianna; A., Le Guennec; H., Hussmann; K., van den Berg; P., van den Broek
Knowledge structuring and representation in requirement specification
2002-01-01 Astesiano, Egidio; Reggio, Gianna
On the effectiveness of screen mockups in requirements engineering: results from an internal replication
2010-01-01 Ricca, Filippo; G., Scanniello; M., Torchiano; Reggio, Gianna; Astesiano, Egidio
On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study
2010-01-01 Ricca, Filippo; G., Scanniello; M., Torchiano; Reggio, Gianna; Astesiano, Egidio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
An Algebraic Semantics of UML Supporting its Multiview Approach | 1-gen-2000 | Reggio, Gianna; Cerioli, Maura; Astesiano, Egidio | |
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 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 | |
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 | |
Comparing the Maintainability of two Alternative Architectures of a Postal System: SOA vs. non-SOA | 1-gen-2011 | Leotta, Maurizio; Ricca, Filippo; Reggio, Gianna; Astesiano, Egidio | |
Data in a concurrent environment | 1-gen-1988 | Astesiano, Egidio; A., Giovini; Reggio, Gianna | |
Formalism and Method | 1-gen-1997 | Astesiano, Egidio; Reggio, Gianna | |
From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques | 1-gen-2003 | Astesiano, Egidio; Martelli, Maurizio; Mascardi, Viviana; Reggio, Gianna | |
Generalized bisimulation in relational specifications | 1-gen-1988 | Astesiano, Egidio; A., Giovini; Reggio, Gianna | |
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? | 1-gen-1999 | R., Wieringa; Astesiano, Egidio; Reggio, Gianna; A., Le Guennec; H., Hussmann; K., van den Berg; P., van den Broek | |
Knowledge structuring and representation in requirement specification | 1-gen-2002 | Astesiano, Egidio; Reggio, Gianna | |
On the effectiveness of screen mockups in requirements engineering: results from an internal replication | 1-gen-2010 | Ricca, Filippo; G., Scanniello; M., Torchiano; Reggio, Gianna; Astesiano, Egidio | |
On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study | 1-gen-2010 | Ricca, Filippo; G., Scanniello; M., Torchiano; Reggio, Gianna; Astesiano, Egidio |