Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGianna Reggio
Person information
- affiliation: University of Genoa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j16]Gianna Reggio, Maurizio Leotta
, Filippo Ricca:
A service-oriented method for domain and business process modelling. J. Softw. Evol. Process. 33(2) (2021)- 2020
- [j15]Gianna Reggio, Maurizio Leotta, Maura Cerioli, Romina Spalazzese, Fahed Alkhabbas:
What are IoT systems for real? An experts' survey on software engineering aspects. Internet Things 12: 100313 (2020) - [c106]Gianna Reggio, Egidio Astesiano:
Big-Data/Analytics Projects Failure: A Literature Review. SEAA 2020: 246-255 - [c105]Fahed Alkhabbas, Romina Spalazzese, Maura Cerioli, Maurizio Leotta, Gianna Reggio:
On the Deployment of IoT Systems: An Industrial Survey. ICSA Companion 2020: 17-24
2010 – 2019
- 2019
- [c104]Gianna Reggio, Maurizio Leotta:
A Method-Wise Approach for Selecting the Most Suitable Business Process Modelling Notation. SEAA 2019: 416-425 - [c103]Gianna Reggio, Maurizio Leotta:
An Approach for Selecting the Most Suitable Business Process Modelling Method/Notation. RCIS 2019: 1-2 - 2018
- [j14]Filippo Ricca, Marco Torchiano, Maurizio Leotta, Alessandro Tiso, Giovanna Guerrini, Gianna Reggio:
On the impact of state-based model-driven development on maintainability: a family of experiments using UniMod. Empir. Softw. Eng. 23(3): 1743-1790 (2018) - [j13]Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi:
DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups. J. Comput. Sci. Technol. 33(5): 918-939 (2018) - [c102]Gianna Reggio:
A UML-based proposal for IoT system requirements specification. MiSE@ICSE 2018: 9-16 - [c101]Alessandro Tiso, Gianna Reggio, Maurizio Leotta, Filippo Ricca:
A method for developing model to text transformations. SAC 2018: 138-141 - [c100]Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca:
Towards an approach for developing and testing Node-RED IoT systems. EnSEmble@ESEC/SIGSOFT FSE 2018: 1-8 - 2017
- [j12]Marco Torchiano, Giuseppe Scanniello, Filippo Ricca, Gianna Reggio, Maurizio Leotta:
Do UML object diagrams affect design comprehensibility? Results from a family of four controlled experiments. J. Vis. Lang. Comput. 41: 10-21 (2017) - [c99]Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca:
Towards the Generation of End-to-End Web Test Scripts from Requirements Specifications. RE Workshops 2017: 343-350 - [c98]Gianna Reggio, Maurizio Leotta, Diego Clerissi, Filippo Ricca:
Service-oriented domain and business process modelling. SAC 2017: 751-758 - 2016
- [c97]Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca:
A Lightweight Semi-automated Acceptance Test-Driven Development Approach for Web Applications. ICWE 2016: 593-597 - [c96]Gianna Reggio, Maurizio Leotta, Filippo Ricca, Egidio Astesiano:
Towards a Holistic Method for Business Process Analytics. Monterey Workshop 2016: 168-183 - [c95]Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca:
Test Driven Development of Web Applications: A Lightweight Approach. QUATIC 2016: 25-34 - 2015
- [j11]Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero:
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments. Softw. Syst. Model. 14(4): 1481-1504 (2015) - [c94]Gianna Reggio, Egidio Astesiano, Christine Choppy:
A Framework for Defining and Comparing Modelling Methods. Software, Services, and Systems 2015: 377-408 - [c93]Gianna Reggio, Maurizio Leotta, Filippo Ricca:
A Method for Requirements Capture and Specification Based on Disciplined Use Cases and Screen Mockups. PROFES 2015: 105-113 - 2014
- [j10]Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano:
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements. ACM Trans. Softw. Eng. Methodol. 24(1): 1:1-1:38 (2014) - [c92]Gianna Reggio, Filippo Ricca, Maurizio Leotta:
Improving the Quality and the Comprehension of Requirements: Disciplined Use Cases and Mockups. EUROMICRO-SEAA 2014: 262-266 - [c91]Alessandro Tiso, Gianna Reggio, Maurizio Leotta:
Unit Testing of Model to Text Transformations. AMT@MoDELS 2014: 14-23 - [c90]Gianna Reggio, Maurizio Leotta, Filippo Ricca:
Who Knows/Uses What of the UML: A Personal Opinion Survey. MoDELS 2014: 149-165 - [c89]Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi:
What Are the Used UML Diagram Constructs? A Document and Tool Analysis Study Covering Activity and Use Case Diagrams. MODELSWARD (Revised Selected Papers) 2014: 66-83 - [c88]Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi:
What are the used Activity Diagram Constructs? - A Survey. MODELSWARD 2014: 87-98 - 2013
- [j9]Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio:
Relevance, benefits, and problems of software modelling and model driven techniques - A survey in the Italian industry. J. Syst. Softw. 86(8): 2110-2126 (2013) - [c87]Giuseppe Scanniello, Filippo Ricca, Marco Torchiano, Carmine Gravino, Gianna Reggio:
Estimating the Effort to Develop Screen Mockups. EUROMICRO-SEAA 2013: 341-348 - [c86]Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi:
What are the used UML diagrams? A Preliminary Survey. EESSMod@MoDELS 2013: 3-12 - [c85]Alessandro Tiso, Gianna Reggio, Maurizio Leotta:
A Method for Testing Model to Text Transformations. AMT@MoDELS 2013 - [c84]Maurizio Leotta, Filippo Ricca, Marco Torchiano, Gianna Reggio:
Empirical evaluation of uml-based model-driven techniques: Poster paper. RCIS 2013: 1-2 - [c83]Étienne André, Christine Choppy, Gianna Reggio:
Activity Diagrams Patterns for Modeling Business Processes. SERA (selected papers) 2013: 197-213 - 2012
- [c82]Federico Tomassetti, Marco Torchiano, Alessandro Tiso, Filippo Ricca, Gianna Reggio:
Maturity of software modelling and model driven engineering: A survey in the Italian industry. EASE 2012: 91-100 - [c81]Filippo Ricca, Maurizio Leotta, Gianna Reggio, Alessandro Tiso, Giovanna Guerrini, Marco Torchiano:
Using UniMod for maintenance tasks: an experimental assessment in the context of model driven development. MiSE 2012: 77-83 - [c80]Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza:
SOA adoption in the Italian industry. ICSE 2012: 1441-1442 - [c79]Christine Choppy, Gianna Reggio, Khanh-Dung Tran:
Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML. KSE 2012: 187-194 - [c78]Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio:
Benefits from modelling and MDD adoption: expectations and achievements. EESSMod@MoDELS 2012: 1:1-1:6 - [c77]Gianna Reggio, Maurizio Leotta, Filippo Ricca, Egidio Astesiano:
Business process modelling: five styles and a method to choose the most suitable one. EESSMod@MoDELS 2012: 8:1-8:6 - [c76]Alessandro Tiso, Gianna Reggio, Maurizio Leotta:
Early experiences on model transformation testing. AMT@MoDELS 2012: 15-20 - [c75]Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza:
An exploratory survey on SOA knowledge, adoption and trend in the Italian industry. WSE 2012: 21-30 - [c74]Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano:
Towards a lightweight model driven method for developing SOA systems using existing assets. WSE 2012: 51-60 - 2011
- [c73]Maurizio Leotta, Filippo Ricca, Gianna Reggio, Egidio Astesiano:
Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOA. CSMR 2011: 317-320 - [c72]Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio:
Preliminary Findings from a Survey on the MD State of the Practice. ESEM 2011: 372-375 - [c71]Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano:
Building VECM-based Systems with a Model Driven Approach: an Experience Report. EESSMod@MoDELS 2011 - [c70]Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero:
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments. MoDELS 2011: 138-152 - [c69]Francesco Di Cerbo, Gabriella Dodero, Gianna Reggio, Filippo Ricca, Giuseppe Scanniello:
Precise vs. Ultra-Light Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling. PROFES 2011: 291-305 - [c68]Gianna Reggio, Maurizio Leotta, Filippo Ricca:
"Precise is better than light" a document analysis study about quality of business process models. EmpiRE 2011: 61-68 - [c67]Francesco Di Cerbo, Gabriella Dodero, Gianna Reggio, Filippo Ricca, Giuseppe Scanniello:
Assessing the Effectiveness of "Precise" Activity Diagrams in the Context of Business Process Modeling. SEBD 2011: 373-380 - 2010
- [c66]Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano:
On the effectiveness of screen mockups in requirements engineering: results from an internal replication. ESEM 2010 - [c65]Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano:
On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study. ESEM 2010 - [c64]Gianna Reggio, Egidio Astesiano, Filippo Ricca, Maurizio Leotta:
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation. Monterey Workshop 2010: 157-175 - [c63]Christine Choppy, Gianna Reggio:
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). SAC 2010: 2451-2458 - [c62]Christine Choppy, Gianna Reggio:
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. WADT 2010: 76-97
2000 – 2009
- 2009
- [c61]Christine Choppy, Gianna Reggio:
A method for developing UML state machines. SAC 2009: 382-388 - 2008
- [c60]Christine Choppy, Laure Petrucci, Gianna Reggio:
A Modelling Approach with Coloured Petri Nets. Ada-Europe 2008: 73-86 - [c59]Egidio Astesiano, Gianna Reggio, Filippo Ricca:
Modeling Business within a UML-Based Rigorous Software Development Approach. Concurrency, Graphs and Models 2008: 261-277 - [c58]Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio:
Gesper: Support to Capitalize on Experience in a Network of SMEs. ISoLA 2008: 738-752 - [c57]Egidio Astesiano, Gianna Reggio:
Revising the UML Collaborations: A Well-Founded Approach. Monterey Workshop 2008: 1-23 - 2006
- [j8]Christine Choppy, Gianna Reggio:
A formally grounded software specification method. J. Log. Algebraic Methods Program. 67(1-2): 52-86 (2006) - [c56]Christine Choppy, Gianna Reggio:
Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. ASWEC 2006: 19-28 - [e6]Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio:
Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings. Lecture Notes in Computer Science 4199, Springer 2006, ISBN 3-540-45772-0 [contents] - 2005
- [j7]Christine Choppy, Gianna Reggio:
A UML-based approach for problem frame oriented software development. Inf. Softw. Technol. 47(14): 929-954 (2005) - [c55]Egidio Astesiano, Gianna Reggio:
From Conditional Specifications to Interaction Charts. Formal Methods in Software and Systems Modeling 2005: 167-189 - [c54]Gianna Reggio:
Tutorials at the MODELS 2005 Conference. MoDELS 2005: 715-718 - [e5]Nicolas Guelfi, Gianna Reggio, Alexander B. Romanovsky:
Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3409, Springer 2005, ISBN 3-540-25053-0 [contents] - 2004
- [c53]Christine Choppy, Gianna Reggio:
Improving Use Case Based Requirements Using Formally Grounded Specifications. FASE 2004: 244-260 - [c52]Gianna Reggio:
Towards a Precise UML-Based Development Method. FIDJI 2004: 124 - [c51]Christine Choppy, Gianna Reggio:
Using UML for Problem Frame Oriented Software Development. IASSE 2004: 239-244 - [c50]Zbigniew Huzar, Ludwik Kuzniarz, Gianna Reggio, Jean-Louis Sourrouille:
Consistency Problems in UML-Based Software Development. UML Satellite Activities 2004: 1-12 - [e4]Nicolas Guelfi, Egidio Astesiano, Gianna Reggio:
Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers. Lecture Notes in Computer Science 2952, Springer 2004, ISBN 3-540-21091-1 [contents] - 2003
- [c49]Egidio Astesiano, Gianna Reggio:
Towards a Well-Founded UML-Based Development Method. SEFM 2003: 102- - [c48]Egidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio:
From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques. SEKE 2003: 578-585 - [e3]Nicolas Guelfi, Egidio Astesiano, Gianna Reggio:
Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002, Revised Papers. Lecture Notes in Computer Science 2604, Springer 2003, ISBN 3-540-00679-6 [contents] - 2002
- [c47]Catalin Amza, Gianna Reggio:
A Notation for Component-Based Design of Java Applications. FIDJI 2002: 155-164 - [c46]Egidio Astesiano, Maura Cerioli, Gianna Reggio:
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). RISSEF 2002: 1-15 - [c45]Egidio Astesiano, Gianna Reggio:
Tight Structuring for Precise UML-Based Requirement Specifications. RISSEF 2002: 16-34 - [c44]Egidio Astesiano, Gianna Reggio:
Knowledge structuring and representation in requirement specificaiton. SEKE 2002: 143-150 - [c43]Egidio Astesiano, Gianna Reggio, Maura Cerioli:
From Formal Techniques to Well-Founded Software Development Methods. 10th Anniversary Colloquium of UNU/IIST 2002: 132-150 - [c42]Egidio Astesiano, Gianna Reggio:
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. WADT 2002: 56-81 - 2001
- [j6]Egidio Astesiano, Gianna Reggio:
Labelled transition logic: an outline. Acta Informatica 37(11-12): 831-879 (2001) - [c41]Egidio Astesiano, Maura Cerioli, Gianna Reggio:
From ADT to UML-Like Modelling. Ershov Memorial Conference 2001: 246 - [c40]Gianna Reggio, Maura Cerioli, Egidio Astesiano:
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. FASE 2001: 171-186 - [c39]Egidio Astesiano, Gianna Reggio:
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. ISADS 2001: 127-134 - [e2]Maura Cerioli, Gianna Reggio:
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Lecture Notes in Computer Science 2267, Springer 2001, ISBN 3-540-43159-4 [contents] - 2000
- [j5]Egidio Astesiano, Gianna Reggio:
Formalism and method. Theor. Comput. Sci. 236(1-2): 3-34 (2000) - [c38]Gianna Reggio, Lorenzo Repetto:
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL. AMAST 2000: 243-257 - [c37]Egidio Astesiano, Maura Cerioli, Gianna Reggio:
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. AMAST 2000: 273-292 - [c36]Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann:
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE 2000: 127-146
1990 – 1999
- 1999
- [j4]Egidio Astesiano, Gianna Reggio, Elena Zucca:
Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages. Sci. Comput. Program. 34(3): 163-190 (1999) - [c35]Roel J. Wieringa, Egidio Astesiano, Gianna Reggio, Alain Le Guennec, Heinrich Hußmann, Klaas van den Berg, Pim van den Broek:
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? ECOOP Workshops 1999: 49-55 - [c34]Eva Coscia, Gianna Reggio:
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. FASE 1999: 77-97 - [c33]Christine Choppy, Gianna Reggio:
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. WADT 1999: 106-125 - [p1]Egidio Astesiano, Manfred Broy, Gianna Reggio:
Algebraic Specification of Concurrent Systems. Algebraic Foundations of Systems Specification 1999: 467-520 - 1998
- [j3]Maura Cerioli, Gianna Reggio:
Very Abstract Specifications: A Formalism Independent Approach. Math. Struct. Comput. Sci. 8(1): 17-66 (1998) - 1997
- [j2]Gerardo Costa, Gianna Reggio:
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach. Theor. Comput. Sci. 173(2): 513-554 (1997) - [c32]Gianna Reggio, Mauro Larosa:
A Graphic Notation for Formal Specifications of Dynamic Systems. FME 1997: 40-61 - [c31]Egidio Astesiano, Gianna Reggio:
A Discipline for Handling Feature Interaction. Requirements Targeting Software and Systems Engineering 1997: 95-119 - [c30]Egidio Astesiano, Gianna Reggio:
Formalism and Method. TAPSOFT 1997: 93-114 - 1995
- [c29]Eva Coscia, Gianna Reggio:
Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. COMPASS/ADT 1995: 161-181 - [c28]Egidio Astesiano, Gianna Reggio, Franco Morando:
The SMoLCS ToolSet. TAPSOFT 1995: 801-802 - [e1]Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki:
Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers. Lecture Notes in Computer Science 906, Springer 1995, ISBN 3-540-59132-X [contents] - 1994
- [c27]Egidio Astesiano, Gianna Reggio:
A Dynamic Specification of the RPC-Memory Problem. Formal Systems Specification 1994: 67-108 - [c26]Mohamed Bettaz, Aicha Choutri, Gianna Reggio:
A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency. PDP 1994: 551-558 - 1993
- [c25]Maura Cerioli, Gianna Reggio:
Algebraic-Oriented Institutions. AMAST 1993: 201-208 - [c24]Egidio Astesiano, Gianna Reggio:
A Metalanguage for the Formal Requirement Specification of Reactive Systems. FME 1993: 110-128 - [c23]Egidio Astesiano, Gianna Reggio:
Specifying Reactive Systems by Abstract Events. IWSSD 1993: 122-131 - [c22]Egidio Astesiano, Gianna Reggio, Elena Zucca:
Stores as Homomorphisms and their Transformations. MFCS 1993: 242-251 - 1992
- [j1]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Observational Structures and Their Logics. Theor. Comput. Sci. 96(1): 249-283 (1992) - [c21]Mohamed Bettaz, Gianna Reggio:
A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. COMPASS/ADT 1992: 98-112 - [c20]Maura Cerioli, Gianna Reggio:
Institutions for Very Abstract Specifications. COMPASS/ADT 1992: 113-127 - 1991
- [c19]Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio:
Algebraic Specification at Work. AMAST 1991: 26-42 - [c18]Egidio Astesiano, Gianna Reggio:
Algebraic Specification of Concurrency. COMPASS/ADT 1991: 1-39 - [c17]Gianna Reggio:
Event Logic for Specifying Abstract Dynamic Data Types. COMPASS/ADT 1991: 292-309 - [c16]Gerardo Costa, Gianna Reggio:
Abstract Dynamic Data Types: A Temporal Logic Approach. MFCS 1991: 103-112 - 1990
- [c15]Gianna Reggio:
Entities: An Institution for Dynamic Systems. ADT 1990: 246-265 - [c14]Gianna Reggio:
A Non-Standard Inductive Semantics. FSTTCS 1990: 362-372 - [c13]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Processes as Data Types: Observational Semantics and Logic. Semantics of Systems of Concurrent Processes 1990: 1-20
1980 – 1989
- 1988
- [c12]