REGGIO, GIANNA
REGGIO, GIANNA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A Formally Grounded Software Specification Method
2006-01-01 C., Choppy; Reggio, Gianna
A service-oriented method for domain and business process modelling
2021-01-01 Reggio, G.; Leotta, M.; Ricca, F.
A UML-Based Approach for Problem Frame Oriented Software Development
2005-01-01 Christine, Choppy; Reggio, Gianna
A UML-Based Approach for Problem Frame Oriented Software Development
2005-01-01 C., Choppy; Reggio, Gianna
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements
2014-01-01 Ricca, Filippo; Giuseppe, Scanniello; Marco, Torchiano; Reggio, Gianna; Astesiano, Egidio
Do UML object diagrams affect design comprehensibility? Results from a family of four controlled experiments
2017-01-01 Torchiano, Marco; Scanniello, Giuseppe; Ricca, Filippo; Reggio, Gianna; Leotta, Maurizio
DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups
2018-01-01 Reggio, Gianna; Leotta, Maurizio; Ricca, Filippo; Clerissi, Diego
Formalism and Method
2000-01-01 Astesiano, Egidio; Reggio, Gianna
Labelled Transition Logic:an outline
2001-01-01 Astesiano, Egidio; Reggio, Gianna
Observational Structures and Their Logics
1992-01-01 Astesiano, Egidio; A., Giovini; Reggio, Gianna
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments
2015-01-01 Reggio, Gianna; Ricca, Filippo; Giuseppe, Scanniello; Francesco, Di Cerbo; Gabriella, Dodero
On the impact of state-based model-driven development on maintainability: a family of experiments using UniMod
2018-01-01 Ricca, Filippo; Torchiano, Marco; Leotta, Maurizio; Tiso, Alessandro; Guerrini, Giovanna; Reggio, Gianna
Relevance, Benefits, and Problems of Software Modelling and Model Driven Techniques-A Survey in the Italian Industry
2013-01-01 M., Torchiano; F., Tomassetti; Ricca, Filippo; A., Tiso; Reggio, Gianna
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach
1997-01-01 G., Costa; Reggio, Gianna
Stores as Homomorphisms and Their Transformations
1999-01-01 Astesiano, Egidio; Reggio, Gianna; Zucca, Elena
Very Abstract Specifications: A Formalism Independent Approach
1998-01-01 Cerioli, Maura; Reggio, Gianna
What are IoT systems for real? An experts’ survey on software engineering aspects
2020-01-01 Reggio, G.; Leotta, M.; Cerioli, M.; Spalazzese, R.; Alkhabbas, F.