Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
Object-oriented software engineering
Object-oriented software engineering
Object-oriented modeling and design
Object-oriented modeling and design
Designing object-oriented software
Designing object-oriented software
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
The object-oriented brewery: a comparison of two object-oriented development methods
ACM SIGSOFT Software Engineering Notes
ACM Transactions on Software Engineering and Methodology (TOSEM)
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented specification case studies
Object-oriented specification case studies
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An Invitation to Formal Methods
Computer
OOZE: An Object Oriented Z Environment
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Combining Object-Oriented Analysis and Formal Description Techniques
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Object-Z: An Object-Oriented Extension to Z
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Preliminary Design of Larch/C++
Proceedings of the first First International Workshop on Larch
Object-Oriented Programming Versus Abstract Data Types
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
A formal approach to object-oriented software engineering
Theoretical Computer Science - Rewriting logic and its applications
Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Formal specification and analysis of JAAS framework
Proceedings of the 2006 international workshop on Software engineering for secure systems
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
The rewriting logic semantics project: A progress report
Information and Computation
| Hi-index | 0.00 |