Communications of the ACM
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Object-oriented specification case studies
Object-oriented specification case studies
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The unified software development process
The unified software development process
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
The Object-Z specification language
The Object-Z specification language
The Rational Unified Process: An Introduction, Second Edition
The Rational Unified Process: An Introduction, Second Edition
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Recursive Object Types in a Logic of Object-Oriented Programs
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Separation Logic: A Logic for Shared Mutable Data Structures
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
Pi-Calculus Semantics of Object-Oriented Programming Languages
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Towards a Refinement Calculus for Object Systems
ICCI '02 Proceedings of the 1st IEEE International Conference on Cognitive Informatics
A Logic of Object-Oriented Programs
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Verification for Java's Reentrant Multithreading Concept
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Predicate Transformer Semantics of an Oberon-Like Language
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Class Refinement and Interface Refinement in Object-Oriented Programs
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
An Approach to Object-Orientation in Action Systems
MPC '98 Proceedings of the Mathematics of Program Construction
Object-oriented programming and software development: a critical assessment
Programming methodology
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Practical analysis for refactoring
Practical analysis for refactoring
Evolving object-oriented designs with refactorings
Evolving object-oriented designs with refactorings
Electronic Notes in Theoretical Computer Science (ENTCS)
A predicative semantic model for integrating UML models
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A framework for specification and validation of real-time systems using circus actions
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Generating a prototype from a UML model of system requirements
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Compositional reasoning for pointer structures
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Domain-specific Semantics and Data Refinement of Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating Refinement into Software Development Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling with Relational Calculus of Object and Component Systems - rCOS
The Common Component Modeling Example
Refinement and verification in component-based model-driven design
Science of Computer Programming
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Specification of Full Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A Graph-Based Operational Semantics of OO Programs
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Refinement of models of software components
Proceedings of the 2010 ACM Symposium on Applied Computing
A model of component-based programming
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Harnessing rCOS for tool support: the CoCoME experience
Formal methods and hybrid real-time systems
Formal methods and hybrid real-time systems
Reasoning about QoS Contracts in the Probabilistic Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Robustness testing for software components
Science of Computer Programming
Design and Verification of a Trustable Medical System
Electronic Notes in Theoretical Computer Science (ENTCS)
UTP and temporal logic model checking
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Component publications and compositions
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
A formal approach to analyzing interference problems in aspect-oriented designs
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
A graph-based implementation for mechanized refinement calculus of OO programs
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
WP semantics and behavioral subtyping
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
rCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science in China
rCOS: theory and tool for component-based model driven development
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Refactoring and representation independence for class hierarchies
Theoretical Computer Science
Connectors as designs: Modeling, refinement and test case generation
Science of Computer Programming
A graph-based generic type system for object-oriented programs
Frontiers of Computer Science: Selected Publications from Chinese Universities
Modeling and specification of real-time interfaces with UTP
Theories of Programming and Formal Methods
Graph-based object-oriented hoare logic
Theories of Programming and Formal Methods
Hi-index | 0.00 |
This article presents a mathematical characterization of object-oriented concepts by defining an observation-oriented semantics for a relational object-based language with a rich variety of features including subtypes, visibility, inheritance, type casting, dynamic binding and polymorphism. The language can be used to specify object-oriented designs as well as programs. We present a calculus that supports both structural and behavioural refinement of object-oriented designs. The design calculus is based on the predicate logic in Hoare and He's Unifying Theories of Programming (UTP).