Gianna Reggio

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.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Improving the Quality and the Comprehension of Requirements: Disciplined Use Cases and Mockups.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

Activity Diagrams Patterns for Modeling Business Processes.

[BibT_eX]

[DOI]

Étienne André

Proceedings of the Software Engineering Research, 2013

Empirical evaluation of uml-based model-driven techniques: Poster paper.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013

A Method for Testing Model to Text Transformations.

[BibT_eX]

[DOI]

Alessandro Tiso

Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

What are the used UML diagrams? A Preliminary Survey.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Web Systems Evolution, 2012

Benefits from modelling and MDD adoption: expectations and achievements.

[BibT_eX]

[DOI]

Proceedings of the Second Edition of the International Workshop on Experiences and Empirical Studies in Software Modelling, 2012

Early experiences on model transformation testing.

[BibT_eX]

[DOI]

Alessandro Tiso

Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Business process modelling: five styles and a method to choose the most suitable one.

[BibT_eX]

[DOI]

Proceedings of the Second Edition of the International Workshop on Experiences and Empirical Studies in Software Modelling, 2012

Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML.

[BibT_eX]

[DOI]

Khanh-Dung Tran

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.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

SOA adoption in the Italian industry.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Maturity of software modelling and model driven engineering: A survey in the Italian industry.

[BibT_eX]

[DOI]

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.

[BibT_eX]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2011

A Precise Style for Business Process Modelling: Results from Two Controlled Experiments.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Building VECM-based Systems with a Model Driven Approach: an Experience Report.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation).

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Empirical Software Engineering and Measurement, 2010

2009

A method for developing UML state machines.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008

Revising the UML Collaborations: A Well-Founded Approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2008

Modeling Business within a UML-Based Rigorous Software Development Approach.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

A Modelling Approach with Coloured Petri Nets.

[BibT_eX]

[DOI]

Laure Petrucci

Proceedings of the Reliable Software Technologies, 2008

2006

A formally grounded software specification method.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2006

Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt.

[BibT_eX]

[DOI]

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005

A UML-based approach for problem frame oriented software development.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2005

Tutorials at the MODELS 2005 Conference.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2005

From Conditional Specifications to Interaction Charts.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

Consistency Problems in UML-Based Software Development.

[BibT_eX]

[DOI]

Zbigniew Huzar

Ludwik Kuzniarz

Jean-Louis Sourrouille

Proceedings of the UML Modeling Languages and Applications, 2004

Using UML for Problem Frame Oriented Software Development.

[BibT_eX]

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

Towards a Precise UML-Based Development Method.

[BibT_eX]

[DOI]

Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

Improving Use Case Based Requirements Using Formally Grounded Specifications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Towards a Well-Founded UML-Based Development Method.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

From Formal Techniques to Well-Founded Software Development Methods.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Knowledge structuring and representation in requirement specificaiton.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Tight Structuring for Precise UML-Based Requirement Specifications.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

A Notation for Component-Based Design of Java Applications.

[BibT_eX]

[DOI]

Catalin Amza

Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

2001

Labelled transition logic: an outline.

[BibT_eX]

[DOI]

Acta Informatica, 2001

UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2001

From ADT to UML-Like Modelling.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2001

2000

Formalism and method.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2000

CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL.

[BibT_eX]

[DOI]

Lorenzo Repetto

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.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Algebraic Specification of Concurrent Systems.

[BibT_eX]

[DOI]

Manfred Broy

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages.

[BibT_eX]

[DOI]

Elena Zucca

Sci. Comput. Program., 1999

Using CASL to Specify the Requirements and the Design: A Problem Specific Approach.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems.

[BibT_eX]

[DOI]

Eva Coscia

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?

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Very Abstract Specifications: A Formalism Independent Approach.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1998

1997

Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach.

[BibT_eX]

[DOI]

Gerardo Costa

Theor. Comput. Sci., 1997

A Discipline for Handling Feature Interaction.

[BibT_eX]

[DOI]

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

A Graphic Notation for Formal Specifications of Dynamic Systems.

[BibT_eX]

[DOI]

Mauro Larosa

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1995

The SMoLCS ToolSet.

[BibT_eX]

[DOI]

Franco Morando

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case.

[BibT_eX]

[DOI]

Eva Coscia

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.

[BibT_eX]

[DOI]

Mohamed Bettaz

Aicha Choutri

Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

A Dynamic Specification of the RPC-Memory Problem.

[BibT_eX]

[DOI]

Proceedings of the Formal Systems Specification, 1994

1993

Stores as Homomorphisms and their Transformations.

[BibT_eX]

[DOI]

Elena Zucca

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Specifying Reactive Systems by Abstract Events.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

A Metalanguage for the Formal Requirement Specification of Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

Algebraic-Oriented Institutions.

[BibT_eX]

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Observational Structures and Their Logics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

Institutions for Very Abstract Specifications.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1992

A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets.

[BibT_eX]

[DOI]

Mohamed Bettaz

Proceedings of the Recent Trends in Data Type Specification, 1992

1991

Abstract Dynamic Data Types: A Temporal Logic Approach.

[BibT_eX]

[DOI]

Gerardo Costa

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Event Logic for Specifying Abstract Dynamic Data Types.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1991

Algebraic Specification of Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1991

Algebraic Specification at Work.

[BibT_eX]

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Processes as Data Types: Observational Semantics and Logic.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Systems of Concurrent Processes, 1990

A Non-Standard Inductive Semantics.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990

Entities: An Institution for Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1990

1988

Generalized Bisimulation in Relational Specifications.

[BibT_eX]

[DOI]

Proceedings of the STACS 88, 1988

Data in a Concurrent Environment.

[BibT_eX]

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

SMoLCS-Driven Concurrent Calculi.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the STACS 87, 1987

An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methods: Theory, 1987

1986

Relational Specifications and Observational Semantics.

[BibT_eX]

[DOI]

Martin Wirsing

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

A Syntax-Directed Approach to the Semantics of Concurrent Languages.

[BibT_eX]

Proceedings of the Information Processing 86, 1986

The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction.

[BibT_eX]

Proceedings of the Software Development and Ada, 1986

An Qutline of the SMoLCS Approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Software Development, 1985

1983

On the Specification of the Firing Squad Problem.

[BibT_eX]

[DOI]