Gianna Reggio
Gianna Reggio
DIBRIS - University of Genova, Italy
Email verificata su unige.it
Titolo
Citata da
Citata da
Anno
Principi di Ingegneria del software
RS Pressman, E Addomine
McGraw-Hill, 1991
1161991
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
1112013
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
1062004
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
1042000
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
761987
Specification of abstract dynamic-data types: A temporal logic approach
G Costa, G Reggio
Theoretical Computer Science 173 (2), 513-554, 1997
621997
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
582012
Algebraic specification of concurrency
E Astesiano, G Reggio
Recent Trends in Data Type Specification, 1-39, 1991
521991
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
502010
Thirty one Problems in the Semantics of UML 1.3 Dynamics
G Reggio, R Wieringa
Conference on Object-Oriented Programming, Systems, Languages and …, 1999
501999
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
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
462011
What are the used UML diagrams? A Preliminary Survey.
G Reggio, M Leotta, F Ricca, D Clerissi
EESSMOD@ MoDELS 1078 (10), 2013
442013
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
441985
Who knows/uses what of the UML: A personal opinion survey
G Reggio, M Leotta, F Ricca
International Conference on Model Driven Engineering Languages and Systems …, 2014
422014
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
Algebraic specification of concurrent systems
E Astesiano, M Broy, G Reggio
Algebraic Foundations of Systems Specification, 467-520, 1999
411999
Generalized bisimulation in relational specifications
E Astesiano, A Giovini, G Reggio
Annual Symposium on Theoretical Aspects of Computer Science, 207-226, 1988
401988
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
392014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20