Egidio Astesiano

90 papers A* 3A 5B 9C 3Journal 16Unranked 48

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