# Maura Cerioli

According to our database

Collaborative distances:

^{1}, Maura Cerioli authored at least 35 papers between 1988 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2019

Hamcrest vs AssertJ: An Empirical Assessment of Tester Productivity.

Proceedings of the Quality of Information and Communications Technology, 2019

Civic participation powered by ethereum: a proposal.

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

2018

Fluent vs Basic Assertions in Java: An Empirical Study.

Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018

2009

Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances?

Proceedings of the Learning in the Synergy of Multiple Disciplines, 2009

2008

Gesper: Support to Capitalize on Experience in a Network of SMEs.

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Foreword.

Theor. Comput. Sci., 2007

Introduction to the special section on fundamental approaches to software engineering.

STTT, 2007

2006

DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications.

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Injecting Distribution in CASL.

Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005

2002

From Formal Techniques to Well-Founded Software Development Methods.

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 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

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

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

From Total Equational to Partial First-Order Logic.

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Extending Casl by Late Binding.

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

A Formal Framework with Late Binding.

Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998

Very Abstract Specifications: A Formalism Independent Approach.

Mathematical Structures in Computer Science, 1998

1997

May I Borrow Your Logic? (Transporting Logical Structures Along Maps).

Theor. Comput. Sci., 1997

Implementation of derived programs (almost) for free.

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Permissive Subsorted Partial Logic in CASL.

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Non-Strict Don't Care Algebras and Specifications.

Mathematical Structures in Computer Science, 1996

1995

Free Objects and Equational Deduction for Partial Conditional Specifications.

Theor. Comput. Sci., 1995

1994

What is an Abstract Data Type, after all?

Proceedings of the 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, 1994

A Lazy Approach to Partial Algebras.

Proceedings of the 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, 1994

1993

Multiparadigm Specification Languages: A First Attempt at Foundations.

Proceedings of the Semantics of Specification Languages (SoSL), 1993

May I Borrow Your Logic?

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Algebraic-Oriented Institutions.

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

1992

Partial higher-order specifications.

Fundam. Inform., 1992

Institutions for Very Abstract Specifications.

Proceedings of the Recent Trends in Data Type Specification, 1992

1991

Non-Strict Don't Care Algebras and Specifications.

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Partial Higher-Order Specifications.

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Relationships between Logical Frameworks.

Proceedings of the Recent Trends in Data Type Specification, 1991

1989

On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications.

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1988

Models and Logical Deduction in Partial Higher-Order Conditional Specifications.

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