scholarly journals Checking the Conformance of Java Classes Against Algebraic Specifications

2006 ◽  
pp. 494-513 ◽  
Author(s):  
Isabel Nunes ◽  
Antónia Lopes ◽  
Vasco Vasconcelos ◽  
João Abreu ◽  
Luís S. Reis
Keyword(s):  
Algebraic Specifications

scholarly journals Toward formal development of programs from algebraic specifications: Parameterisation revisited

1992 ◽  
Vol 29 (8) ◽  
pp. 689-736 ◽  
Author(s):  
Donald Sannella ◽  
Stefan Sokolowski ◽  
Andrzej Tarlecki
Keyword(s):  
Algebraic Specifications ◽  
Formal Development

scholarly journals Designing dependable logic controllers using algebraic specifications

2006 ◽  
Vol 14 (10) ◽  
pp. 1143-1155 ◽  
Author(s):  
Jean-Marc Roussel ◽  
Jean-Marc Faure
Keyword(s):  
Algebraic Specifications ◽  
Logic Controllers

scholarly journals Manipulating algebraic specifications with term-based and graph-based representations

2004 ◽  
Vol 59 (1-2) ◽  
pp. 63-87 ◽  
Author(s):  
Anamaria Martins Moreira ◽  
Christophe Ringeissen ◽  
David Déharbe ◽  
Gleydson Lima
Keyword(s):  
Algebraic Specifications

Crypt-equivalent algebraic specifications

1988 ◽  
Vol 25 (2) ◽  
pp. 111-153 ◽  
Author(s):  
F. L. Bauer ◽  
M. Wirsing
Keyword(s):  
Algebraic Specifications
Sign in / Sign up

Export Citation Format

Share Document