Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
Object oriented design with applications
Object oriented design with applications
Building an evolution transformation library
ICSE '90 Proceedings of the 12th international conference on Software engineering
Object-oriented modeling and design
Object-oriented modeling and design
Software engineering environments: automated support for software engineering
Software engineering environments: automated support for software engineering
A language-independent approach to specification construction
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Formal Development of Reactive Systems - Case Study Production Cell
Formal Development of Reactive Systems - Case Study Production Cell
A Development Model: Application to Z Specifications
Proceedings of the IFIP WG8.1 Working Conference on Information System Development Process
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Modeling Safety-Critical Systems with Z and Petri Nets
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
| Hi-index | 0.00 |
The construction of a specification or a program is rarely done in one single step and in a linear way. ``Coming and Going'' among the different components of the specification are often performed, i.e., the specification needs to be frequently revisited. This paper illustrates this approach on the production cell case study by means of a scenario of development. It shows what could be automated and indicates which kind of help could be proposed to the specifier.