MPG.eBooks - Search Results - Computer Software

1

Industrial-Strength Formal Methods in Practice

Published 1999

Springer London

Table of Contents: “... A CAD Environment for Safety-Critical Software -- 8 Scheduling and Rescheduling of Trains -- 9...”

Read Now

2

ZUM'97: The Z Formal Specification Notation : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

3

ZUM '98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

4

ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Table of Contents: “...Language-free mathematical methods for software design extended abstract -- A formal approach...”

Read Now

5

Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... Teams -- Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models...”

Read Now

6

High-Integrity System Specification and Design

by Bowen, Jonathan P., Hinchey, Michael G.
Published 1999

Springer London

Table of Contents: “... The Transformational Approach -- 1.4 Silver Bullets -- No Silver Bullet: Essence and Accidents of Software Engineering...”

Narrow Search