Voltar
Capítulo de livro Produção Nacional Revisado por pares
BIBTEX RIS

Modular extensions to Z

1990; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-52513-0_12

ISSN

1611-3349

Autores

Augusto Sampaio, Sílvio Romero de Lemos Meira,

Tópico(s)

Software Reliability and Analysis Research

Resumo

This paper suggests some mechanisms for supporting a modular approach to specifications written using Z. The general idea is that a (system) specification must be a document which may be split into chapters. Chapters may share objects through import and export declarations, and it is possible to define generic chapters which may be instantiated.

Referência(s)