Software engineering (2nd ed.)
Software engineering (2nd ed.)
Assessing the quality of abstract data types written in ADA
ICSE '88 Proceedings of the 10th international conference on Software engineering
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Programming from specifications
Programming from specifications
Specification case studies
A design rationale for a language-based editor
Software—Practice & Experience
The Z notation: a reference manual
The Z notation: a reference manual
A measure for composite module cohesion
ICSE '92 Proceedings of the 14th international conference on Software engineering
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Extracting and Restructuring the Design of Large Systems
IEEE Software
IEEE Software
Object-Z: An Object-Oriented Extension to Z
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
Is there evolution before birth? deterioration effects of formal Z specifications
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Hi-index | 0.00 |
We consider the problem of designing the top-level modular structure of an implementation. Our starting point is a formal specification of the system. Our approach is to analyse the references to the state variables by the operations of the system. Operations that reference/modify similar sets of variables are likely candidates for grouping into a module. We evaluate the strategy by applying it to a large Z specification of a language-based editor.