Date 12-13 Oct. 2012
Filter Results
Displaying Results 1 - 25 of 31
-
[Front cover]
|
PDF (474 KB)
-
[Title page i]
|
PDF (27 KB)
-
[Title page iii]
|
PDF (123 KB)
-
[Copyright notice]
|
PDF (118 KB)
-
Table of contents
|
PDF (145 KB)
-
Foreword
|
PDF (92 KB)
-
Conference Committee/Reviewers
|
PDF (74 KB)
-
-
-
Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive Study
|
PDF (463 KB)
-
Analysing Tactics in Architectural Patterns
|
PDF (233 KB)
-
-
Self-Definition for Software Development
|
PDF (216 KB)
-
-
-
Partial Slices in Program Testing
|
PDF (203 KB)
-
Dogfooding the Formal Semantics of mCRL2
|
PDF (299 KB)
-
-
-
-
-
-
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification
|
PDF (420 KB)
-
An Evaluation of Service Integration Approaches of Business Process Management Systems
|
PDF (178 KB)
-


