The following pages link to (Q4835262):
Displayed 16 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Modular design of real-time systems using hierarchical communicating real-time state machines (Q853606) (← links)
- Verification of scope-dependent hierarchical state machines (Q948087) (← links)
- Reconciling statechart semantics (Q1001804) (← links)
- Checking MSC specifications for timing inconsistency (Q1599639) (← links)
- Interpreting message flow graphs (Q1904641) (← links)
- Dual ceiling protocol for real-time synchronization under preemption threshold scheduling (Q1959422) (← links)
- A wide-spectrum language for object-based development of real-time systems (Q1961818) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Message Sequence Charts in the Development Process — Roles and Limitations (Q2841315) (← links)
- Specifying Services with UML and UML-RT (Q2841316) (← links)
- Real-Time Analysis Process Patterns (Q3628614) (← links)
- (Q4499208) (← links)
- Graph-based tools for re-engineering (Q4790711) (← links)
- Algorithmic support for model transformation in object-oriented software development (Q4790926) (← links)
- Horizontal and vertical structuring techniques for statecharts (Q6044117) (← links)