MPG.eBooks - Search Results - well

Cover Image

1

Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United...

Published 2003

Springer Berlin Heidelberg

Table of Contents: “..., Is Software Development? -- From Formal Techniques to Well-Founded Software Development Methods -- Towards...”

Cover Image

2

Fundamental Approaches to Software Engineering : Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2...

Published 2000

Springer Berlin Heidelberg

“... support these - tivities are all well within its scope. Die rent blends of theory and practice...”