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
UML Modeling Languages and Applications: <> 2004 Satellite Activities …, 2005
1312005
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
1192013
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
1142000
Towards a rigorous semantics of UML supporting its multiview approach
G Reggio, M Cerioli, E Astesiano
Fundamental Approaches to Software Engineering: 4th International Conference …, 2001
1062001
Principi di ingegneria del software
RS Pressman, M Cerioli, G Reggio
McGraw-Hill, 2008
852008
SMoLCS-driven concurrent calculi
E Astesiano, G Reggio
TAPSOFT'87: Proceedings of the International'Joint Conference on Theory and …, 1987
751987
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
632012
Specification of abstract dynamic-data types: A temporal logic approach
G Costa, G Reggio
Theoretical Computer Science 173 (2), 513-554, 1997
621997
Algebraic specification of concurrency
E Astesiano, G Reggio
Recent Trends in Data Type Specification: 8th Workshop on Specification of …, 2005
572005
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
552014
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
552010
Thirty one Problems in the Semantics of UML 1.3 Dynamics
G Reggio, R Wieringa
Conference on Object-Oriented Programming, Systems, Languages and …, 1999
541999
What are the used UML diagrams? A Preliminary Survey.
G Reggio, M Leotta, F Ricca, D Clerissi
EESSMod@ MoDELS, 3-12, 2013
522013
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
522011
Casl-CHART: a combination of statecharts and of the algebraic specification language Casl
G Reggio, L Repetto
AMAST, 243-257, 2000
512000
A UML-based proposal for IoT system requirements specification
G Reggio
Proceedings of the 10th international workshop on modelling in software …, 2018
492018
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
482014
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
471985
Casl-LTL-a Casl extension for dynamic reactive systems-summary
G Reggio, E Astesiano, C Choppy
Rapport technique DISI-TR-99-34, DISI-Università di Genova,. Revised …, 2000
412000
A UML-based approach for problem frame oriented software development
C Choppy, G Reggio
Information and software technology 47 (14), 929-954, 2005
402005
The system can't perform the operation now. Try again later.
Articles 1–20