


default search action
Gianna Reggio
- > Home > Persons > Gianna Reggio
Publications
- 2020
- [c106]Gianna Reggio, Egidio Astesiano:
Big-Data/Analytics Projects Failure: A Literature Review. SEAA 2020: 246-255 - 2016
- [c96]Gianna Reggio, Maurizio Leotta
, Filippo Ricca, Egidio Astesiano:
Towards a Holistic Method for Business Process Analytics. Monterey Workshop 2016: 168-183 - 2015
- [c94]Gianna Reggio, Egidio Astesiano, Christine Choppy:
A Framework for Defining and Comparing Modelling Methods. Software, Services, and Systems 2015: 377-408 - 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) - 2012
- [c80]Maurizio Leotta
, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza:
SOA adoption in the Italian industry. ICSE 2012: 1441-1442 - [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 - [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 - [c71]Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano:
Building VECM-based Systems with a Model Driven Approach: an Experience Report. EESSMod@MoDELS 2011 - 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 - 2008
- [c59]Egidio Astesiano, Gianna Reggio, Filippo Ricca:
Modeling Business within a UML-Based Rigorous Software Development Approach. Concurrency, Graphs and Models 2008: 261-277 - [c57]Egidio Astesiano, Gianna Reggio:
Revising the UML Collaborations: A Well-Founded Approach. Monterey Workshop 2008: 1-23 - 2005
- [c55]Egidio Astesiano, Gianna Reggio:
From Conditional Specifications to Interaction Charts. Formal Methods in Software and Systems Modeling 2005: 167-189 - 2004
- [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
- [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 - 2000
- [j5]Egidio Astesiano, Gianna Reggio:
Formalism and method. Theor. Comput. Sci. 236(1-2): 3-34 (2000) - [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 - 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 - [p1]Egidio Astesiano, Manfred Broy, Gianna Reggio:
Algebraic Specification of Concurrent Systems. Algebraic Foundations of Systems Specification 1999: 467-520 - 1997
- [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
- [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 - 1993
- [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) - 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 - 1990
- [c13]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Processes as Data Types: Observational Semantics and Logic. Semantics of Systems of Concurrent Processes 1990: 1-20 - 1988
- [c12]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Data in a Concurrent Environment. ADT 1988 - [c11]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Data in a Concurrent Environment. Concurrency 1988: 140-159 - [c10]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Generalized Bisimulation in Relational Specifications. STACS 1988: 207-226 - 1987
- [c9]Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca:
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. Algebraic Methods 1987: 91-116 - [c8]Egidio Astesiano, Gianna Reggio:
Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint. STACS 1987: 311-322 - [c7]Egidio Astesiano, Gianna Reggio:
SMoLCS-Driven Concurrent Calculi. TAPSOFT, Vol.1 1987: 169-201 - 1986
- [c6]Egidio Astesiano, Gianna Reggio:
An Qutline of the SMoLCS Approach. Mathematical Models for the Semantics of Parallelism 1986: 81-113 - [c5]Egidio Astesiano, Gianna Reggio:
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction. System Development and Ada 1986: 81-116 - [c4]Egidio Astesiano, Gianna Reggio:
A Syntax-Directed Approach to the Semantics of Concurrent Languages. IFIP Congress 1986: 571-576 - [c3]Egidio Astesiano, Gianna Reggio, Martin Wirsing:
Relational Specifications and Observational Semantics. MFCS 1986: 209-217 - 1985
- [c2]Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing:
On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 1985: 342-358 - 1983
- [c1]Egidio Astesiano, Gianna Reggio:
On the Specification of the Firing Squad Problem. The Analysis of Concurrent Systems 1983: 137-156

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-03 01:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
