♀ Person: Gianna Reggio

DBLP: Reggio:Gianna

Facilitated 13 volumes:

SCo

PrCo

PrCo

SCo

PrCo

SCo

PrCo

Ed

Ed

SCo

Contributed to:

2014

2014

2013

2012

2012

2011

2011

2010

2009

2008

2004

2003

2003

2002

2001

2000

1999

1997

1994

1993

1986

1985

1987

1995

1997

Wrote 25 papers:

AMT-2014-TisoRL #model-to-text #testing

Unit Testing of Model to Text Transformations (AT, GR, ML), pp. 14–23.

MoDELS-2014-ReggioLR #overview #uml #what

Who Knows/Uses What of the UML: A Personal Opinion Survey (GR, ML, FR), pp. 149–165.

AMT-2013-TisoRL #model-to-text #testing

A Method for Testing Model to Text Transformations (AT, GR, ML), pp. 22–31.

AMT-2012-TisoRL #case study #experience #model transformation #testing

Early experiences on model transformation testing (AT, GR, ML), pp. 15–20.

ICSE-2012-LeottaRRRAV #industrial

SOA adoption in the Italian industry (ML, FR, MR, GR, EA, TV), pp. 1441–1442.

CSMR-2011-LeottaRRA #architecture #maintenance

Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOA (ML, FR, GR, EA), pp. 317–320.

MoDELS-2011-ReggioRSCD #modelling #precise #process

A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.

SAC-2010-ChoppyR #approach #modelling

A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation) (CC, GR), pp. 2451–2458.

SAC-2009-ChoppyR #state machine #uml

A method for developing UML state machines (CC, GR), pp. 382–388.

AdaEurope-2008-ChoppyPR #approach #modelling #petri net

A Modelling Approach with Coloured Petri Nets (CC, LP, GR), pp. 73–86.

FASE-2004-ChoppyR #case study #requirements #specification #using

Improving Use Case Based Requirements Using Formally Grounded Specifications (CC, GR), pp. 244–260.

SEFM-2003-AstesianoR #development #towards #uml

Towards a Well-Founded UML-Based Development Method (EA, GR), p. 102–?.

SEKE-2003-AstesianoMMR #execution #multi #prototype #specification

From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques (EA, MM, VM, GR), pp. 578–585.

SEKE-2002-AstesianoR #information management #representation

Knowledge structuring and representation in requirement specificaiton (EA, GR), pp. 143–150.

FASE-2001-ReggioCA #approach #multi #semantics #towards #uml

Towards a Rigorous Semantics of UML Supporting Its Multiview Approach (GR, MC, EA), pp. 171–186.

FASE-2000-ReggioACH #approach #formal method #lightweight #state machine #uml

Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach (GR, EA, CC, HH), pp. 127–146.

FASE-1999-CosicaR #concurrent #named

JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems (EC, GR), pp. 77–97.

FME-1997-ReggioL #specification

A Graphic Notation for Formal Specifications of Dynamic Systems (GR, ML), pp. 40–61.

PDP-1994-BettazCR #concurrent #distributed #lifecycle #modelling #parallel

A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency (MB, AC, GR), pp. 551–558.

FME-1993-AstesianoR #metalanguage #specification

A Metalanguage for the Formal Requirement Specification of Reactive Systems (EA, GR), pp. 110–128.

CRAI-1986-AstesianoR #approach #programming language #semantics #tutorial

The SMoLCS Approach to the Formal Semantics of Programming Languages — A Tutorial Introduction (EA, GR), pp. 81–116.

CAAP-1985-AstesianoMRW #algebra #concurrent #on the #specification

On the Parameterized Algebraic Specification of Concurrent Systems (EA, GM, GR, MW), pp. 342–358.

AS-1987-AstesianoR #calculus #concurrent

SMoLCS-Driven Concurrent Calculi (EA, GR), pp. 169–201.

TAPSOFT-1995-AstesianoRM #tool support

The SMoLCS ToolSet (EA, GR, FM), pp. 801–802.

TAPSOFT-1997-AstesianoR

Formalism and Method (EA, GR), pp. 93–114.