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.
Gianna Reggio
2010 – today
- 2012
[c77]Federico Tomassetti, Marco Torchiano, Alessandro Tiso, Filippo Ricca, Gianna Reggio: Maturity of software modelling and model driven engineering: A survey in the Italian industry. EASE 2012: 91-100- [c76]Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza: SOA adoption in the Italian industry. ICSE 2012: 1441-1442
- [c75]Christine Choppy, Gianna Reggio, Khanh-Dung Tran: Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML. KSE 2012: 187-194
- [c74]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
- [c73]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
- [c72]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
- [c71]Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio: Preliminary Findings from a Survey on the MD State of the Practice. ESEM 2011: 372-375
- [c70]Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano: Building VECM-based Systems with a Model Driven Approach: an Experience Report. EESSMod 2011
- [c69]Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero: A Precise Style for Business Process Modelling: Results from Two Controlled Experiments. MoDELS 2011: 138-152
- [c68]Francesco Di Cerbo, Gabriella Dodero, Gianna Reggio, Filippo Ricca, Giuseppe Scanniello: Precise vs. Ultra-Light Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling. PROFES 2011: 291-305
- [c67]Francesco Di Cerbo, Gabriella Dodero, Gianna Reggio, Filippo Ricca, Giuseppe Scanniello: Assessing the Effectiveness of "Precise" Activity Diagrams in the Context of Business Process Modeling. SEBD 2011: 373-380
- 2010
- [c66]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
- [c65]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
- [c64]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
- [c63]Christine Choppy, Gianna Reggio: A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). SAC 2010: 2451-2458
- [c62]Christine Choppy, Gianna Reggio: Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. WADT 2010: 76-97
2000 – 2009
- 2009
- [c61]
- 2008
- [c60]Christine Choppy, Laure Petrucci, Gianna Reggio: A Modelling Approach with Coloured Petri Nets. Ada-Europe 2008: 73-86
- [c59]Egidio Astesiano, Gianna Reggio, Filippo Ricca: Modeling Business within a UML-Based Rigorous Software Development Approach. Concurrency, Graphs and Models 2008: 261-277
- [c58]Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio: Gesper: Support to Capitalize on Experience in a Network of SMEs. ISoLA 2008: 738-752
- [c57]Egidio Astesiano, Gianna Reggio: Revising the UML Collaborations: A Well-Founded Approach. Monterey Workshop 2008: 1-23
- 2006
- [j8]Christine Choppy, Gianna Reggio: A formally grounded software specification method. J. Log. Algebr. Program. 67(1-2): 52-86 (2006)
- [c56]Christine Choppy, Gianna Reggio: Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. ASWEC 2006: 19-28
- [e6]Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio (Eds.): Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings. Lecture Notes in Computer Science 4199, Springer 2006, ISBN 3-540-45772-0
- 2005
- [j7]Christine Choppy, Gianna Reggio: A UML-based approach for problem frame oriented software development. Information & Software Technology 47(14): 929-954 (2005)
- [c55]Egidio Astesiano, Gianna Reggio: From Conditional Specifications to Interaction Charts. Formal Methods in Software and Systems Modeling 2005: 167-189
- [c54]
- [e5]Nicolas Guelfi, Gianna Reggio, Alexander B. Romanovsky (Eds.): Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3409, Springer 2005, ISBN 3-540-25053-0
- 2004
- [c53]Christine Choppy, Gianna Reggio: Improving Use Case Based Requirements Using Formally Grounded Specifications. FASE 2004: 244-260
- [c52]
- [c51]Christine Choppy, Gianna Reggio: Using UML for Problem Frame Oriented Software Development. IASSE 2004: 239-244
- [c50]Zbigniew Huzar, Ludwik Kuzniarz, Gianna Reggio, Jean-Louis Sourrouille: Consistency Problems in UML-Based Software Development. UML Satellite Activities 2004: 1-12
- [e4]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
- [c49]Egidio Astesiano, Gianna Reggio: Towards a Well-Founded UML-Based Development Method. SEFM 2003: 102-
- [c48]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
- [e3]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
- [c47]Catalin Amza, Gianna Reggio: A Notation for Component-Based Design of Java Applications. FIDJI 2002: 155-164
- [c46]Egidio Astesiano, Maura Cerioli, Gianna Reggio: Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). RISSEF 2002: 1-15
- [c45]Egidio Astesiano, Gianna Reggio: Tight Structuring for Precise UML-Based Requirement Specifications. RISSEF 2002: 16-34
- [c44]Egidio Astesiano, Gianna Reggio: Knowledge structuring and representation in requirement specificaiton. SEKE 2002: 143-150
- [c43]Egidio Astesiano, Gianna Reggio, Maura Cerioli: From Formal Techniques to Well-Founded Software Development Methods. 10th Anniversary Colloquium of UNU/IIST 2002: 132-150
- [c42]Egidio Astesiano, Gianna Reggio: An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. WADT 2002: 56-81
- 2001
- [j6]Egidio Astesiano, Gianna Reggio: Labelled transition logic: an outline. Acta Inf. 37(11-12): 831-879 (2001)
- [c41]Egidio Astesiano, Maura Cerioli, Gianna Reggio: From ADT to UML-Like Modelling. Ershov Memorial Conference 2001: 246
- [c40]Gianna Reggio, Maura Cerioli, Egidio Astesiano: Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. FASE 2001: 171-186
- [c39]Egidio Astesiano, Gianna Reggio: UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. ISADS 2001: 127-134
- [e2]Maura Cerioli, Gianna Reggio (Eds.): Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Lecture Notes in Computer Science 2267, Springer 2001, ISBN 3-540-43159-4
- 2000
- [j5]
- [c38]Gianna Reggio, Lorenzo Repetto: CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL. AMAST 2000: 243-257
- [c37]Egidio Astesiano, Maura Cerioli, Gianna Reggio: Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. AMAST 2000: 273-292
- [c36]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
- [j4]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)
- [c35]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
- [c34]Eva Coscia, Gianna Reggio: JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. FASE 1999: 77-97
- [c33]Christine Choppy, Gianna Reggio: Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. WADT 1999: 106-125
- 1998
- [j3]Maura Cerioli, Gianna Reggio: Very Abstract Specifications: A Formalism Independent Approach. Mathematical Structures in Computer Science 8(1): 17-66 (1998)
- 1997
- [j2]Gerardo Costa, Gianna Reggio: Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach. Theor. Comput. Sci. 173(2): 513-554 (1997)
- [c32]Gianna Reggio, Mauro Larosa: A Graphic Notation for Formal Specifications of Dynamic Systems. FME 1997: 40-61
- [c31]Egidio Astesiano, Gianna Reggio: A Discipline for Handling Feature Interaction. Requirements Targeting Software and Systems Engineering 1997: 95-119
- [c30]
- 1995
- [c29]Eva Coscia, Gianna Reggio: Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. COMPASS/ADT 1995: 161-181
- [c28]
- [e1]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
- [c27]Egidio Astesiano, Gianna Reggio: A Dynamic Specification of the RPC-Memory Problem. Formal Systems Specification 1994: 67-108
- [c26]Mohamed Bettaz, Aicha Choutri, Gianna Reggio: A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency. PDP 1994: 551-558
- 1993
- [c25]
- [c24]Egidio Astesiano, Gianna Reggio: A Metalanguage for the Formal Requirement Specification of Reactive Systems. FME 1993: 110-128
- [c23]Egidio Astesiano, Gianna Reggio: Specifying Reactive Systems by Abstract Events. IWSSD 1993: 122-131
- [c22]Egidio Astesiano, Gianna Reggio, Elena Zucca: Stores as Homomorphisms and their Transformations. MFCS 1993: 242-251
- 1992
- [j1]Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Observational Structures and Their Logics. Theor. Comput. Sci. 96(1): 249-283 (1992)
- [c21]Mohamed Bettaz, Gianna Reggio: A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. COMPASS/ADT 1992: 98-112
- [c20]Maura Cerioli, Gianna Reggio: Institutions for Very Abstract Specifications. COMPASS/ADT 1992: 113-127
- 1991
- [c19]Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio: Algebraic Specification at Work. AMAST 1991: 26-42
- [c18]
- [c17]
- [c16]Gerardo Costa, Gianna Reggio: Abstract Dynamic Data Types: A Temporal Logic Approach. MFCS 1991: 103-112
- 1990
- [c15]
- [c14]
- [c13]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
- 1988
- [c12]
- [c11]Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Data in a Concurrent Environment. Concurrency 1988: 140-159
- [c10]Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Generalized Bisimulation in Relational Specifications. STACS 1988: 207-226
- 1987
- [c9]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
- [c8]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
- [c7]
- 1986
- [c6]Egidio Astesiano, Gianna Reggio: An Qutline of the SMoLCS Approach. Mathematical Models for the Semantics of Parallelism 1986: 81-113
- [c5]Egidio Astesiano, Gianna Reggio: The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction. System Development and Ada 1986: 81-116
- [c4]Egidio Astesiano, Gianna Reggio: A Syntax-Directed Approach to the Semantics of Concurrent Languages. IFIP Congress 1986: 571-576
- [c3]Egidio Astesiano, Gianna Reggio, Martin Wirsing: Relational Specifications and Observational Semantics. MFCS 1986: 209-217
- 1985
- [c2]Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing: On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 1985: 342-358
- 1983
- [c1]Egidio Astesiano, Gianna Reggio: On the Specification of the Firing Squad Problem. The Analysis of Concurrent Systems 1983: 137-156
Coauthor Index
[c76] [c74] [c73] [c72] [c70] [c66] [c65] [c64] [c59] [c57] [c55] [e4] [c49] [c48] [e3] [c46] [c45] [c44] [c43] [c42] [j6] [c41] [c40] [c39] [j5] [c37] [c36] [j4] [c35] [c31] [c30] [c28] [e1] [c27] [c24] [c23] [c22] [j1] [c19] [c18] [c13] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-01 03:06 CEST by the dblp team