Egidio Astesiano

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

2016

Towards a Holistic Method for Business Process Analytics.

[BibT_eX]

[DOI]

Proceedings of the Challenges and Opportunity with Big Data, 2016

2015

A Framework for Defining and Comparing Modelling Methods.

[BibT_eX]

[DOI]

Christine Choppy

Proceedings of the Software, 2015

2014

Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

2012

An exploratory survey on SOA knowledge, adoption and trend in the Italian industry.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Web Systems Evolution, 2012

Towards a lightweight model driven method for developing SOA systems using existing assets.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Web Systems Evolution, 2012

Business process modelling: five styles and a method to choose the most suitable one.

[BibT_eX]

[DOI]

Proceedings of the Second Edition of the International Workshop on Experiences and Empirical Studies in Software Modelling, 2012

SOA adoption in the Italian industry.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Building VECM-based Systems with a Model Driven Approach: an Experience Report.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Experiences and Empirical Studies in Software Modelling, 2011

Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOA.

[BibT_eX]

[DOI]

Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2010

A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Empirical Software Engineering and Measurement, 2010

On the effectiveness of screen mockups in requirements engineering: results from an internal replication.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Empirical Software Engineering and Measurement, 2010

2008

Revising the UML Collaborations: A Well-Founded Approach.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Modeling Business within a UML-Based Rigorous Software Development Approach.

[BibT_eX]

[DOI]

Filippo Ricca

Proceedings of the Concurrency, 2008

2006

Tutorials at MoDELS 2006.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2006

2005

From Conditional Specifications to Interaction Charts.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2003

From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Towards a Well-Founded UML-Based Development Method.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

2002

CASL: the Common Algebraic Specification Language.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

From Formal Techniques to Well-Founded Software Development Methods.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Knowledge structuring and representation in requirement specificaiton.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Tight Structuring for Precise UML-Based Requirement Specifications.

[BibT_eX]

[DOI]

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case).

[BibT_eX]

[DOI]

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001

Fundamental Approaches to Software Engineering.

[BibT_eX]

[DOI]

Carlo Ghezzi

Sci. Comput. Program., 2001

Labelled transition logic: an outline.

[BibT_eX]

[DOI]

Acta Informatica, 2001

UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2001

From ADT to UML-Like Modelling.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2001

2000

Formalism and method.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2000

Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Algebraic Specification of Concurrent Systems.

[BibT_eX]

[DOI]

Manfred Broy

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1999

Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1997

A Discipline for Handling Feature Interaction.

[BibT_eX]

[DOI]

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

1996

Non-Strict Don't Care Algebras and Specifications.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1996

A Free Construction of Dynamic Terms.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1996

1995

Free Objects and Equational Deduction for Partial Conditional Specifications.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

D-oids: A Model for Dynamic Data-Types.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1995

The SMoLCS ToolSet.

[BibT_eX]

[DOI]

Franco Morando

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1994

A Dynamic Specification of the RPC-Memory Problem.

[BibT_eX]

[DOI]

Proceedings of the Formal Systems Specification, 1994

1993

Multiparadigm Specification Languages: A First Attempt at Foundations.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Specification Languages (SoSL), 1993

Stores as Homomorphisms and their Transformations.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Specifying Reactive Systems by Abstract Events.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

A Metalanguage for the Formal Requirement Specification of Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

Observational Structures and Their Logics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

Partial higher-order specifications.

[BibT_eX]

Fundam. Informaticae, 1992

A Semantic Model for Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the Modelling Database Dynamics, 1992

1991

Algebraic Specification of Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1991

Relationships between Logical Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1991

Algebraic Specification at Work.

[BibT_eX]

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Processes as Data Types: Observational Semantics and Logic.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Systems of Concurrent Processes, 1990

1989

On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Inductive and Operational Semantics.

[BibT_eX]

Proceedings of the Formal Description of Programming Concepts, 1989

1988

Generalized Bisimulation in Relational Specifications.

[BibT_eX]

[DOI]

Proceedings of the STACS 88, 1988

Data in a Concurrent Environment.

[BibT_eX]

[DOI]

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

Models and Logical Deduction in Partial Higher-Order Conditional Specifications.

[BibT_eX]

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

SMoLCS-Driven Concurrent Calculi.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint.

[BibT_eX]

[DOI]

Proceedings of the STACS 87, 1987

An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methods: Theory, 1987

1986

Relational Specifications and Observational Semantics.

[BibT_eX]

[DOI]

Martin Wirsing

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

A Syntax-Directed Approach to the Semantics of Concurrent Languages.

[BibT_eX]

Proceedings of the Information Processing 86, 1986

The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction.

[BibT_eX]

Proceedings of the Software Development and Ada, 1986

An Qutline of the SMoLCS Approach.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24, 1986

1985

On the Parameterized Algebraic Specification of Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

Parametric Channels via Label Expressions in CCS.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

Distributive Semantics for Nondeterministic Typed lambda-Calculi.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

1983

The Insensitivity Theorem for Nonreducing Reflexive Types.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1983

On the Specification of the Firing Squad Problem.

[BibT_eX]

[DOI]

Proceedings of the Analysis of Concurrent Systems, 1983

1981

Semantics of CSP via Translation into CCS.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

Reducing Types in Applicative Languages with Structured Data.

[BibT_eX]

[DOI]

Proceedings of the Formalization of Programming Concepts, 1981

Semantics of Distributed Processes Derived by Translation.

[BibT_eX]

[DOI]

Proceedings of the GI, 1981

1980

Nondeterminism and Fully Abstract Models.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1980

Languages with Reducing Reflective Types.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1980

Delayed evaluation trees and their application to sementics.

[BibT_eX]

Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980

Delayed evaluation trees and their application to sementics (Additif).

[BibT_eX]

Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980

1979

Sharing in Nondeterminism.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1979

1973

Algebraic Automata and Optimal Solutions in Pattern Recognition.

[BibT_eX]

[DOI]