1. Introduction to special issue: papers from UML&FM

   • Jean-Michel Bruel
   • Agusti Canals
   • Isabelle Perseil

   Editorial 12 August 2008 Pages: 185 - 187

2. Towards a traceability model in a MARTE-based methodology for real-time embedded systems

   • Hung Le Dang
   • Hubert Dubois
   • Sébastien Gérard

   Original Paper 12 August 2008 Pages: 189 - 193

3. Foundations of a new software engineering method for real-time systems

   • Isabelle Perseil
   • Laurent Pautet

   Original Paper 12 August 2008 Pages: 195 - 202

4. An MDE-based method for bridging different design notations

   • Tian Zhang
   • Frédéric Jouault
   • Xuandong Li

   Original Paper 12 August 2008 Pages: 203 - 213

5. Safe design of high-performance embedded systems in an MDE framework

   • Huafeng Yu
   • Abdoulaye Gamatié
   • Jean-Luc Dekeyser

   Original Paper 23 August 2008 Pages: 215 - 222

6. From use cases to test cases via meta model-based reasoning

   • Stefan Gruner

   Original Paper 12 August 2008 Pages: 223 - 231

7. Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets

   • Kristian Bisgaard Lassen
   • Simon Tjell

   Original Paper 09 August 2008 Pages: 233 - 240

8. Validation of requirement models by automatic prototyping

   • Dan Li
   • Xiaoshan Li
   • Zhiming Liu

   Original Paper 12 August 2008 Pages: 241 - 248

9. Rich meta object facility formal integration platform: syntax, semantics and implementation

   • Ralf Buschermöhle
   • Jörg Oelerink

   Original Paper 09 September 2008 Pages: 249 - 257

10. Incremental development of UML specifications using operation refinements

    • Boulbaba Ben Ammar
    • Mohamed Tahar Bhiri
    • Jeanine Souquières

    Original Paper 12 August 2008 Pages: 259 - 266

11. A formal and sound transformation from Focal to UML: an application to airport security regulations

    • David Delahaye
    • Jean-Frédéric Étienne
    • Véronique Viguié Donzeau-Gouge

    Original Paper 09 August 2008 Pages: 267 - 274

12. Ambiguity and structural properties of basic sequence diagrams

    • Christophe Sibertin-Blanc
    • Nabil Hameurlain
    • Omar Tahir

    Original Paper 15 August 2008 Pages: 275 - 284

13. Extending statecharts with process algebra operators

    • Marc Frappier
    • Frédéric Gervais
    • Richard St-Denis

    Original Paper 12 August 2008 Pages: 285 - 292

14. UML behavioral consistency checking using instantiable Petri nets

    • Yann Thierry-Mieg
    • Lom-Messan Hillah

    Original Paper 26 August 2008 Pages: 293 - 300

15. Timing analysis and validation with UML: the case of the embedded MARS bus manager

    • Iulian Ober
    • Susanne Graf
    • Ileana Ober

    Original Paper 23 August 2008 Pages: 301 - 308

16. Clock constraint specification language: specifying clock constraints with UML/MARTE

    • Frédéric Mallet

    Original Paper 09 August 2008 Pages: 309 - 314