scientific article; zbMATH DE number 763725

zbMath0821.68128MaRDI QIDQ4835262

Garth Gullekson, Paul T. Ward, Bran V. Selic

Publication date: 13 June 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

distributed systemsreal-time systemsreal time object-oriented modeling

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computing methodologies and applications (68U99)

Related Items

Graph-based tools for re-engineering ⋮ Algorithmic support for model transformation in object-oriented software development ⋮ Modular design of real-time systems using hierarchical communicating real-time state machines ⋮ Rigorous development of component-based systems using component metadata and patterns ⋮ Interpreting message flow graphs ⋮ Horizontal and vertical structuring techniques for statecharts ⋮ Dual ceiling protocol for real-time synchronization under preemption threshold scheduling ⋮ A wide-spectrum language for object-based development of real-time systems ⋮ Unnamed Item ⋮ Verification of scope-dependent hierarchical state machines ⋮ Integrating a formal method into a software engineering process with UML and Java ⋮ Reconciling statechart semantics ⋮ Real-Time Analysis Process Patterns ⋮ Message Sequence Charts in the Development Process — Roles and Limitations ⋮ Specifying Services with UML and UML-RT ⋮ Checking MSC specifications for timing inconsistency