Gianna Reggio

130 papers A* 1A 10B 15C 7Misc 6Journal 17Unranked 68
YearRankTypeTitle / Venue / Authors
2025 J jnl
Software engineering in IoT: Insights from a survey of 361 experts.
Internet Things
Maura Cerioli, Maurizio Leotta, Gianna Reggio
2021 J jnl
A service-oriented method for domain and business process modelling.
J. Softw. Evol. Process.
Gianna Reggio, Maurizio Leotta, Filippo Ricca
2020 B conf
Big-Data/Analytics Projects Failure: A Literature Review.
SEAA
Gianna Reggio, Egidio Astesiano
2020 — conf
On the Deployment of IoT Systems: An Industrial Survey.
ICSA Companion
Fahed Alkhabbas, Romina Spalazzese, Maura Cerioli, Maurizio Leotta, Gianna Reggio
2020 J jnl
What are IoT systems for real? An experts' survey on software engineering aspects.
Internet Things
Gianna Reggio, Maurizio Leotta, Maura Cerioli, Romina Spalazzese, Fahed Alkhabbas
2019 B conf
A Method-Wise Approach for Selecting the Most Suitable Business Process Modelling Notation.
SEAA
Gianna Reggio, Maurizio Leotta
2019 B conf
An Approach for Selecting the Most Suitable Business Process Modelling Method/Notation.
RCIS
Gianna Reggio, Maurizio Leotta
2018 — conf
A UML-based proposal for IoT system requirements specification.
MiSE@ICSE
Gianna Reggio
2018 Misc conf
A method for developing model to text transformations.
SAC
Alessandro Tiso, Gianna Reggio, Maurizio Leotta, Filippo Ricca
2018 J jnl
DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups.
J. Comput. Sci. Technol.
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi
2018 J jnl
On the impact of state-based model-driven development on maintainability: a family of experiments using UniMod.
Empir. Softw. Eng.
Filippo Ricca, Marco Torchiano, Maurizio Leotta, Alessandro Tiso, Giovanna Guerrini, Gianna Reggio
2018 — conf
Towards an approach for developing and testing Node-RED IoT systems.
EnSEmble@ESEC/SIGSOFT FSE
Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca
2017 J jnl
Do UML object diagrams affect design comprehensibility? Results from a family of four controlled experiments.
J. Vis. Lang. Comput.
Marco Torchiano, Giuseppe Scanniello, Filippo Ricca, Gianna Reggio, Maurizio Leotta
2017 Misc conf
Service-oriented domain and business process modelling.
SAC
Gianna Reggio, Maurizio Leotta, Diego Clerissi, Filippo Ricca
2017 — conf
Towards the Generation of End-to-End Web Test Scripts from Requirements Specifications.
RE Workshops
Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca
2016 B conf
A Lightweight Semi-automated Acceptance Test-Driven Development Approach for Web Applications.
ICWE
Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca
2016 Misc conf
Test Driven Development of Web Applications: A Lightweight Approach.
QUATIC
Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca
2016 — conf
Towards a Holistic Method for Business Process Analytics.
Monterey Workshop
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Egidio Astesiano
2015 — conf
A Framework for Defining and Comparing Modelling Methods.
Software, Services, and Systems
Gianna Reggio, Egidio Astesiano, Christine Choppy
2015 B conf
A Method for Requirements Capture and Specification Based on Disciplined Use Cases and Screen Mockups.
PROFES
Gianna Reggio, Maurizio Leotta, Filippo Ricca
2015 J jnl
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments.
Softw. Syst. Model.
Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero
2014 J jnl
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements.
ACM Trans. Softw. Eng. Methodol.
Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano
2014 — conf
Improving the Quality and the Comprehension of Requirements: Disciplined Use Cases and Mockups.
EUROMICRO-SEAA
Gianna Reggio, Filippo Ricca, Maurizio Leotta
2014 — conf
Unit Testing of Model to Text Transformations.
AMT@MoDELS
Alessandro Tiso, Gianna Reggio, Maurizio Leotta
2014 — conf
What Are the Used UML Diagram Constructs? A Document and Tool Analysis Study Covering Activity and Use Case Diagrams.
MODELSWARD (Revised Selected Papers)
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi
2014 C conf
What are the used Activity Diagram Constructs? - A Survey.
MODELSWARD
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi
2014 A conf
Who Knows/Uses What of the UML: A Personal Opinion Survey.
MoDELS
Gianna Reggio, Maurizio Leotta, Filippo Ricca
2013 — conf
A Method for Testing Model to Text Transformations.
AMT@MoDELS
Alessandro Tiso, Gianna Reggio, Maurizio Leotta
2013 — conf
Activity Diagrams Patterns for Modeling Business Processes.
SERA (selected papers)
Étienne André, Christine Choppy, Gianna Reggio
2013 B conf
Empirical evaluation of uml-based model-driven techniques: Poster paper.
RCIS
Maurizio Leotta, Filippo Ricca, Marco Torchiano, Gianna Reggio
2013 — conf
Estimating the Effort to Develop Screen Mockups.
EUROMICRO-SEAA
Giuseppe Scanniello, Filippo Ricca, Marco Torchiano, Carmine Gravino, Gianna Reggio
2013 J jnl
Relevance, benefits, and problems of software modelling and model driven techniques - A survey in the Italian industry.
J. Syst. Softw.
Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio
2013 — conf
What are the used UML diagrams? A Preliminary Survey.
EESSMod@MoDELS
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi
2012 — conf
An exploratory survey on SOA knowledge, adoption and trend in the Italian industry.
WSE
Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza
2012 — conf
Benefits from modelling and MDD adoption: expectations and achievements.
EESSMod@MoDELS
Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio
2012 — conf
Business process modelling: five styles and a method to choose the most suitable one.
EESSMod@MoDELS
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Egidio Astesiano
2012 — conf
Early experiences on model transformation testing.
AMT@MoDELS
Alessandro Tiso, Gianna Reggio, Maurizio Leotta
2012 — conf
Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML.
KSE
Christine Choppy, Gianna Reggio, Khanh-Dung Tran
2012 A conf
Maturity of software modelling and model driven engineering: A survey in the Italian industry.
EASE
Federico Tomassetti, Marco Torchiano, Alessandro Tiso, Filippo Ricca, Gianna Reggio
2012 A* conf
SOA adoption in the Italian industry.
ICSE
Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza
2012 — conf
Towards a lightweight model driven method for developing SOA systems using existing assets.
WSE
Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano
2012 C conf
Using UniMod for maintenance tasks: an experimental assessment in the context of model driven development.
MiSE
Filippo Ricca, Maurizio Leotta, Gianna Reggio, Alessandro Tiso, Giovanna Guerrini, Marco Torchiano
2011 — conf
"Precise is better than light" a document analysis study about quality of business process models.
EmpiRE
Gianna Reggio, Maurizio Leotta, Filippo Ricca
2011 A conf
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments.
MoDELS
Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero
2011 — conf
Assessing the Effectiveness of "Precise" Activity Diagrams in the Context of Business Process Modeling.
SEBD
Francesco Di Cerbo, Gabriella Dodero, Gianna Reggio, Filippo Ricca, Giuseppe Scanniello
2011 — conf
Building VECM-based Systems with a Model Driven Approach: an Experience Report.
EESSMod@MoDELS
Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano
2011 — conf
Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOA.
CSMR
Maurizio Leotta, Filippo Ricca, Gianna Reggio, Egidio Astesiano
2011 B conf
Precise vs. Ultra-Light Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling.
PROFES
Francesco Di Cerbo, Gabriella Dodero, Gianna Reggio, Filippo Ricca, Giuseppe Scanniello
2011 A conf
Preliminary Findings from a Survey on the MD State of the Practice.
ESEM
Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio
2010 — conf
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation.
Monterey Workshop
Gianna Reggio, Egidio Astesiano, Filippo Ricca, Maurizio Leotta
2010 Misc conf
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation).
SAC
Christine Choppy, Gianna Reggio
2010 — conf
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation.
WADT
Christine Choppy, Gianna Reggio
2010 A conf
On the effectiveness of screen mockups in requirements engineering: results from an internal replication.
ESEM
Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano
2010 A conf
On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study.
ESEM
Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano
2009 Misc conf
A method for developing UML state machines.
SAC
Christine Choppy, Gianna Reggio
2008 Misc conf
A Modelling Approach with Coloured Petri Nets.
Ada-Europe
Christine Choppy, Laure Petrucci, Gianna Reggio
2008 C conf
Gesper: Support to Capitalize on Experience in a Network of SMEs.
ISoLA
Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio
2008 — conf
Modeling Business within a UML-Based Rigorous Software Development Approach.
Concurrency, Graphs and Models
Egidio Astesiano, Gianna Reggio, Filippo Ricca
2008 — conf
Revising the UML Collaborations: A Well-Founded Approach.
Monterey Workshop
Egidio Astesiano, Gianna Reggio
2006 J jnl
A formally grounded software specification method.
J. Log. Algebraic Methods Program.
Christine Choppy, Gianna Reggio
2006 A ed.
Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
MoDELS
Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio
2006 — conf
Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt.
ASWEC
Christine Choppy, Gianna Reggio
2005 J jnl
A UML-based approach for problem frame oriented software development.
Inf. Softw. Technol.
Christine Choppy, Gianna Reggio
2005 — conf
From Conditional Specifications to Interaction Charts.
Formal Methods in Software and Systems Modeling
Egidio Astesiano, Gianna Reggio
2005 — ed.
Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
FIDJI
Nicolas Guelfi, Gianna Reggio, Alexander B. Romanovsky
2005 A conf
Tutorials at the MODELS 2005 Conference.
MoDELS
Gianna Reggio
2004 — conf
Consistency Problems in UML-Based Software Development.
UML Satellite Activities
Zbigniew Huzar, Ludwik Kuzniarz, Gianna Reggio, Jean-Louis Sourrouille
2004 B conf
Improving Use Case Based Requirements Using Formally Grounded Specifications.
FASE
Christine Choppy, Gianna Reggio
2004 — ed.
Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers
FIDJI
Nicolas Guelfi, Egidio Astesiano, Gianna Reggio
2004 — conf
Towards a Precise UML-Based Development Method.
FIDJI
Gianna Reggio
2004 — conf
Using UML for Problem Frame Oriented Software Development.
IASSE
Christine Choppy, Gianna Reggio
2003 C conf
From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques.
SEKE
Egidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio
2003 — ed.
Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002, Revised Papers
FIDJI
Nicolas Guelfi, Egidio Astesiano, Gianna Reggio
2003 B conf
Towards a Well-Founded UML-Based Development Method.
SEFM
Egidio Astesiano, Gianna Reggio
2002 — conf
A Notation for Component-Based Design of Java Applications.
FIDJI
Catalin Amza, Gianna Reggio
2002 — conf
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint.
WADT
Egidio Astesiano, Gianna Reggio
2002 — conf
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case).
RISSEF
Egidio Astesiano, Maura Cerioli, Gianna Reggio
2002 — conf
From Formal Techniques to Well-Founded Software Development Methods.
10th Anniversary Colloquium of UNU/IIST
Egidio Astesiano, Gianna Reggio, Maura Cerioli
2002 C conf
Knowledge structuring and representation in requirement specificaiton.
SEKE
Egidio Astesiano, Gianna Reggio
2002 — conf
Tight Structuring for Precise UML-Based Requirement Specifications.
RISSEF
Egidio Astesiano, Gianna Reggio
2001 — conf
From ADT to UML-Like Modelling.
Ershov Memorial Conference
Egidio Astesiano, Maura Cerioli, Gianna Reggio
2001 J jnl
Labelled transition logic: an outline.
Acta Informatica
Egidio Astesiano, Gianna Reggio
2001 — ed.
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
WADT
Maura Cerioli, Gianna Reggio
2001 B conf
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.
FASE
Gianna Reggio, Maura Cerioli, Egidio Astesiano
2001 C conf
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces.
ISADS
Egidio Astesiano, Gianna Reggio
2000 B conf
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.
FASE
Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann
2000 — conf
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL.
AMAST
Gianna Reggio, Lorenzo Repetto
2000 J jnl
Formalism and method.
Theor. Comput. Sci.
Egidio Astesiano, Gianna Reggio
2000 — conf
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML.
AMAST
Egidio Astesiano, Maura Cerioli, Gianna Reggio
1999 — ch.
Algebraic Specification of Concurrent Systems.
Algebraic Foundations of Systems Specification
Egidio Astesiano, Manfred Broy, Gianna Reggio
1999 — conf
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?
ECOOP Workshops
Roel J. Wieringa, Egidio Astesiano, Gianna Reggio, Alain Le Guennec, Heinrich Hußmann, Klaas van den Berg, Pim van den Broek
1999 B conf
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems.
FASE
Eva Coscia, Gianna Reggio
1999 J jnl
Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages.
Sci. Comput. Program.
Egidio Astesiano, Gianna Reggio, Elena Zucca
1999 — conf
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach.
WADT
Christine Choppy, Gianna Reggio
1998 J jnl
Very Abstract Specifications: A Formalism Independent Approach.
Math. Struct. Comput. Sci.
Maura Cerioli, Gianna Reggio
1997 — conf
A Discipline for Handling Feature Interaction.
Requirements Targeting Software and Systems Engineering
Egidio Astesiano, Gianna Reggio
1997 — conf
A Graphic Notation for Formal Specifications of Dynamic Systems.
FME
Gianna Reggio, Mauro Larosa
1997 — conf
Formalism and Method.
TAPSOFT
Egidio Astesiano, Gianna Reggio
1997 J jnl
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach.
Theor. Comput. Sci.
Gerardo Costa, Gianna Reggio
1995 — conf
Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case.
COMPASS/ADT
Eva Coscia, Gianna Reggio
1995 — ed.
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
COMPASS/ADT
Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki
1995 — conf
The SMoLCS ToolSet.
TAPSOFT
Egidio Astesiano, Gianna Reggio, Franco Morando
1994 — conf
A Dynamic Specification of the RPC-Memory Problem.
Formal Systems Specification
Egidio Astesiano, Gianna Reggio
1994 C conf
A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency.
PDP
Mohamed Bettaz, Aicha Choutri, Gianna Reggio
1993 — conf
A Metalanguage for the Formal Requirement Specification of Reactive Systems.
FME
Egidio Astesiano, Gianna Reggio
1993 — conf
Algebraic-Oriented Institutions.
AMAST
Maura Cerioli, Gianna Reggio
1993 — conf
Specifying Reactive Systems by Abstract Events.
IWSSD
Egidio Astesiano, Gianna Reggio
1993 B conf
Stores as Homomorphisms and their Transformations.
MFCS
Egidio Astesiano, Gianna Reggio, Elena Zucca
1992 — conf
A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets.
COMPASS/ADT
Mohamed Bettaz, Gianna Reggio
1992 — conf
Institutions for Very Abstract Specifications.
COMPASS/ADT
Maura Cerioli, Gianna Reggio
1992 J jnl
Observational Structures and Their Logics.
Theor. Comput. Sci.
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
1991 B conf
Abstract Dynamic Data Types: A Temporal Logic Approach.
MFCS
Gerardo Costa, Gianna Reggio
1991 — conf
Algebraic Specification at Work.
AMAST
Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio
1991 — conf
Algebraic Specification of Concurrency.
COMPASS/ADT
Egidio Astesiano, Gianna Reggio
1991 — conf
Event Logic for Specifying Abstract Dynamic Data Types.
COMPASS/ADT
Gianna Reggio
1990 — conf
A Non-Standard Inductive Semantics.
FSTTCS
Gianna Reggio
1990 — conf
Entities: An Institution for Dynamic Systems.
ADT
Gianna Reggio
1990 — conf
Processes as Data Types: Observational Semantics and Logic.
Semantics of Systems of Concurrent Processes
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
1988 — conf
Data in a Concurrent Environment.
ADT
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
1988 — conf
Data in a Concurrent Environment.
Concurrency
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
1988 A conf
Generalized Bisimulation in Relational Specifications.
STACS
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
1987 — conf
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects.
Algebraic Methods
Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca
1987 A conf
Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint.
STACS
Egidio Astesiano, Gianna Reggio
1987 — conf
SMoLCS-Driven Concurrent Calculi.
TAPSOFT, Vol.1
Egidio Astesiano, Gianna Reggio
1986 — conf
A Syntax-Directed Approach to the Semantics of Concurrent Languages.
IFIP Congress
Egidio Astesiano, Gianna Reggio
1986 — conf
An Qutline of the SMoLCS Approach.
Mathematical Models for the Semantics of Parallelism
Egidio Astesiano, Gianna Reggio
1986 B conf
Relational Specifications and Observational Semantics.
MFCS
Egidio Astesiano, Gianna Reggio, Martin Wirsing
1986 — conf
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction.
System Development and Ada
Egidio Astesiano, Gianna Reggio
1985 — conf
On the Parameterized Algebraic Specification of Concurrent Systems.
TAPSOFT, Vol.1
Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing
1983 — conf
On the Specification of the Firing Squad Problem.
The Analysis of Concurrent Systems
Egidio Astesiano, Gianna Reggio