Some Elements of Z Specification Style: Structuring Techniques
Дата
Авторы
Macdonald,Anthony
Carrington,David
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
This article investigates the issue of structuring Z specifications. It uses examples from a large specification (the production cell) to examine both conventions for using Z and notational extensions, including Object-Z. Because of the importance of good structure within a specification, specifiers need to be aware of a range of structuring techniques and understand where each is applicable.
Ключевые слова
formal specification , Z notation , specification structure