Algebraic methods II : theory, tools and applications
The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a...
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science
490 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Algebraic methods II, theory, tools and applications, J.A. Bergstra, L.M.G. Feijs (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (VI-434 p.), Lecture notes in computer science, 3-540-53912-3 • Algebraic Methods II: Theory, Tools and Applications, Texte imprimé, 9783662196762 |
Sumário:
- Formalizing informal requirements some aspects
- ViewPoint oriented software development: Methods and viewpoints in requirements engineering
- Using transformations to verify parallel programs
- Experiences with combining formalisms in VVSL
- A meta-environment for generating programming environments
- Introducing formal requirements into industry
- Where can I get gas round here? an application of a design methodology for distributed systems
- Transformations of designs
- Norman's database modularised in COLD-K
- POLAR a picture-oriented language for abstract representations
- Inheritance in COLD
- A process specification formalism based on static COLD
- Specification of the transit node in PSFd
- Design of a specification language by abstract syntax engineering
- From an ERAE requirements specification to a PLUSS algebraic specification: A case study.