MPG.eBooks - Search Results - "formal methods"

1

Published 1993

Springer Berlin Heidelberg

Table of Contents: “... to reverse engineering using formal methods -- Algebraically provable specification of optimized compilations...”

2

by Bjørner, Dines
Published 1993

Springer

3

Published 1991

Springer Berlin Heidelberg

Table of Contents: “... -- A formal method for the systematic reuse of specification components -- Deductive program...”

4

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... Framework for Evaluating System and Software Requirements Specification Approaches -- Formal Methods...”

5

Published 1995

Springer Berlin Heidelberg

Table of Contents: “... case study for software engineering with formal methods: A medical information system...”

6

Published 1992

Springer Berlin Heidelberg

“... and calculational overhead of applying formal methods...”

7

Published 2005

Springer Netherlands

“..., formal methods have to serve the needs and the quality of advanced software engineering methods...”