Bunches for Object-Oriented, Concurrent, and Real-Time Specification

Authors:
Richard F. Paige;Eric C. R. Hehner
Affiliations:
-;-
Venue:
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Year:
1999

Citing 10
Cited 2

A practical theory of programming

A practical theory of programming
Object-Z: a specification language advocated for the description of standards

Computer Standards & Interfaces - Special issue on formal description techniques
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Blending Object-Z and Timed CSP: an introduction to TCOZ

Proceedings of the 20th international conference on Software engineering
Formal Object-Oriented Development

Formal Object-Oriented Development
A Theory of Objects

A Theory of Objects
Object Orientation in Z

Object Orientation in Z
Operating System Concepts

Operating System Concepts
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems

FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
An object-oriented refinement calculus with modular reasoning

An object-oriented refinement calculus with modular reasoning

A design-based model of reversible computation

UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Decoupling in object orientation

FM'05 Proceedings of the 2005 international conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show how a collection of object-oriented concepts can be directly expressed in predicative programming [6]. We demonstrate how these features can be used in cooperation with the existing real-time and concurrency features of predicative programming in several examples, thus providing a simple integration of object-orientation, real-time, and concurrency.