Cafeobj report: the language, proof techniques, and methodologies for object-oriented algebraic specification
Auteur :
Diaconescu, Razvan
Éditeur :
Diaconescu, RazvanFutatsugi, Kokichi,
ISBN :
9789810235130
Date de publication :
2 juil. 1998
Dimensions :
23,0 cm
Langue :
Anglais
Pays d'origine :
Singapour
CafeOBJ is an industrial-strength modern algebraic specification language. This book presents not only a formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity.