Object-oriented analysis
Object-oriented modeling and design
Object-oriented modeling and design
Subject-oriented programming: a critique of pure objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Roles: conceptual abstraction theory and practical language issues
Theory and Practice of Object Systems - Special issue on subjectivity in object-oriented systems
The Unified Modeling Language user guide
The Unified Modeling Language user guide
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
A Theory of Objects
Structured Systems Analysis: Tools and Techniques
Structured Systems Analysis: Tools and Techniques
Specifying Reusable Components Using Contracts
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Operation-Level Composition: A Case in (Join) Point
ECOOP '98 Workshop ion on Object-Oriented Technology
Formalising Composition Oriented Programming
Proceedings of the Workshop on Object-Oriented Technology
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Viewpoints as an evolutionary approach to software system maintenance
ICSM '97 Proceedings of the International Conference on Software Maintenance
Supporting Formal Verification of Crosscutting Concerns
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Hi-index | 0.00 |
We present work on a formal model for the composition of object-oriented modules, or hyperslices, which represent different perspectives on the system being built. With the model, we should be able to study existing approaches such as subject-oriented programming, as well as extend other objectoriented languages, such as the UML, to accommodate the use of hyperslices. We show here a sample of the specification language that accompanies the formal model, and a small example of its use.