A semantics of communicating reactive objects with timing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 97, doi. 10.1007/s10009-005-0207-8
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2006 AND VI 8 AND IP 2
Results: 7
1
2
Towards a “Synchronous Reactive” UML profile?
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 146, doi. 10.1007/s10009-005-0206-9
- By:
- Publication type:
- Article
3
Validating timed UML models by simulation and verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 128, doi. 10.1007/s10009-005-0205-x
- By:
- Publication type:
- Article
4
The HybridUML profile for UML 2.0.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 167, doi. 10.1007/s10009-005-0211-z
- By:
- Publication type:
- Article
5
On a time enriched OCL liveness template.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 156, doi. 10.1007/s10009-005-0210-0
- By:
- Publication type:
- Article
6
Preface of “Specification and Validation of Real Time and Embedded systems in UML”.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 93, doi. 10.1007/s10009-005-0220-y
- By:
- Publication type:
- Article
7
A real-time profile for UML.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 113, doi. 10.1007/s10009-005-0213-x
- By:
- Publication type:
- Article