Functional refinement and nested objects for object-oriented design
- 1 March 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 15 (3) , 264-270
- https://doi.org/10.1109/32.21754
Abstract
An extended object-oriented design methodology is proposed which incorporates a top-down, stepwise refinement approach in a coherent fashion. The extended object-oriented design methodology also includes a phase of progressive object refinement to support the nesting of objects, which would allow entities in real life that are composed of subentities to be modeled. A design example is included, and experiences encountered using this methodology in a course are described.Keywords
This publication has 11 references indexed in Scilit:
- Object-oriented developmentIEEE Transactions on Software Engineering, 1986
- Paradigms for design and implementation in ADACommunications of the ACM, 1985
- Program design by informal English descriptionsCommunications of the ACM, 1983
- Abstract data types and software validationCommunications of the ACM, 1978
- Abstract data types in EuclidACM SIGPLAN Notices, 1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Abstract data types and the development of data structuresCommunications of the ACM, 1977
- Structured designIBM Systems Journal, 1974
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972
- Program development by stepwise refinementCommunications of the ACM, 1971