| 7 | -- | 0 | Zbigniew Huzar, Lech Madeyski. Editorial |
| 9 | -- | 28 | Arnaud Lanoix, Jeanine Souquières. Trustworthy Assembly of Components using the B Refinement |
| 29 | -- | 46 | Janis Osis, Erika Asnina, Andrejs Grave. Computation Independent Representation of the Problem Domain in MDA |
| 47 | -- | 69 | Adam Trendowicz, Michael Ochs, Axel Wickenkamp, Jürgen Münch, Yasushi Ishigai, Takashi Kawaguchi. Integrating Human Judgment and Data Analysis to Identify Factors Influencing Software Development Productivity |
| 71 | -- | 92 | Philip Samuel, Rajib Mall. A Novel Test Case Design Technique Using Dynamic Slicing of UML Sequence Diagrams |