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

1988 ◽  
Vol 25 (4) ◽  
pp. 233-281 ◽  
Author(s):  
Donald Sannella ◽  
Andrzej Tarlecki
Keyword(s):  
Algebraic Specifications ◽  
Formal Development

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

The Rhythms of Reiteration: Formal Development in Stravinsky's Ostinati

1992 ◽  
Vol 14 (2) ◽  
pp. 171-187 ◽  
Author(s):  
Gretchen Horlacher
Keyword(s):  
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
Sign in / Sign up

Export Citation Format

Share Document