Gianna Reggio

Publication Activity (10 Years)

Years Active: 1983-2021
Publications (10 Years): 17

Top Venues

AMT@MoDELS

EESSMod@MoDELS

RCIS

SEAA

Publications

Gianna Reggio, Maurizio Leotta, Filippo Ricca
A service-oriented method for domain and business process modelling. J. Softw. Evol. Process. 33 (2) (2021)
Gianna Reggio, Maurizio Leotta, Maura Cerioli, Romina Spalazzese, Fahed Alkhabbas
What are IoT systems for real? An experts' survey on software engineering aspects. Internet Things 12 (2020)
Fahed Alkhabbas, Romina Spalazzese, Maura Cerioli, Maurizio Leotta, Gianna Reggio
On the Deployment of IoT Systems: An Industrial Survey. ICSA Companion (2020)
Gianna Reggio, Egidio Astesiano
Big-Data/Analytics Projects Failure: A Literature Review. SEAA (2020)
Gianna Reggio, Maurizio Leotta
A Method-Wise Approach for Selecting the Most Suitable Business Process Modelling Notation. SEAA (2019)
Gianna Reggio, Maurizio Leotta
An Approach for Selecting the Most Suitable Business Process Modelling Method/Notation. RCIS (2019)
Filippo Ricca, Marco Torchiano, Maurizio Leotta, Alessandro Tiso, Giovanna Guerrini, Gianna Reggio
On the impact of state-based model-driven development on maintainability: a family of experiments using UniMod. Empir. Softw. Eng. 23 (3) (2018)
Alessandro Tiso, Gianna Reggio, Maurizio Leotta, Filippo Ricca
A method for developing model to text transformations. SAC (2018)
Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca
Towards an approach for developing and testing Node-RED IoT systems. EnSEmble@ESEC/SIGSOFT FSE (2018)
Gianna Reggio
A UML-based proposal for IoT system requirements specification. MiSE@ICSE (2018)
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi
DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups. J. Comput. Sci. Technol. 33 (5) (2018)
Marco Torchiano, Giuseppe Scanniello, Filippo Ricca, Gianna Reggio, Maurizio Leotta
Do UML object diagrams affect design comprehensibility? Results from a family of four controlled experiments. J. Vis. Lang. Comput. 41 (2017)
Gianna Reggio, Maurizio Leotta, Diego Clerissi, Filippo Ricca
Service-oriented domain and business process modelling. SAC (2017)
Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca
Towards the Generation of End-to-End Web Test Scripts from Requirements Specifications. RE Workshops (2017)
Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca
A Lightweight Semi-automated Acceptance Test-Driven Development Approach for Web Applications. ICWE (2016)
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Egidio Astesiano
Towards a Holistic Method for Business Process Analytics. Monterey Workshop (2016)
Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca
Test Driven Development of Web Applications: A Lightweight Approach. QUATIC (2016)
Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments. Softw. Syst. Model. 14 (4) (2015)
Gianna Reggio, Maurizio Leotta, Filippo Ricca
A Method for Requirements Capture and Specification Based on Disciplined Use Cases and Screen Mockups. PROFES (2015)
Gianna Reggio, Egidio Astesiano, Christine Choppy
A Framework for Defining and Comparing Modelling Methods. Software, Services, and Systems (2015)
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi
What Are the Used UML Diagram Constructs? A Document and Tool Analysis Study Covering Activity and Use Case Diagrams. MODELSWARD (Revised Selected Papers) (2014)
Alessandro Tiso, Gianna Reggio, Maurizio Leotta
Unit Testing of Model to Text Transformations. AMT@MoDELS (2014)
Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements. ACM Trans. Softw. Eng. Methodol. 24 (1) (2014)
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi
What are the used Activity Diagram Constructs? - A Survey. MODELSWARD (2014)
Gianna Reggio, Maurizio Leotta, Filippo Ricca
Who Knows/Uses What of the UML: A Personal Opinion Survey. MoDELS (2014)
Gianna Reggio, Filippo Ricca, Maurizio Leotta
Improving the Quality and the Comprehension of Requirements: Disciplined Use Cases and Mockups. EUROMICRO-SEAA (2014)
Étienne André, Christine Choppy, Gianna Reggio
Activity Diagrams Patterns for Modeling Business Processes. SERA (selected papers) (2013)
Alessandro Tiso, Gianna Reggio, Maurizio Leotta
A Method for Testing Model to Text Transformations. AMT@MoDELS (2013)
Giuseppe Scanniello, Filippo Ricca, Marco Torchiano, Carmine Gravino, Gianna Reggio
Estimating the Effort to Develop Screen Mockups. EUROMICRO-SEAA (2013)
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi
What are the used UML diagrams? A Preliminary Survey. EESSMod@MoDELS (2013)
Maurizio Leotta, Filippo Ricca, Marco Torchiano, Gianna Reggio
Empirical evaluation of uml-based model-driven techniques: Poster paper. RCIS (2013)
Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio
Relevance, benefits, and problems of software modelling and model driven techniques - A survey in the Italian industry. J. Syst. Softw. 86 (8) (2013)
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)
Christine Choppy, Gianna Reggio, Khanh-Dung Tran
Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML. KSE (2012)
Filippo Ricca, Maurizio Leotta, Gianna Reggio, Alessandro Tiso, Giovanna Guerrini, Marco Torchiano
Using UniMod for maintenance tasks: an experimental assessment in the context of model driven development. MiSE (2012)
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Egidio Astesiano
Business process modelling: five styles and a method to choose the most suitable one. EESSMod@MoDELS (2012)
Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza
SOA adoption in the Italian industry. ICSE (2012)
Alessandro Tiso, Gianna Reggio, Maurizio Leotta
Early experiences on model transformation testing. AMT@MoDELS (2012)
Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio
Benefits from modelling and MDD adoption: expectations and achievements. EESSMod@MoDELS (2012)
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)
Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano
Towards a lightweight model driven method for developing SOA systems using existing assets. WSE (2012)
Gianna Reggio, Maurizio Leotta, Filippo Ricca
"Precise is better than light" a document analysis study about quality of business process models. EmpiRE (2011)
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)
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)
Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano
Building VECM-based Systems with a Model Driven Approach: an Experience Report. EESSMod@MoDELS (2011)
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)
Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio
Preliminary Findings from a Survey on the MD State of the Practice. ESEM (2011)
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)
Christine Choppy, Gianna Reggio
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). SAC (2010)
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)
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)
Gianna Reggio, Egidio Astesiano, Filippo Ricca, Maurizio Leotta
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation. Monterey Workshop (2010)
Christine Choppy, Gianna Reggio
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. WADT (2010)
Christine Choppy, Gianna Reggio
A method for developing UML state machines. SAC (2009)
Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio
Gesper: Support to Capitalize on Experience in a Network of SMEs. ISoLA (2008)
Egidio Astesiano, Gianna Reggio
Revising the UML Collaborations: A Well-Founded Approach. Monterey Workshop (2008)
Egidio Astesiano, Gianna Reggio, Filippo Ricca
Modeling Business within a UML-Based Rigorous Software Development Approach. Concurrency, Graphs and Models (2008)
Christine Choppy, Laure Petrucci, Gianna Reggio
A Modelling Approach with Coloured Petri Nets. Ada-Europe (2008)
Christine Choppy, Gianna Reggio
A formally grounded software specification method. J. Log. Algebraic Methods Program. 67 (1-2) (2006)
Christine Choppy, Gianna Reggio
Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. ASWEC (2006)
Egidio Astesiano, Gianna Reggio
From Conditional Specifications to Interaction Charts. Formal Methods in Software and Systems Modeling (2005)
Christine Choppy, Gianna Reggio
A UML-based approach for problem frame oriented software development. Inf. Softw. Technol. 47 (14) (2005)
Gianna Reggio
Tutorials at the MODELS 2005 Conference. MoDELS (2005)
Zbigniew Huzar, Ludwik Kuzniarz, Gianna Reggio, Jean-Louis Sourrouille
Consistency Problems in UML-Based Software Development. UML Satellite Activities (2004)
Gianna Reggio
Towards a Precise UML-Based Development Method. FIDJI (2004)
Christine Choppy, Gianna Reggio
Improving Use Case Based Requirements Using Formally Grounded Specifications. FASE (2004)
Christine Choppy, Gianna Reggio
Using UML for Problem Frame Oriented Software Development. IASSE (2004)
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)
Egidio Astesiano, Gianna Reggio
Towards a Well-Founded UML-Based Development Method. SEFM (2003)
Egidio Astesiano, Maura Cerioli, Gianna Reggio
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). RISSEF (2002)
Egidio Astesiano, Gianna Reggio, Maura Cerioli
From Formal Techniques to Well-Founded Software Development Methods. 10th Anniversary Colloquium of UNU/IIST (2002)
Egidio Astesiano, Gianna Reggio
Tight Structuring for Precise UML-Based Requirement Specifications. RISSEF (2002)
Egidio Astesiano, Gianna Reggio
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. WADT (2002)
Egidio Astesiano, Gianna Reggio
Knowledge structuring and representation in requirement specificaiton. SEKE (2002)
Catalin Amza, Gianna Reggio
A Notation for Component-Based Design of Java Applications. FIDJI (2002)
Egidio Astesiano, Gianna Reggio
Labelled transition logic: an outline. Acta Informatica 37 (11-12) (2001)
Egidio Astesiano, Maura Cerioli, Gianna Reggio
From ADT to UML-Like Modelling. Ershov Memorial Conference (2001)
Gianna Reggio, Maura Cerioli, Egidio Astesiano
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. FASE (2001)
Egidio Astesiano, Gianna Reggio
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. ISADS (2001)
Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE (2000)
Egidio Astesiano, Maura Cerioli, Gianna Reggio
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. AMAST (2000)
Gianna Reggio, Lorenzo Repetto
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL. AMAST (2000)
Egidio Astesiano, Gianna Reggio
Formalism and method. Theor. Comput. Sci. 236 (1-2) (2000)
Roel J. 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)
Christine Choppy, Gianna Reggio
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. WADT (1999)
Eva Coscia, Gianna Reggio
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. FASE (1999)
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) (1999)
Maura Cerioli, Gianna Reggio
Very Abstract Specifications: A Formalism Independent Approach. Math. Struct. Comput. Sci. 8 (1) (1998)
Gerardo Costa, Gianna Reggio
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach. Theor. Comput. Sci. 173 (2) (1997)
Egidio Astesiano, Gianna Reggio
Formalism and Method. TAPSOFT (1997)
Gianna Reggio, Mauro Larosa
A Graphic Notation for Formal Specifications of Dynamic Systems. FME (1997)
Egidio Astesiano, Gianna Reggio
A Discipline for Handling Feature Interaction. Requirements Targeting Software and Systems Engineering (1997)
Eva Coscia, Gianna Reggio
Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. COMPASS/ADT (1995)
Egidio Astesiano, Gianna Reggio, Franco Morando
The SMoLCS ToolSet. TAPSOFT (1995)
Egidio Astesiano, Gianna Reggio
A Dynamic Specification of the RPC-Memory Problem. Formal Systems Specification (1994)
Mohamed Bettaz, Aicha Choutri, Gianna Reggio
A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency. PDP (1994)
Egidio Astesiano, Gianna Reggio
A Metalanguage for the Formal Requirement Specification of Reactive Systems. FME (1993)
Maura Cerioli, Gianna Reggio
Algebraic-Oriented Institutions. AMAST (1993)
Egidio Astesiano, Gianna Reggio
Specifying Reactive Systems by Abstract Events. IWSSD (1993)
Egidio Astesiano, Gianna Reggio, Elena Zucca
Stores as Homomorphisms and their Transformations. MFCS (1993)

Gianna Reggio.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gianna Reggio