# Egidio Astesiano

According to our database

^{1}, Egidio Astesiano## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2015

A Framework for Defining and Comparing Modelling Methods.

Proceedings of the Software, 2015

2014

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

ACM Trans. Softw. Eng. Methodol., 2014

2012

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

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.

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

SOA adoption in the Italian industry.

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

2011

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

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.

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.

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.

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.

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

2008

Revising the UML Collaborations: A Well-Founded Approach.

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

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

Proceedings of the Concurrency, 2008

2006

Tutorials at MoDELS 2006.

Proceedings of the Model Driven Engineering Languages and Systems, 2006

2005

From Conditional Specifications to Interaction Charts.

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.

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

Towards a Well-Founded UML-Based Development Method.

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

2002

CASL: the Common Algebraic Specification Language.

Theor. Comput. Sci., 2002

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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

From Formal Techniques to Well-Founded Software Development Methods.

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

Knowledge structuring and representation in requirement specificaiton.

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

Tight Structuring for Precise UML-Based Requirement Specifications.

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).

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

2001

Fundamental Approaches to Software Engineering.

Sci. Comput. Program., 2001

Labelled transition logic: an outline.

Acta Inf., 2001

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

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

Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.

Proceedings of the Fundamental Approaches to Software Engineering, 2001

From ADT to UML-Like Modelling.

Proceedings of the Perspectives of System Informatics, 2001

2000

Formalism and method.

Theor. Comput. Sci., 2000

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

Proceedings of the Fundamental Approaches to Software Engineering, 2000

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

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

1999

Algebraic Specification of Concurrent Systems.

Proceedings of the Algebraic Foundations of Systems Specification, 1999

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

Sci. Comput. Program., 1999

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

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

1997

Formalism and Method.

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

A Discipline for Handling Feature Interaction.

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

1996

Non-Strict Don't Care Algebras and Specifications.

Mathematical Structures in Computer Science, 1996

A Free Construction of Dynamic Terms.

J. Comput. Syst. Sci., 1996

1995

Free Objects and Equational Deduction for Partial Conditional Specifications.

Theor. Comput. Sci., 1995

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

Mathematical Structures in Computer Science, 1995

The SMoLCS ToolSet.

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

1994

A Dynamic Specification of the RPC-Memory Problem.

Proceedings of the Formal Systems Specification, 1994

1993

Multiparadigm Specification Languages: A First Attempt at Foundations.

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

Stores as Homomorphisms and their Transformations.

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Specifying Reactive Systems by Abstract Events.

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

A Metalanguage for the Formal Requirement Specification of Reactive Systems.

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

1992

Observational Structures and Their Logics.

Theor. Comput. Sci., 1992

Partial higher-order specifications.

Fundam. Inform., 1992

A Semantic Model for Dynamic Systems.

Proceedings of the Modelling Database Dynamics, 1992

1991

Non-Strict Don't Care Algebras and Specifications.

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

Partial Higher-Order Specifications.

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Algebraic Specification of Concurrency.

Proceedings of the Recent Trends in Data Type Specification, 1991

Relationships between Logical Frameworks.

Proceedings of the Recent Trends in Data Type Specification, 1991

Algebraic Specification at Work.

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

1990

Processes as Data Types: Observational Semantics and Logic.

Proceedings of the Semantics of Systems of Concurrent Processes, 1990

1989

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

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

1988

Generalized Bisimulation in Relational Specifications.

Proceedings of the STACS 88, 1988

Data in a Concurrent Environment.

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

Data in a Concurrent Environment.

ADT, 1988

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

ADT, 1988

1987

SMoLCS-Driven Concurrent Calculi.

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.

Proceedings of the STACS 87, 1987

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

Proceedings of the Algebraic Methods: Theory, 1987

1986

Relational Specifications and Observational Semantics.

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

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

IFIP Congress, 1986

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

Proceedings of the Software Development and Ada, 1986

An Qutline of the SMoLCS Approach.

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.

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

Parametric Channels via Label Expressions in CCS.

Theor. Comput. Sci., 1984

Distributive Semantics for Nondeterministic Typed lambda-Calculi.

Theor. Comput. Sci., 1984

1983

The Insensitivity Theorem for Nonreducing Reflexive Types.

J. Comput. Syst. Sci., 1983

On the Specification of the Firing Squad Problem.

Proceedings of the Analysis of Concurrent Systems, 1983

1981

Semantics of CSP via Translation into CCS.

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

Reducing Types in Applicative Languages with Structured Data.

Proceedings of the Formalization of Programming Concepts, 1981

Semantics of Distributed Processes Derived by Translation.

Proceedings of the GI, 1981

1980

Nondeterminism and Fully Abstract Models.

ITA, 1980

Languages with Reducing Reflective Types.

Proceedings of the Automata, 1980

Delayed evaluation trees and their application to sementics.

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).

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

1979

Sharing in Nondeterminism.

Proceedings of the Automata, 1979

1973

Algebraic Automata and Optimal Solutions in Pattern Recognition.

Proceedings of the 5th Conference on Optimization Techniques, 1973