2009 | ||
---|---|---|
73 | EE | Christine Choppy, Gianna Reggio: A method for developing UML state machines. SAC 2009: 382-388 |
2008 | ||
72 | EE | Christine Choppy, Laure Petrucci, Gianna Reggio: A Modelling Approach with Coloured Petri Nets. Ada-Europe 2008: 73-86 |
71 | EE | Egidio Astesiano, Gianna Reggio, Filippo Ricca: Modeling Business within a UML-Based Rigorous Software Development Approach. Concurrency, Graphs and Models 2008: 261-277 |
70 | EE | Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio: Gesper: Support to Capitalize on Experience in a Network of SMEs. ISoLA 2008: 738-752 |
2006 | ||
69 | Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings Springer 2006 | |
68 | EE | Christine Choppy, Gianna Reggio: Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. ASWEC 2006: 19-28 |
67 | EE | Christine Choppy, Gianna Reggio: A formally grounded software specification method. J. Log. Algebr. Program. 67(1-2): 52-86 (2006) |
2005 | ||
66 | Nicolas Guelfi, Gianna Reggio, Alexander B. Romanovsky: Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers Springer 2005 | |
65 | EE | Egidio Astesiano, Gianna Reggio: From Conditional Specifications to Interaction Charts. Formal Methods in Software and Systems Modeling 2005: 167-189 |
64 | EE | Gianna Reggio: Tutorials at the MODELS 2005 Conference. MoDELS 2005: 715-718 |
63 | EE | Christine Choppy, Gianna Reggio: A UML-based approach for problem frame oriented software development. Information & Software Technology 47(14): 929-954 (2005) |
2004 | ||
62 | Nicolas Guelfi, Egidio Astesiano, Gianna Reggio: Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxenbourg-Kirchberg, Luxenbourg, November 27-28, 2003, Revised Papers Springer 2004 | |
61 | EE | Christine Choppy, Gianna Reggio: Improving Use Case Based Requirements Using Formally Grounded Specifications. FASE 2004: 244-260 |
60 | EE | Gianna Reggio: Towards a Precise UML-Based Development Method. FIDJI 2004: 124 |
59 | Christine Choppy, Gianna Reggio: Using UML for Problem Frame Oriented Software Development. IASSE 2004: 239-244 | |
58 | EE | Zbigniew Huzar, Ludwik Kuzniarz, Gianna Reggio, Jean-Louis Sourrouille: Consistency Problems in UML-Based Software Development. UML Satellite Activities 2004: 1-12 |
2003 | ||
57 | Nicolas Guelfi, Egidio Astesiano, Gianna Reggio: Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002, Revised Papers Springer 2003 | |
56 | EE | Egidio Astesiano, Gianna Reggio: Towards a Well-Founded UML-Based Development Method. SEFM 2003: 102- |
55 | 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 | |
2002 | ||
54 | EE | Egidio Astesiano, Gianna Reggio, Maura Cerioli: From Formal Techniques to Well-Founded Software Development Methods. 10th Anniversary Colloquium of UNU/IIST 2002: 132-150 |
53 | EE | Catalin Amza, Gianna Reggio: A Notation for Component-Based Design of Java Applications. FIDJI 2002: 155-164 |
52 | EE | Egidio Astesiano, Maura Cerioli, Gianna Reggio: Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). RISSEF 2002: 1-15 |
51 | EE | Egidio Astesiano, Gianna Reggio: Tight Structuring for Precise UML-Based Requirement Specifications. RISSEF 2002: 16-34 |
50 | EE | Egidio Astesiano, Gianna Reggio: Knowledge structuring and representation in requirement specificaiton. SEKE 2002: 143-150 |
49 | EE | Egidio Astesiano, Gianna Reggio: An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. WADT 2002: 56-81 |
2001 | ||
48 | Maura Cerioli, Gianna Reggio: 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 Springer 2001 | |
47 | EE | Egidio Astesiano, Maura Cerioli, Gianna Reggio: From ADT to UML-Like Modelling. Ershov Memorial Conference 2001: 246 |
46 | EE | Gianna Reggio, Maura Cerioli, Egidio Astesiano: Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. FASE 2001: 171-186 |
45 | EE | Egidio Astesiano, Gianna Reggio: UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. ISADS 2001: 127-134 |
44 | EE | Egidio Astesiano, Gianna Reggio: Labelled transition logic: an outline. Acta Inf. 37(11-12): 831-879 (2001) |
2000 | ||
43 | EE | Gianna Reggio, Lorenzo Repetto: CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL. AMAST 2000: 243-257 |
42 | EE | Egidio Astesiano, Maura Cerioli, Gianna Reggio: Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. AMAST 2000: 273-292 |
41 | EE | 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 |
40 | EE | Egidio Astesiano, Gianna Reggio: Formalism and method. Theor. Comput. Sci. 236(1-2): 3-34 (2000) |
1999 | ||
39 | 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 | |
38 | Eva Coscia, Gianna Reggio: JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. FASE 1999: 77-97 | |
37 | Christine Choppy, Gianna Reggio: Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. WADT 1999: 106-125 | |
36 | 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) | |
1998 | ||
35 | Maura Cerioli, Gianna Reggio: Very Abstract Specifications: A Formalism Independent Approach. Mathematical Structures in Computer Science 8(1): 17-66 (1998) | |
1997 | ||
34 | Gianna Reggio, Mauro Larosa: A Graphic Notation for Formal Specifications of Dynamic Systems. FME 1997: 40-61 | |
33 | Egidio Astesiano, Gianna Reggio: A Discipline for Handling Feature Interaction. Requirements Targeting Software and Systems Engineering 1997: 95-119 | |
32 | Egidio Astesiano, Gianna Reggio: Formalism and Method. TAPSOFT 1997: 93-114 | |
31 | EE | Gerardo Costa, Gianna Reggio: Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach. Theor. Comput. Sci. 173(2): 513-554 (1997) |
1995 | ||
30 | Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki: 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 Springer 1995 | |
29 | Eva Coscia, Gianna Reggio: Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. COMPASS/ADT 1995: 161-181 | |
28 | Egidio Astesiano, Gianna Reggio, Franco Morando: The SMoLCS ToolSet. TAPSOFT 1995: 801-802 | |
1994 | ||
27 | Egidio Astesiano, Gianna Reggio: A Dynamic Specification of the RPC-Memory Problem. Formal Systems Specification 1994: 67-108 | |
1993 | ||
26 | Maura Cerioli, Gianna Reggio: Algebraic-Oriented Institutions. AMAST 1993: 201-208 | |
25 | Egidio Astesiano, Gianna Reggio: A Metalanguage for the Formal Requirement Specification of Reactive Systems. FME 1993: 110-128 | |
24 | Egidio Astesiano, Gianna Reggio: Specifying Reactive Systems by Abstract Events. IWSSD 1993: 122-131 | |
23 | Egidio Astesiano, Gianna Reggio, Elena Zucca: Stores as Homomorphisms and their Transformations. MFCS 1993: 242-251 | |
1992 | ||
22 | Maura Cerioli, Gianna Reggio: Institutions for Very Abstract Specifications. COMPASS/ADT 1992: 113-127 | |
21 | Mohamed Bettaz, Gianna Reggio: A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. COMPASS/ADT 1992: 98-112 | |
20 | Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Observational Structures and Their Logics. Theor. Comput. Sci. 96(1): 249-283 (1992) | |
1991 | ||
19 | Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio: Algebraic Specification at Work. AMAST 1991: 26-42 | |
18 | Egidio Astesiano, Gianna Reggio: Algebraic Specification of Concurrency. COMPASS/ADT 1991: 1-39 | |
17 | Gianna Reggio: Event Logic for Specifying Abstract Dynamic Data Types. COMPASS/ADT 1991: 292-309 | |
16 | Gerardo Costa, Gianna Reggio: Abstract Dynamic Data Types: A Temporal Logic Approach. MFCS 1991: 103-112 | |
1990 | ||
15 | Gianna Reggio: Entities: An Institution for Dynamic Systems. ADT 1990: 246-265 | |
14 | Gianna Reggio: A Non-Standard Inductive Semantics. FSTTCS 1990: 362-372 | |
13 | Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Processes as Data Types: Observational Semantics and Logic. Semantics of Systems of Concurrent Processes 1990: 1-20 | |
1988 | ||
12 | Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Data in a Concurrent Environment. ADT 1988 | |
11 | Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Data in a Concurrent Environment. Concurrency 1988: 140-159 | |
10 | Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Generalized Bisimulation in Relational Specifications. STACS 1988: 207-226 | |
1987 | ||
9 | 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 | |
8 | 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 | |
7 | Egidio Astesiano, Gianna Reggio: SMoLCS-Driven Concurrent Calculi. TAPSOFT, Vol.1 1987: 169-201 | |
1986 | ||
6 | Egidio Astesiano, Gianna Reggio: A Syntax-Directed Approach to the Semantics of Concurrent Languages. IFIP Congress 1986: 571-576 | |
5 | Egidio Astesiano, Gianna Reggio, Martin Wirsing: Relational Specifications and Observational Semantics. MFCS 1986: 209-217 | |
4 | Egidio Astesiano, Gianna Reggio: An Qutline of the SMoLCS Approach. Mathematical Models for the Semantics of Parallelism 1986: 81-113 | |
3 | Egidio Astesiano, Gianna Reggio: The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction. System Development and Ada 1986: 81-116 | |
1985 | ||
2 | Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing: On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 1985: 342-358 | |
1983 | ||
1 | Egidio Astesiano, Gianna Reggio: On the Specification of the Firing Squad Problem. The Analysis of Concurrent Systems 1983: 137-156 |