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 |