Follow
Gianna Reggio
Gianna Reggio
DIBRIS - University of Genova, Italy
Verified email at unige.it
Title
Cited by
Cited by
Year
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
1372004
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
1282013
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
1112000
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
1042001
Principi di ingegneria del software
RS Pressman, M Cerioli, G Reggio
McGraw-Hill, 2008
842008
SMoLCS-driven concurrent calculi
E Astesiano, G Reggio
Colloquium on Trees in Algebra and Programming, 169-201, 1987
761987
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
672012
A UML-based proposal for IoT system requirements specification
G Reggio
Proceedings of the 10th international workshop on modelling in software …, 2018
612018
What are the used UML diagrams? A Preliminary Survey.
G Reggio, M Leotta, F Ricca, D Clerissi
EESSMod@ MoDELS, 3-12, 2013
612013
Specification of abstract dynamic-data types: A temporal logic approach
G Costa, G Reggio
Theoretical Computer Science 173 (2), 513-554, 1997
611997
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
602014
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
592010
Algebraic specification of concurrency
E Astesiano, G Reggio
Workshop on the Specification of Abstract Data Types, 1-39, 1991
561991
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
542011
Thirty one Problems in the Semantics of UML 1.3 Dynamics
G Reggio, R Wieringa
Conference on Object-Oriented Programming, Systems, Languages and …, 1999
511999
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
492014
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
492000
On the parameterized algebraic specification of concurrent systems
E Astesiano, GF Mascari, G Reggio, M Wirsing
Mathematical Foundations of Software Development: Proceedings of the …, 1985
491985
A UML-based approach for problem frame oriented software development
C Choppy, G Reggio
Information and software technology 47 (14), 929-954, 2005
422005
A graphic notation for formal specifications of dynamic systems
G Reggio, M Larosa
International Symposium of Formal Methods Europe, 40-61, 1997
421997
The system can't perform the operation now. Try again later.
Articles 1–20