Egidio Astesiano
Affiliations:- University of Genoa, Italy
According to our database1,
Egidio Astesiano
authored at least 80 papers
between 1973 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
1975
1980
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
1
2
1
1
2
2
2
2
1
1
1
1
1
4
2
3
2
1
1
2
5
3
2
1
1
1
1
4
1
3
1
2
3
3
4
1
1
3
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2020
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020
2016
Proceedings of the Challenges and Opportunity with Big Data, 2016
2015
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
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
Business process modelling: five styles and a method to choose the most suitable one.
Proceedings of the Second Edition of the International Workshop on Experiences and Empirical Studies in Software Modelling, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
2011
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
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
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008
Proceedings of the Concurrency, 2008
2006
Proceedings of the Model Driven Engineering Languages and Systems, 2006
2005
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
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003
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
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002
2001
Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Proceedings of the Perspectives of System Informatics, 2001
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
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
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997
1996
1995
Theor. Comput. Sci., 1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
1994
Proceedings of the Formal Systems Specification, 1994
1993
Proceedings of the Semantics of Specification Languages (SoSL), 1993
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993
Proceedings of the 7th International Workshop on Software Specification and Design, 1993
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993
1992
Partial higher-order specifications.
Fundam. Informaticae, 1992
Proceedings of the Modelling Database Dynamics, 1992
1991
Proceedings of the Recent Trends in Data Type Specification, 1991
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
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
Inductive and Operational Semantics.
Proceedings of the Formal Description of Programming Concepts, 1989
1988
Proceedings of the STACS 88, 1988
Data in a Concurrent Environment.
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988
Models and Logical Deduction in Partial Higher-Order Conditional Specifications.
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988
1987
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
Proceedings of the Mathematical Foundations of Computer Science 1986, 1986
A Syntax-Directed Approach to the Semantics of Concurrent Languages.
Proceedings of the Information Processing 86, 1986
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction.
Proceedings of the Software Development and Ada, 1986
Proceedings of the Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24, 1986
1985
Proceedings of the Mathematical Foundations of Software Development, 1985
1984
Theor. Comput. Sci., 1984
1983
J. Comput. Syst. Sci., 1983
Proceedings of the Analysis of Concurrent Systems, 1983
1981
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981
Proceedings of the Formalization of Programming Concepts, 1981
Proceedings of the GI, 1981
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
1973
Proceedings of the 5th Conference on Optimization Techniques, 1973