Вы здесь

Главная

Cavalcanti A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Testing for refinement in Circus 2011 Cavalcanti A., Gaudel M. -C. Acta Informatica 14.05.2011
СТ A Framework for Specification and Validation of Real-Time Systems Using Circus Actions 2005 Sherif A., Jifeng H., Cavalcanti A., Sampaio A. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.04.2005
СТ A Tutorial Introduction to Designs in Unifying Theories of Programming 2004 Woodcock J., Cavalcanti A. Lecture Notes in Computer Science 21.05.2004
СТ A Refinement Tool for Z 2003 Freitas A., Nascimento C., Cavalcanti A. Lecture Notes in Computer Science 09.01.2004
СТ A Strategy for Compiling Classes, Inheritance and Dynamic Binding 2003 Duran A., Cavalcanti A., Sampaio A. Lecture Notes in Computer Science 24.09.2003
СТ The Semantics of Circus 2002 Woodcock J., Cavalcanti A. Lecture Notes in Computer Science 02.03.2002
СТ A Weakest Precondition Semantics for an Object-Oriented Language of Refinement 1999 Cavalcanti A., Naumann D. A. Lecture Notes in Computer Science 26.10.1999

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Theoretical Aspects of Computing - ICTAC 2010: Proc./7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 2010 2010 Lecture Notes in Computer Science
  1. Cavalcanti A.
  2. Deharbe D.
  3. Gaudel M. -C.
  4. Woodcock J.
 13.10.2010
СБ Testing Techniques in Softwarw Engineering: Revised Lectures/Second Pernambuco Summer School on SE, PSSE 2007, Recife, Brazil, December 2007 2010 Lecture Notes in Computer Science
  1. Borba P.
  2. Cavalcanti A.
  3. Sampaio A.
  4. Woodcock J.
 21.09.2010
СБ Formal Methods and Software Engineering: Proc./11th International Conference, ICFEM 2009, Rio de Janeiro, Brazil, December 2009 2009 Lecture Notes in Computer Science
  1. Breitman K.
  2. Cavalcanti A.
 13.04.2010
СБ Refinement Techniques in Software Engineering: Revised Lectures/1st Pernambuco Summer School on Software Engineering, PSSE 2004. Recife, Brazil, November/December 2004 2006 Lecture Notes in Computer Science
  1. Cavalcanti A.
  2. Sampaio A.
  3. Woodcock J.
 11.01.2007
СБ Theoretical Aspects of Computing - ICTAC 2006: Proc./Third International Colloquium. Tunis, Tunisia, November 2006 2006 Lecture Notes in Computer Science
  1. Barkaoui K.
  2. Cavalcanti A.
  3. Cerone A.
 11.01.2007