Gianna Reggio
Gianna Reggio
DIBRIS - University of Genova, Italy
Verified email at
Cited by
Cited by
Consistency problems in UML-based software development
Z Huzar, L Kuzniarz, G Reggio, JL Sourrouille
International Conference on the Unified Modeling Language, 1-12, 2004
Relevance, benefits, and problems of software modelling and model driven techniques—A survey in the Italian industry
M Torchiano, F Tomassetti, F Ricca, A Tiso, G Reggio
Journal of Systems and Software 86 (8), 2110-2126, 2013
Analysing UML active classes and associated state machines-A lightweight formal approach
G Reggio, E Astesiano, C Choppy, H Hussmann
Fundamental Approaches to Software Engineering: Third International …, 2000
Towards a rigorous semantics of UML supporting its multiview approach
G Reggio, M Cerioli, E Astesiano
International Conference on Fundamental Approaches to Software Engineering …, 2001
Principi di ingegneria del software
RS Pressman, M Cerioli, G Reggio
McGraw-Hill, 2008
SMoLCS-driven concurrent calculi
E Astesiano, G Reggio
Colloquium on Trees in Algebra and Programming, 169-201, 1987
Maturity of software modelling and model driven engineering: A survey in the Italian industry
F Tomassetti, M Torchiano, A Tiso, F Ricca, G Reggio
IET Digital Library, 2012
A UML-based proposal for IoT system requirements specification
G Reggio
Proceedings of the 10th international workshop on modelling in software …, 2018
What are the used UML diagrams? A Preliminary Survey.
G Reggio, M Leotta, F Ricca, D Clerissi
EESSMod@ MoDELS, 3-12, 2013
Specification of abstract dynamic-data types: A temporal logic approach
G Costa, G Reggio
Theoretical Computer Science 173 (2), 513-554, 1997
Who knows/uses what of the UML: A personal opinion survey
G Reggio, M Leotta, F Ricca
Model-Driven Engineering Languages and Systems: 17th International …, 2014
On the effectiveness of screen mockups in requirements engineering: results from an internal replication
F Ricca, G Scanniello, M Torchiano, G Reggio, E Astesiano
Proceedings of the 2010 ACM-IEEE international symposium on empirical …, 2010
Preliminary Findings from a Survey on the MD State of the Practice
M Torchiano, F Tomassetti, F Ricca, A Tiso, G Reggio
2011 International Symposium on Empirical Software Engineering and …, 2011
Algebraic specification of concurrency
E Astesiano, G Reggio
Workshop on the Specification of Abstract Data Types, 1-39, 1991
Thirty one Problems in the Semantics of UML 1.3 Dynamics
G Reggio, R Wieringa
Conference on Object-Oriented Programming, Systems, Languages and …, 1999
On the parameterized algebraic specification of concurrent systems
E Astesiano, GF Mascari, G Reggio, M Wirsing
Colloquium on Trees in Algebra and Programming, 342-358, 1985
Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl
G Reggio, L Repetto
International Conference on Algebraic Methodology and Software Technology …, 2000
Assessing the effect of screen mockups on the comprehension of functional requirements
F Ricca, G Scanniello, M Torchiano, G Reggio, E Astesiano
ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (1), 1-38, 2014
What are IoT systems for real? An experts’ survey on software engineering aspects
G Reggio, M Leotta, M Cerioli, R Spalazzese, F Alkhabbas
Internet of Things 12, 100313, 2020
A UML-based approach for problem frame oriented software development
C Choppy, G Reggio
Information and software technology 47 (14), 929-954, 2005
The system can't perform the operation now. Try again later.
Articles 1–20