scientific article; zbMATH DE number 763725
From MaRDI portal
Publication:4835262
zbMATH Open0821.68128MaRDI QIDQ4835262FDOQ4835262
Authors: Bran V. Selic, Garth Gullekson, Paul T. Ward 
Publication date: 13 June 1995
Title of this publication is not available (Why is that?)
Recommendations
Computing methodologies and applications (68U99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)
Cited In (18)
- Title not available (Why is that?)
- Real-Time Analysis Process Patterns
- Checking MSC specifications for timing inconsistency
- Interpreting message flow graphs
- Modular design of real-time systems using hierarchical communicating real-time state machines
- Verification of scope-dependent hierarchical state machines
- Title not available (Why is that?)
- Algorithmic support for model transformation in object-oriented software development
- Graph-based tools for re-engineering
- Rigorous development of component-based systems using component metadata and patterns
- Integrating a formal method into a software engineering process with UML and Java
- Reconciling statechart semantics
- Message sequence charts in the development process -- roles and limitations
- Specifying services with UML and UML-RT: foundations, challenges and limitations
- Dual ceiling protocol for real-time synchronization under preemption threshold scheduling
- A wide-spectrum language for object-based development of real-time systems
- Horizontal and vertical structuring techniques for statecharts
- OOPM/RT
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)
