Вы здесь

Главная

Cerioli M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case) 2004 Astesiano E., Cerioli M., Reggio G. Lecture Notes in Computer Science 27.04.2004
СТ From Formal Techniques to Well-Founded Software Development Methods 2003 Astesiano E., Reggio G., Cerioli M. Lecture Notes in Computer Science 25.12.2003
СТ Towards a Rigorous Semantics of UML Supporting Its Multiview Approach 2001 Reggio G., Cerioli M., Astesiano E. Lecture Notes in Computer Science 05.05.2001
СТ Extending Casl by Late Binding 2000 Ancona D., Cerioli M., Zucca E. Lecture Notes in Computer Science 13.10.2000
СТ Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML 2000 Astesiano E., Cerioli M., Reggio G. Lecture Notes in Computer Science 17.06.2000
СТ A Formal Framework with Late Binding 1999 Ancona D., Cerioli M., Zucca E. Lecture Notes in Computer Science 06.04.1999
СТ Permissive Subsorted Partial Logic in CASL 1997 Cerioli M., Haxthausen A., Krieg-Bruckner B., Mossakowski T. Lecture Notes in Computer Science 30.12.1997
СТ A Lazy Approach to Partial Algebras 1995 Cerioli M. Lecture Notes in Computer Science 24.05.1995
СТ Institutions for Very Abstract Specifcations 1994 Cerioli M., Reggio G. Lecture Notes in Computer Science 04.06.1994
СТ May I Borrow Your Logic? 1993 Cerioli M., Meseguer J. Lecture Notes in Computer Science 20.10.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Fundamental Approaches to Software Engineering: Proc./8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005 2005 Lecture Notes in Computer Science
  1. Cerioli M.
 26.05.2005
СБ Recent Trends in Algebraic Development Techniques: Proc./15th Intern. Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 2001 2001 Lecture Notes in Computer Science
  1. Cerioli M.
  2. Reggio G.
 03.03.2002
М Algebraic System Specification and Development: Survey and Annotated Bibliography, 2nd Edition, 1997 1998
  1. Cerioli M.
  2. Gogolla M.
  3. Kirchner H.
  4. Krieg-Bruckner B.
 Bremen Institute 29.09.1999