Gianna Reggio
Gianna Reggio
DIBRIS - University of Genova, Italy
Verified email at unige.it
Title
Cited by
Cited by
Year
Analysing UML active classes and associated state machines-A lightweight formal approach
G Reggio, E Astesiano, C Choppy, H Hussmann
International Conference on Fundamental Approaches to Software Engineeringá…, 2000
1082000
Principi di ingegneria del software
RS Pressman, E Addomine
McGraw-Hill, 1991
1071991
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
1042004
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
1032013
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
992001
SMoLCS-driven concurrent calculi
E Astesiano, G Reggio
Colloquium on Trees in Algebra and Programming, 169-201, 1987
721987
Specification of abstract dynamic-data types: A temporal logic approach
G Costa, G Reggio
Theoretical Computer Science 173 (2), 513-554, 1997
611997
Algebraic specification of concurrency
E Astesiano, G Reggio
Recent Trends in Data Type Specification, 1-39, 1991
541991
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
502012
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
472000
Thirty one Problems in the Semantics of UML 1.3 Dynamics
G Reggio, R Wieringa
Conference on Object-Oriented Programming, Systems, Languages andá…, 1999
461999
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
452010
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
431985
Generalized bisimulation in relational specifications
E Astesiano, A Giovini, G Reggio
Annual Symposium on Theoretical Aspects of Computer Science, 207-226, 1988
421988
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
What are the used UML diagrams? A Preliminary Survey.
G Reggio, M Leotta, F Ricca, D Clerissi
EESSMOD@ MoDELS 1078 (10), 2013
402013
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
402011
A graphic notation for formal specifications of dynamic systems
G Reggio, M Larosa
International Symposium of Formal Methods Europe, 40-61, 1997
401997
A UML-based approach for problem frame oriented software development
C Choppy, G Reggio
Information and software technology 47 (14), 929-954, 2005
382005
Algebraic specification of concurrent systems
E Astesiano, M Broy, G Reggio
Algebraic Foundations of Systems Specification, 467-520, 1999
381999
The system can't perform the operation now. Try again later.
Articles 1–20