Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object oriented design with applications
Object oriented design with applications
Handbook of theoretical computer science (vol. B)
Object-oriented modeling and design
Object-oriented modeling and design
A calculus of mobile processes, II
Information and Computation
Real-time object-oriented modeling
Real-time object-oriented modeling
Compositional refinement of interactive systems
Journal of the ACM (JACM)
Advanced Component Interface Specification
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
Compositional Specification of Embedded Systems with Statecharts
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
The Separation Principle: A Programming Paradigm
IEEE Software
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Towards a Rigorous Approach to UML-Based Development
Electronic Notes in Theoretical Computer Science (ENTCS)
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Hi-index | 0.00 |
In software engineering, object-oriented development is today the most popular programming, design and analysis approach. However, object orientation does not manage to address the needs of today's software construction in as radical and fundamental a way as is needed in highly distributed interoperating software applications. In the following, we argue that object orientation indeed offers interesting features, but continues to suffer from a number of severe shortcomings for the engineering of large distributed software systems. This shows that object-oriented techniques of today are not in accordance with the state of the art in scientific, well understood, programming methodology and software engineering.