Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Egidio Astesiano
2010 – today
- 2012
[c62]Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza: SOA adoption in the Italian industry. ICSE 2012: 1441-1442- [c61]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: 21-30
- [c60]Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano: Towards a lightweight model driven method for developing SOA systems using existing assets. WSE 2012: 51-60
- 2011
- [c59]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: 317-320
- [c58]Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano: Building VECM-based Systems with a Model Driven Approach: an Experience Report. EESSMod 2011
- 2010
- [c57]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
- [c56]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
- [c55]Gianna Reggio, Egidio Astesiano, Filippo Ricca, Maurizio Leotta: A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation. Monterey Workshop 2010: 157-175
2000 – 2009
- 2008
- [c54]Egidio Astesiano, Gianna Reggio, Filippo Ricca: Modeling Business within a UML-Based Rigorous Software Development Approach. Concurrency, Graphs and Models 2008: 261-277
- [c53]Egidio Astesiano, Gianna Reggio: Revising the UML Collaborations: A Well-Founded Approach. Monterey Workshop 2008: 1-23
- 2006
- [c52]
- 2005
- [c51]Egidio Astesiano, Gianna Reggio: From Conditional Specifications to Interaction Charts. Formal Methods in Software and Systems Modeling 2005: 167-189
- 2004
- [e5]Nicolas Guelfi, Egidio Astesiano, Gianna Reggio (Eds.): Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxenbourg-Kirchberg, Luxenbourg, November 27-28, 2003, Revised Papers. Lecture Notes in Computer Science 2952, Springer 2004, ISBN 3-540-21091-1
- 2003
- [c50]Egidio Astesiano, Gianna Reggio: Towards a Well-Founded UML-Based Development Method. SEFM 2003: 102-
- [c49]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: 578-585
- [e4]Nicolas Guelfi, Egidio Astesiano, Gianna Reggio (Eds.): Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002, Revised Papers. Lecture Notes in Computer Science 2604, Springer 2003, ISBN 3-540-00679-6
- 2002
- [j15]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): 153-196 (2002)
- [c48]Egidio Astesiano, Maura Cerioli, Gianna Reggio: Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). RISSEF 2002: 1-15
- [c47]Egidio Astesiano, Gianna Reggio: Tight Structuring for Precise UML-Based Requirement Specifications. RISSEF 2002: 16-34
- [c46]Egidio Astesiano, Gianna Reggio: Knowledge structuring and representation in requirement specificaiton. SEKE 2002: 143-150
- [c45]Egidio Astesiano, Gianna Reggio, Maura Cerioli: From Formal Techniques to Well-Founded Software Development Methods. 10th Anniversary Colloquium of UNU/IIST 2002: 132-150
- [c44]Egidio Astesiano, Gianna Reggio: An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. WADT 2002: 56-81
- 2001
- [j14]Egidio Astesiano, Gianna Reggio: Labelled transition logic: an outline. Acta Inf. 37(11-12): 831-879 (2001)
- [j13]Egidio Astesiano, Carlo Ghezzi: Fundamental Approaches to Software Engineering. Sci. Comput. Program. 40(1): 1-2 (2001)
- [c43]Egidio Astesiano, Maura Cerioli, Gianna Reggio: From ADT to UML-Like Modelling. Ershov Memorial Conference 2001: 246
- [c42]Gianna Reggio, Maura Cerioli, Egidio Astesiano: Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. FASE 2001: 171-186
- [c41]Egidio Astesiano, Gianna Reggio: UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. ISADS 2001: 127-134
- 2000
- [j12]
- [c40]Egidio Astesiano, Maura Cerioli, Gianna Reggio: Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. AMAST 2000: 273-292
- [c39]Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann: Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE 2000: 127-146
1990 – 1999
- 1999
- [j11]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): 163-190 (1999)
- [c38]Roel 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: 49-55
- 1998
- [e3]Egidio Astesiano (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. Lecture Notes in Computer Science 1382, Springer 1998, ISBN 3-540-64303-6
- 1997
- [c37]Egidio Astesiano, Gianna Reggio: A Discipline for Handling Feature Interaction. Requirements Targeting Software and Systems Engineering 1997: 95-119
- [c36]
- 1996
- [j10]Egidio Astesiano, Elena Zucca: A Free Construction of Dynamic Terms. J. Comput. Syst. Sci. 52(1): 143-156 (1996)
- [j9]Egidio Astesiano, Maura Cerioli: Non-Strict Don't Care Algebras and Specifications. Mathematical Structures in Computer Science 6(1): 85-125 (1996)
- 1995
- [j8]Egidio Astesiano, Elena Zucca: D-oids: A Model for Dynamic Data-Types. Mathematical Structures in Computer Science 5(2): 257-282 (1995)
- [j7]Egidio Astesiano, Maura Cerioli: Free Objects and Equational Deduction for Partial Conditional Specifications. Theor. Comput. Sci. 152(1): 91-138 (1995)
- [c35]
- [e2]Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (Eds.): 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. Lecture Notes in Computer Science 906, Springer 1995, ISBN 3-540-59132-X
- 1994
- [c34]Egidio Astesiano, Gianna Reggio: A Dynamic Specification of the RPC-Memory Problem. Formal Systems Specification 1994: 67-108
- 1993
- [c33]Egidio Astesiano, Gianna Reggio: A Metalanguage for the Formal Requirement Specification of Reactive Systems. FME 1993: 110-128
- [c32]Egidio Astesiano, Gianna Reggio: Specifying Reactive Systems by Abstract Events. IWSSD 1993: 122-131
- [c31]Egidio Astesiano, Gianna Reggio, Elena Zucca: Stores as Homomorphisms and their Transformations. MFCS 1993: 242-251
- [c30]Egidio Astesiano, Maura Cerioli: Multiparadigm Specification Languages: A First Attempt at Foundations. Semantics of Specification Languages 1993: 168-185
- 1992
- [j6]Egidio Astesiano, Maura Cerioli: Partial higher-order specifications. Fundam. Inform. 16(1): 101-126 (1992)
- [j5]Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Observational Structures and Their Logics. Theor. Comput. Sci. 96(1): 249-283 (1992)
- [c29]
- 1991
- [c28]Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio: Algebraic Specification at Work. AMAST 1991: 26-42
- [c27]
- [c26]Egidio Astesiano, Maura Cerioli: Relationships between Logical Frameworks. COMPASS/ADT 1991: 126-143
- [c25]
- [c24]Egidio Astesiano, Maura Cerioli: Non-Strict Don't Care Algebras and Specifications. TAPSOFT, Vol.1 1991: 121-142
- 1990
- [c23]Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Processes as Data Types: Observational Semantics and Logic. Semantics of Systems of Concurrent Processes 1990: 1-20
1980 – 1989
- 1989
- [c22]Egidio Astesiano, Maura Cerioli: On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications. TAPSOFT, Vol.1 1989: 74-88
- 1988
- [c21]Egidio Astesiano, Maura Cerioli: Models and Logical Deduction in Partial Higher-Order Conditional Specifications. ADT 1988
- [c20]
- [c19]Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Data in a Concurrent Environment. Concurrency 1988: 140-159
- [c18]Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Generalized Bisimulation in Relational Specifications. STACS 1988: 207-226
- 1987
- [c17]Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca: An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. Algebraic Methods 1987: 91-116
- [c16]Egidio Astesiano, Gianna Reggio: Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint. STACS 1987: 311-322
- [c15]
- 1986
- [c14]Egidio Astesiano, Gianna Reggio: An Qutline of the SMoLCS Approach. Mathematical Models for the Semantics of Parallelism 1986: 81-113
- [c13]Egidio Astesiano, Gianna Reggio: The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction. System Development and Ada 1986: 81-116
- [c12]Egidio Astesiano, Gianna Reggio: A Syntax-Directed Approach to the Semantics of Concurrent Languages. IFIP Congress 1986: 571-576
- [c11]Egidio Astesiano, Gianna Reggio, Martin Wirsing: Relational Specifications and Observational Semantics. MFCS 1986: 209-217
- 1985
- [c10]Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing: On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 1985: 342-358
- 1984
- [j4]Egidio Astesiano, Gerardo Costa: Distributive Semantics for Nondeterministic Typed lambda-Calculi. Theor. Comput. Sci. 32: 121-156 (1984)
- [j3]Egidio Astesiano, Elena Zucca: Parametric Channels via Label Expressions in CCS. Theor. Comput. Sci. 33: 45-63 (1984)
- 1983
- [j2]Egidio Astesiano, Gerardo Costa: The Insensitivity Theorem for Nonreducing Reflexive Types. J. Comput. Syst. Sci. 27(3): 389-399 (1983)
- [c9]Egidio Astesiano, Gianna Reggio: On the Specification of the Firing Squad Problem. The Analysis of Concurrent Systems 1983: 137-156
- 1981
- [c8]Egidio Astesiano, Elena Zucca: Semantics of Distributed Processes Derived by Translation. GI Jahrestagung 1981: 78-87
- [c7]Egidio Astesiano, Gerardo Costa: Reducing Types in Applicative Languages with Structured Data. ICFPC 1981: 210-217
- [c6]
- [e1]Egidio Astesiano, Corrado Böhm (Eds.): CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings. Lecture Notes in Computer Science 112, Springer 1981, ISBN 3-540-10828-9
- 1980
- [j1]Egidio Astesiano, Gerardo Costa: Nondeterminism and Fully Abstract Models. ITA 14(4): 323-347 (1980)
- [c5]Egidio Astesiano, Gerardo Costa: Delayed evaluation trees and their application to sementics. CLAAP 1980: 110-118
- [c4]Egidio Astesiano, Gerardo Costa: Delayed evaluation trees and their application to sementics (Additif). CLAAP 1980: 199
- [c3]
1970 – 1979
- 1979
- [c2]
- 1973
- [c1]Egidio Astesiano, Gerardo Costa: Algebraic Automata and Optimal Solutions in Pattern Recognition. Optimization Techniques 1973: 206-217
Coauthor Index
[c62] [c61] [c60] [c59] [c58] [c57] [c56] [c55] [c54] [c53] [c51] [e5] [c50] [c49] [e4] [c48] [c47] [c46] [c45] [c44] [j14] [c43] [c42] [c41] [j12] [c40] [c39] [j11] [c38] [c37] [c36] [c35] [e2] [c34] [c33] [c32] [c31] [j5] [c28] [c27] [c23] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c9]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:31 CET by the dblp team