1. Domain specific modeling

   • Robert France
   • Bernhard Rumpe

   Editorial 01 February 2005 Pages: 1 - 3

2. UML – the Good, the Bad or the Ugly? Perspectives from a panel of experts

   • Brian Henderson-Sellers

   Expert’s voice 01 February 2005 Pages: 4 - 13

3. Formal verification of software source code through semi-automatic modeling

   • Cindy Eisner

   Regular papers 01 February 2005 Pages: 14 - 31

4. The KeY tool

   • Wolfgang Ahrendt
   • Thomas Baar
   • Peter H. Schmitt

   Regular Paper 01 February 2005 Pages: 32 - 54

5. An approach for reverse engineering of design patterns

   • Ilka Philippow
   • Detlef Streitferdt
   • Sebastian Naumann

   Regular Paper 01 February 2005 Pages: 55 - 70

6. From scenarios to code: An air traffic control case study

   • Jon Whittle
   • Richard Kwan
   • Jyoti Saboo

   Regular Paper 01 February 2005 Pages: 71 - 93

7. A reference framework for process-oriented software development organizations

   • João M. Fernandes
   • Francisco J. Duarte

   Regular Paper 01 February 2005 Pages: 94 - 105