scientific article; zbMATH DE number 763725

MaRDI QIDQ4835262zbMATHFDO

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

Publication date 13 June 1995

zbMATH Keywords

distributed systemsreal-time systemsreal time object-oriented modeling

Mathematics Subject Classification ID

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

Cited in

(18)

• Horizontal and vertical structuring techniques for statecharts
• Checking MSC specifications for timing inconsistency
• Verification of scope-dependent hierarchical state machines
• scientific article; zbMATH DE number 108568 (Why is no real title available?)
• Integrating a formal method into a software engineering process with UML and Java
• scientific article; zbMATH DE number 1497790 (Why is no real title available?)
• OOPM/RT
• Reconciling statechart semantics
• Algorithmic support for model transformation in object-oriented software development
• Dual ceiling protocol for real-time synchronization under preemption threshold scheduling
• A wide-spectrum language for object-based development of real-time systems
• Graph-based tools for re-engineering
• Modular design of real-time systems using hierarchical communicating real-time state machines
• Rigorous development of component-based systems using component metadata and patterns
• Message sequence charts in the development process -- roles and limitations
• Specifying services with UML and UML-RT: foundations, challenges and limitations
• Real-Time Analysis Process Patterns
• Interpreting message flow graphs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4835262)