Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Box structured information systems
IBM Systems Journal
Principles of information systems analysis and design
Principles of information systems analysis and design
Object-oriented systems analysis: modeling the world in data
Object-oriented systems analysis: modeling the world in data
Modern structured analysis
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
An object-oriented requirements specifications method
Communications of the ACM
Functional Refinement and Nested Objects for Object-Oriented Design
IEEE Transactions on Software Engineering
Software reusability: vol. 1, concepts and models
Software reusability: vol. 1, concepts and models
JSP and JSD: the Jackson approach to software development (2nd ed)
JSP and JSD: the Jackson approach to software development (2nd ed)
Object oriented design with applications
Object oriented design with applications
The object-oriented systems life cycle
Communications of the ACM
Object-oriented design
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
Designing object-oriented software
Designing object-oriented software
Object-oriented databases
Information Engineering: Introduction
Information Engineering: Introduction
Object-Oriented Software Construction
Object-Oriented Software Construction
ADA for Specification: Possibilities and Limitations
ADA for Specification: Possibilities and Limitations
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Reverse Engineering and Design Recovery: A Taxonomy
IEEE Software
Engineering Software Under Statistical Quality Control
IEEE Software
Integrated CASE for Cleanroom Development
IEEE Software
Adopting Cleanroom software engineering with a phased approach
IBM Systems Journal
IEEE Software
Cleanroom software engineering for zero-defect software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Proceedings of the 2nd Australasian conference on Computer science education
Turning points in software development
IBM Systems Journal
Research Frontiers in Object Technology
Information Systems Frontiers
Integrated CASE for Cleanroom Development
IEEE Software
Journal of Computing Sciences in Colleges
Test-driven specification: paradigm and automation
Proceedings of the 44th annual Southeast regional conference
Proposal and Basic Research for a Learning Model “RPRaS” for Novice Programming
Proceedings of the 2007 conference on Supporting Learning Flow through Integrative Technologies
Hi-index | 0.00 |
Box structures provide a rigorous and systematic process for performing systems development with objects. Box structures represent data abstractions as objects in three system views and combine the advantages of structured development with the advantages of object orientation. As data abstractions become more complex, the box structure usage hierarchy allows stepwise refinement of the system design with referential transparency and verification at every step. An integrated development environment based on box structures supports flexible object-based systems development patterns. We present a classic example of object-based systems development using box structures.