Egidio Astesiano

Publication Activity (10 Years)

Years Active: 1973-2020
Publications (10 Years): 2

Top Topics

Functional Requirements

Electronic Data Interchange

Top Venues

Software, Services, and Systems

ACM Trans. Softw. Eng. Methodol.

Publications

Gianna Reggio, Egidio Astesiano
Big-Data/Analytics Projects Failure: A Literature Review. SEAA (2020)
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Egidio Astesiano
Towards a Holistic Method for Business Process Analytics. Monterey Workshop (2016)
Gianna Reggio, Egidio Astesiano, Christine Choppy
A Framework for Defining and Comparing Modelling Methods. Software, Services, and Systems (2015)
Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements. ACM Trans. Softw. Eng. Methodol. 24 (1) (2014)
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Egidio Astesiano
Business process modelling: five styles and a method to choose the most suitable one. EESSMod@MoDELS (2012)
Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza
SOA adoption in the Italian industry. ICSE (2012)
Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza
An exploratory survey on SOA knowledge, adoption and trend in the Italian industry. WSE (2012)
Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano
Towards a lightweight model driven method for developing SOA systems using existing assets. WSE (2012)
Maurizio Leotta, Filippo Ricca, Gianna Reggio, Egidio Astesiano
Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOA. CSMR (2011)
Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano
Building VECM-based Systems with a Model Driven Approach: an Experience Report. EESSMod@MoDELS (2011)
Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano
On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study. ESEM (2010)
Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano
On the effectiveness of screen mockups in requirements engineering: results from an internal replication. ESEM (2010)
Gianna Reggio, Egidio Astesiano, Filippo Ricca, Maurizio Leotta
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation. Monterey Workshop (2010)
Egidio Astesiano, Gianna Reggio
Revising the UML Collaborations: A Well-Founded Approach. Monterey Workshop (2008)
Egidio Astesiano, Gianna Reggio, Filippo Ricca
Modeling Business within a UML-Based Rigorous Software Development Approach. Concurrency, Graphs and Models (2008)
Egidio Astesiano
Tutorials at MoDELS 2006. MoDELS (2006)
Egidio Astesiano, Gianna Reggio
From Conditional Specifications to Interaction Charts. Formal Methods in Software and Systems Modeling (2005)
Egidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio
From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques. SEKE (2003)
Egidio Astesiano, Gianna Reggio
Towards a Well-Founded UML-Based Development Method. SEFM (2003)
Egidio Astesiano, Maura Cerioli, Gianna Reggio
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). RISSEF (2002)
Egidio Astesiano, Gianna Reggio, Maura Cerioli
From Formal Techniques to Well-Founded Software Development Methods. 10th Anniversary Colloquium of UNU/IIST (2002)
Egidio Astesiano, Gianna Reggio
Tight Structuring for Precise UML-Based Requirement Specifications. RISSEF (2002)
Egidio Astesiano, Gianna Reggio
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. WADT (2002)
Egidio Astesiano, Gianna Reggio
Knowledge structuring and representation in requirement specificaiton. SEKE (2002)
Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
CASL: the Common Algebraic Specification Language. Theor. Comput. Sci. 286 (2) (2002)
Egidio Astesiano, Gianna Reggio
Labelled transition logic: an outline. Acta Informatica 37 (11-12) (2001)
Egidio Astesiano, Maura Cerioli, Gianna Reggio
From ADT to UML-Like Modelling. Ershov Memorial Conference (2001)
Egidio Astesiano, Carlo Ghezzi
Fundamental Approaches to Software Engineering. Sci. Comput. Program. 40 (1) (2001)
Gianna Reggio, Maura Cerioli, Egidio Astesiano
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. FASE (2001)
Egidio Astesiano, Gianna Reggio
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. ISADS (2001)
Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE (2000)
Egidio Astesiano, Maura Cerioli, Gianna Reggio
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. AMAST (2000)
Egidio Astesiano, Gianna Reggio
Formalism and method. Theor. Comput. Sci. 236 (1-2) (2000)
Roel J. Wieringa, Egidio Astesiano, Gianna Reggio, Alain Le Guennec, Heinrich Hußmann, Klaas van den Berg, Pim van den Broek
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? ECOOP Workshops (1999)
Egidio Astesiano, Gianna Reggio, Elena Zucca
Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages. Sci. Comput. Program. 34 (3) (1999)
Egidio Astesiano, Gianna Reggio
Formalism and Method. TAPSOFT (1997)
Egidio Astesiano, Gianna Reggio
A Discipline for Handling Feature Interaction. Requirements Targeting Software and Systems Engineering (1997)
Egidio Astesiano, Elena Zucca
A Free Construction of Dynamic Terms. J. Comput. Syst. Sci. 52 (1) (1996)
Egidio Astesiano, Maura Cerioli
Non-Strict Don't Care Algebras and Specifications. Math. Struct. Comput. Sci. 6 (1) (1996)
Egidio Astesiano, Elena Zucca
D-oids: A Model for Dynamic Data-Types. Math. Struct. Comput. Sci. 5 (2) (1995)
Egidio Astesiano, Maura Cerioli
Free Objects and Equational Deduction for Partial Conditional Specifications. Theor. Comput. Sci. 152 (1) (1995)
Egidio Astesiano, Gianna Reggio, Franco Morando
The SMoLCS ToolSet. TAPSOFT (1995)
Egidio Astesiano, Gianna Reggio
A Dynamic Specification of the RPC-Memory Problem. Formal Systems Specification (1994)
Egidio Astesiano, Gianna Reggio
A Metalanguage for the Formal Requirement Specification of Reactive Systems. FME (1993)
Egidio Astesiano, Gianna Reggio
Specifying Reactive Systems by Abstract Events. IWSSD (1993)
Egidio Astesiano, Maura Cerioli
Multiparadigm Specification Languages: A First Attempt at Foundations. Semantics of Specification Languages (1993)
Egidio Astesiano, Gianna Reggio, Elena Zucca
Stores as Homomorphisms and their Transformations. MFCS (1993)
Egidio Astesiano, Maura Cerioli
Partial higher-order specifications. Fundam. Informaticae 16 (1) (1992)
Egidio Astesiano, Elena Zucca
A Semantic Model for Dynamic Systems. FMLDO (1992)
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
Observational Structures and Their Logics. Theor. Comput. Sci. 96 (1) (1992)
Egidio Astesiano, Maura Cerioli
Relationships between Logical Frameworks. COMPASS/ADT (1991)
Egidio Astesiano, Gianna Reggio
Algebraic Specification of Concurrency. COMPASS/ADT (1991)
Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio
Algebraic Specification at Work. AMAST (1991)
Egidio Astesiano, Maura Cerioli
Non-Strict Don't Care Algebras and Specifications. TAPSOFT, Vol.1 (1991)
Egidio Astesiano, Maura Cerioli
Partial Higher-Order Specifications. MFCS (1991)
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
Processes as Data Types: Observational Semantics and Logic. Semantics of Systems of Concurrent Processes (1990)
Egidio Astesiano, Maura Cerioli
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications. TAPSOFT, Vol.1 (1989)
Egidio Astesiano
Inductive and Operational Semantics. Formal Description of Programming Concepts (1989)
Egidio Astesiano, Maura Cerioli
Models and Logical Deduction in Partial Higher-Order Conditional Specifications. ADT (1988)
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
Generalized Bisimulation in Relational Specifications. STACS (1988)
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
Data in a Concurrent Environment. Concurrency (1988)
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
Data in a Concurrent Environment. ADT (1988)
Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. Algebraic Methods (1987)
Egidio Astesiano, Gianna Reggio
Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint. STACS (1987)
Egidio Astesiano, Gianna Reggio
SMoLCS-Driven Concurrent Calculi. TAPSOFT, Vol.1 (1987)
Egidio Astesiano, Gianna Reggio
A Syntax-Directed Approach to the Semantics of Concurrent Languages. IFIP Congress (1986)
Egidio Astesiano, Gianna Reggio
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction. System Development and Ada (1986)
Egidio Astesiano, Gianna Reggio
An Qutline of the SMoLCS Approach. Mathematical Models for the Semantics of Parallelism (1986)
Egidio Astesiano, Gianna Reggio, Martin Wirsing
Relational Specifications and Observational Semantics. MFCS (1986)
Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing
On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 (1985)
Egidio Astesiano, Gerardo Costa
Distributive Semantics for Nondeterministic Typed lambda-Calculi. Theor. Comput. Sci. 32 (1984)
Egidio Astesiano, Elena Zucca
Parametric Channels via Label Expressions in CCS. Theor. Comput. Sci. 33 (1984)
Egidio Astesiano, Gerardo Costa
The Insensitivity Theorem for Nonreducing Reflexive Types. J. Comput. Syst. Sci. 27 (3) (1983)
Egidio Astesiano, Gianna Reggio
On the Specification of the Firing Squad Problem. The Analysis of Concurrent Systems (1983)
Egidio Astesiano, Elena Zucca
Semantics of CSP via Translation into CCS. MFCS (1981)
Egidio Astesiano, Elena Zucca
Semantics of Distributed Processes Derived by Translation. GI Jahrestagung (1981)
Egidio Astesiano, Gerardo Costa
Reducing Types in Applicative Languages with Structured Data. ICFPC (1981)
Egidio Astesiano, Gerardo Costa
Delayed evaluation trees and their application to sementics (Additif). CLAAP (1980)
Egidio Astesiano, Gerardo Costa
Delayed evaluation trees and their application to sementics. CLAAP (1980)
Egidio Astesiano, Gerardo Costa
Languages with Reducing Reflective Types. ICALP (1980)
Egidio Astesiano, Gerardo Costa
Nondeterminism and Fully Abstract Models. RAIRO Theor. Informatics Appl. 14 (4) (1980)
Egidio Astesiano, Gerardo Costa
Sharing in Nondeterminism. ICALP (1979)
Egidio Astesiano, Gerardo Costa
Algebraic Automata and Optimal Solutions in Pattern Recognition. Optimization Techniques (1973)