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
Formal verification of software source code through semi-automatic modeling Cindy Eisner Regular papers 01 February 2005 Pages: 14 - 31
The KeY tool Wolfgang AhrendtThomas BaarPeter H. Schmitt Regular Paper 01 February 2005 Pages: 32 - 54
An approach for reverse engineering of design patterns Ilka PhilippowDetlef StreitferdtSebastian Naumann Regular Paper 01 February 2005 Pages: 55 - 70
From scenarios to code: An air traffic control case study Jon WhittleRichard KwanJyoti Saboo Regular Paper 01 February 2005 Pages: 71 - 93
A reference framework for process-oriented software development organizations João M. FernandesFrancisco J. Duarte Regular Paper 01 February 2005 Pages: 94 - 105