Searching for "Transactions in Object-Oriented Specifications." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Transactions in Object-Oriented Specifications
- …Transactions in Object-Oriented Specifications G. Denker ? Technische Universitat Braunschweig…
- Cited by 9 (5 self) – Add To MetaCart
-
An Event-Based Semantics for Transactions
- …G.Denker,HD.Ehrichg@(email omitted); Abstract In this paper we investigate the notion of transaction in object-oriented specification…
- Cited by 2 (1 self) – Add To MetaCart
-
Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented
- …Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented…
- Cited by 1 (1 self) – Add To MetaCart
-
Action Refinement - An Application of Process Theory on Object-Oriented Specification
- … - the replacement of actions by transactions in object-oriented specification - corresponds to action refinement…
- Add To MetaCart
-
A Linear Temporal Logic Approach to Objects with Transactions
- … logic, formal specification language, object orientation, specification method, refinement, transaction…
- Cited by 5 (2 self) – Add To MetaCart
-
Object-Oriented Specification of User Interfaces
- … recent transactions. object-oriented specification of user interfaces 1209 Figure 5. The analysis object…
- Cited by 6 (3 self) – Add To MetaCart
Showing 1 through 6.
