Volume 8, Issue 2, April 2006

Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML

ISSN: 1433-2779 (Print) 1433-2787 (Online)

In this issue (7 articles)

  1. No Access

    Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML

    Preface of “Specification and Validation of Real Time and Embedded systems in UML”

    Susanne Graf, Oystein Haugen, Ileana Ober Pages 93-96
  2. No Access

    Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML

    A semantics of communicating reactive objects with timing

    Jozef Hooman, Mark B. van der Zwaag Pages 97-112
  3. No Access

    Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML

    A real-time profile for UML

    Susanne Graf, Ileana Ober, Iulian Ober Pages 113-127
  4. No Access

    Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML

    Validating timed UML models by simulation and verification

    Iulian Ober, Susanne Graf, Ileana Ober Pages 128-145
  5. No Access

    Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML

    Towards a “Synchronous Reactive” UML profile?

    Robert de Simone, Charles André Pages 146-155
  6. No Access

    Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML

    On a time enriched OCL liveness template

    Juliana Küster-Filipe, Stuart Anderson Pages 156-166
  7. No Access

    Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML

    The HybridUML profile for UML 2.0

    Kirsten Berkenkötter, Stefan Bisanz Pages 167-176