1. Correct development of real time and embedded systems

   • Robert France
   • Bernhard Rumpe

   Editorial 18 March 2008 Pages: 125 - 125

2. OMEGA: correct development of real time and embedded systems

   • Susanne Graf

   Guest Editorial 17 January 2008 Pages: 127 - 130

3. Supporting UML-based development of embedded systems by formal techniques

   • Jozef Hooman
   • Hillel Kugler
   • Yuri Yushtein

   Special Section Paper Open access 08 February 2007 Pages: 131 - 155

4. Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

   • Pierre Combes
   • David Harel
   • Hillel Kugler

   Special Section Paper 08 January 2008 Pages: 157 - 175

5. Heap-abstraction for an object-oriented calculus with thread classes

   • Erika Ábrahám
   • Andreas Grüner
   • Martin Steffen

   Special Section Paper 21 August 2007 Pages: 177 - 208

6. Model driven design and aspect weaving

   • Jean-Marc Jézéquel

   Expert's Voice 15 February 2008 Pages: 209 - 218

7. A platform independent model for the electronic marketplace domain

   • Anna Queralt
   • Ernest Teniente

   Regular Paper 11 April 2007 Pages: 219 - 235

8. Assert and negate revisited: Modal semantics for UML sequence diagrams

   • David Harel
   • Shahar Maoz

   Regular Paper 15 May 2007 Pages: 237 - 252