Formal specification and desing /
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
New York :
Cambridge University,
1992
|
| Colección: | Cambridge tracts in theoretical computer science ;
35 |
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- I. Algebraic specification. 1. Introducing the basic concept. 2. Setting up algebraic specifications. 3. Structuring algebraic specifications. 4. Implementing algebraic specifications. II. State-based specification. 5. From algebras to states. 6. Setting up stated-based specifications. 7. Structuring state-based specifications. 8. Implementing stated-based specifications. III. Advanced techniques. 9. Theoretical topics. 10. Additional language constructs. 11. Towards large systems. A, Syntax. B. Standard library.