Gianna Reggio

According to our database1, Gianna Reggio
  • authored at least 109 papers between 1983 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Do UML object diagrams affect design comprehensibility? Results from a family of four controlled experiments.
J. Vis. Lang. Comput., 2017

Service-oriented domain and business process modelling.
Proceedings of the Symposium on Applied Computing, 2017

2016
Test Driven Development of Web Applications: A Lightweight Approach.
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

Towards a Holistic Method for Business Process Analytics.
Proceedings of the Challenges and Opportunity with Big Data, 2016

A Lightweight Semi-automated Acceptance Test-Driven Development Approach for Web Applications.
Proceedings of the Web Engineering - 16th International Conference, 2016

2015
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments.
Software and System Modeling, 2015

A Method for Requirements Capture and Specification Based on Disciplined Use Cases and Screen Mockups.
Proceedings of the Product-Focused Software Process Improvement, 2015

A Framework for Defining and Comparing Modelling Methods.
Proceedings of the Software, 2015

2014
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements.
ACM Trans. Softw. Eng. Methodol., 2014

What Are the Used UML Diagram Constructs? A Document and Tool Analysis Study Covering Activity and Use Case Diagrams.
Proceedings of the Model-Driven Engineering and Software Development, 2014

What are the used Activity Diagram Constructs? - A Survey.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Unit Testing of Model to Text Transformations.
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Who Knows/Uses What of the UML: A Personal Opinion Survey.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Improving the Quality and the Comprehension of Requirements: Disciplined Use Cases and Mockups.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

2013
Relevance, benefits, and problems of software modelling and model driven techniques - A survey in the Italian industry.
Journal of Systems and Software, 2013

Activity Diagrams Patterns for Modeling Business Processes.
Proceedings of the Software Engineering Research, 2013

Empirical evaluation of uml-based model-driven techniques: Poster paper.
Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013

A Method for Testing Model to Text Transformations.
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

What are the used UML diagrams? A Preliminary Survey.
Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Estimating the Effort to Develop Screen Mockups.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012
An exploratory survey on SOA knowledge, adoption and trend in the Italian industry.
Proceedings of the 14th IEEE International Symposium on Web Systems Evolution, 2012

Towards a lightweight model driven method for developing SOA systems using existing assets.
Proceedings of the 14th IEEE International Symposium on Web Systems Evolution, 2012

Early experiences on model transformation testing.
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML.
Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

Using UniMod for maintenance tasks: an experimental assessment in the context of model driven development.
Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

SOA adoption in the Italian industry.
Proceedings of the 34th International Conference on Software Engineering, 2012

Maturity of software modelling and model driven engineering: A survey in the Italian industry.
Proceedings of the 16th International Conference on Evaluation & Assessment in Software Engineering, 2012

2011
Assessing the Effectiveness of "Precise" Activity Diagrams in the Context of Business Process Modeling.
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

"Precise is better than light" a document analysis study about quality of business process models.
Proceedings of the First International Workshop on Empirical Requirements Engineering, 2011

Precise vs. Ultra-Light Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling.
Proceedings of the Product-Focused Software Process Improvement, 2011

A Precise Style for Business Process Modelling: Results from Two Controlled Experiments.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Building VECM-based Systems with a Model Driven Approach: an Experience Report.
Proceedings of the First Workshop on Experiences and Empirical Studies in Software Modelling, 2011

Preliminary Findings from a Survey on the MD State of the Practice.
Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOA.
Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2010
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation).
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation.
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study.
Proceedings of the International Symposium on Empirical Software Engineering and Measurement, 2010

On the effectiveness of screen mockups in requirements engineering: results from an internal replication.
Proceedings of the International Symposium on Empirical Software Engineering and Measurement, 2010

2009
A method for developing UML state machines.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008
Revising the UML Collaborations: A Well-Founded Approach.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Gesper: Support to Capitalize on Experience in a Network of SMEs.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Modeling Business within a UML-Based Rigorous Software Development Approach.
Proceedings of the Concurrency, 2008

A Modelling Approach with Coloured Petri Nets.
Proceedings of the Reliable Software Technologies, 2008

