The Mach - April 2009 issue of JOT will include:

Generating Maude Specifications Form UML Use Case Diagrams

Farid Mokhati, and Mourad Badri

A Model-driven Approach to Service Policies

Harshavardhan Jegadeesan, and Sundar Balasubramaniam

Safety as a Service

Audrey Occello , Anne-Marie Dery-Pinna , and Michel Riveill

Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker

Toufik Taibi, Angel Herranz, and Juan Jose Moreno-Navarro

UML for Modelling and Performance Estimation of Embedded Systems

Fateh Boutekkouk, and Mohammed Benmohammed

PDF Version