Blending Object-Z and Timed CSP: an introduction to TCOZ
Proceedings of the 20th international conference on Software engineering
IEEE Transactions on Software Engineering
Object-Z web environment and projections to UML
Proceedings of the 10th international conference on World Wide Web
A framework for adding time into formal object models
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
When modelling a large and complex system, clarity of the specification becomes an important factor. In object-oriented specification, the states of individual objects are captured by the values of their attributes. Frequently however, there are dependencies between the attributes of an object. An appropriate indication of which attributes are primary (independent) and which are secondary (dependent) can add significantly to clarity. This paper details the notion of secondary attributes, their roles and implications in formal object-oriented specification.