2006
A formally grounded software specification method.
J. Log. Algebr. Program., 2006

Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt.
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005
A UML-based approach for problem frame oriented software development.
Information & Software Technology, 2005

Tutorials at the MODELS 2005 Conference.
Proceedings of the Model Driven Engineering Languages and Systems, 2005

From Conditional Specifications to Interaction Charts.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004
Consistency Problems in UML-Based Software Development.
Proceedings of the UML Modeling Languages and Applications, 2004

Using UML for Problem Frame Oriented Software Development.
Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

Towards a Precise UML-Based Development Method.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

Improving Use Case Based Requirements Using Formally Grounded Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

2003
From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Towards a Well-Founded UML-Based Development Method.
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

2002
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

From Formal Techniques to Well-Founded Software Development Methods.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Knowledge structuring and representation in requirement specificaiton.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Tight Structuring for Precise UML-Based Requirement Specifications.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case).
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

A Notation for Component-Based Design of Java Applications.
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

2001
Labelled transition logic: an outline.
Acta Inf., 2001

UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces.
Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

From ADT to UML-Like Modelling.
Proceedings of the Perspectives of System Informatics, 2001

2000
Formalism and method.
Theor. Comput. Sci., 2000

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999
Algebraic Specification of Concurrent Systems.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages.
Sci. Comput. Program., 1999

Using CASL to Specify the Requirements and the Design: A Problem Specific Approach.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
Very Abstract Specifications: A Formalism Independent Approach.
Mathematical Structures in Computer Science, 1998

1997
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach.
Theor. Comput. Sci., 1997

Formalism and Method.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

A Discipline for Handling Feature Interaction.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

A Graphic Notation for Formal Specifications of Dynamic Systems.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1995
The SMoLCS ToolSet.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case.
Proceedings of the Recent Trends in Data Type Specification, 1995

1994
A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency.
Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

A Dynamic Specification of the RPC-Memory Problem.
Proceedings of the Formal Systems Specification, 1994

1993
Stores as Homomorphisms and their Transformations.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Specifying Reactive Systems by Abstract Events.
Proceedings of the 7th International Workshop on Software Specification and Design, 1993

A Metalanguage for the Formal Requirement Specification of Reactive Systems.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

Algebraic-Oriented Institutions.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992
Observational Structures and Their Logics.
Theor. Comput. Sci., 1992

Institutions for Very Abstract Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1992

A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets.
Proceedings of the Recent Trends in Data Type Specification, 1992

1991
Abstract Dynamic Data Types: A Temporal Logic Approach.
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Event Logic for Specifying Abstract Dynamic Data Types.
Proceedings of the Recent Trends in Data Type Specification, 1991

Algebraic Specification of Concurrency.
Proceedings of the Recent Trends in Data Type Specification, 1991

Algebraic Specification at Work.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990
Processes as Data Types: Observational Semantics and Logic.
Proceedings of the Semantics of Systems of Concurrent Processes, 1990

A Non-Standard Inductive Semantics.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990

Entities: An Institution for Dynamic Systems.
Proceedings of the Recent Trends in Data Type Specification, 1990

1988
Generalized Bisimulation in Relational Specifications.
Proceedings of the STACS 88, 1988

Data in a Concurrent Environment.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

Data in a Concurrent Environment.
ADT, 1988

1987
SMoLCS-Driven Concurrent Calculi.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint.
Proceedings of the STACS 87, 1987

An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects.
Proceedings of the Algebraic Methods: Theory, 1987

1986
Relational Specifications and Observational Semantics.
Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

A Syntax-Directed Approach to the Semantics of Concurrent Languages.
IFIP Congress, 1986

The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction.
Proceedings of the Software Development and Ada, 1986

An Qutline of the SMoLCS Approach.
Proceedings of the Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24, 1986

1985
On the Parameterized Algebraic Specification of Concurrent Systems.
Proceedings of the Mathematical Foundations of Software Development, 1985

1983
On the Specification of the Firing Squad Problem.
Proceedings of the Analysis of Concurrent Systems, 1983


  Loading...