Download:
|
by David Carrington, David Duke, Ian Hayes, Jim Welsh
Proc. of SIGSOFT’93, Software Engineering Notes
ftp://svrc.it.uq.edu.au/techreports/tr93-06.ps.gz
Add To MetaCart
Abstract:
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. Those variables that are referenced/modified together are likely candidates for forming the state of a module. We evaluate the strategy by applying it to a large Z specification of a language-based editor. 1
Citations
|
1201
|
Object-oriented Software Construction
– Meyer
- 1997
|
|
999
|
The Z notation : A reference manual
– Spivey
- 1992
|
|
802
|
On the Criteria to be Used in Decomposing Systems into Modules
– Parnas
- 1971
|
|
595
|
Systematic Software Development using VDM
– Jones
- 1990
|
|
420
|
Programming from Specifications
– Morgan
- 1998
|
|
361
|
Software engineering
– Sommerville
- 2004
|
|
204
|
Seven myths of formal methods
– Hall
- 1990
|
|
95
|
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
– Yourdon, Constantine
- 1979
|
|
72
|
The Object-Z Specification Language, Version 1
– Duke, Rose
- 1991
|
|
62
|
Extracting and Restructuring the Design of Large Systems
– Chol, Scacchi
- 1990
|
|
55
|
ObjectZ: An object-oriented extension to Z
– Carrington, Duke, et al.
- 1990
|
|
39
|
A Design Rationale for a Language-based Editor
– Welsh, Broom, et al.
- 1991
|
|
31
|
A measure for composite module cohesion
– Patel, Chu, et al.
|
|
20
|
Specification of the unix filing system
– Morgan, Sufrin
- 1984
|
|
14
|
UQ2: A multilingual document editor
– Broom, Welsh, et al.
- 1990
|
|
13
|
NU-Prolog reference manual, version 1.3
– Thom, Zobel
- 1988
|
|
12
|
Assessing the quality of abstract data types written in Ada
– Embley, Woodfield
- 1988
|
|
8
|
Tool integration techniques
– Welsh, Yang
- 1991
|
|
4
|
An editor for Z specifications
– Hayes, Neucom, et al.
- 1989
|
|
4
|
A loosely-coupled tool interface for interactive software development
– Welsh, Yang
- 1992
|
