Maura Cerioli

According to our database1, 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


  Loading...