Research Catalog
Correct system design : recent insights and advances
- Title
- Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.).
- Publication
- Berlin ; New York : Springer, c1999.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 00-369 | Offsite |
Details
- Additional Authors
- Description
- xiv, 415 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 1710
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Contents
- Theories of programming : top-down and bottom-up and meeting in the middle / C.A.R. Hoare -- A triptych software development paradigm : domain, requirements and software / D. Bjørner -- Real-time constraints through the ProCoS layers / A.P. Ravn, H. Rischel -- Monotonicity in calculational proofs / D. Gries -- The Alma project, or how first-order logic can help us in imperative programming / K.R. Apt, A. Schaerf -- Type and effect systems / F. Nielson, H.R. Nielson -- Proving theorems about Java-like byte code / J.S. Moore -- Multiple state and single state tableaux for combining local and global model checking / A. Biere, E.M. Clarke, Y. Zhu -- On the existence of network invariants for verifying parameterized systems / P.A. Abdulla, B. Jonsson -- Verification of compilers / G. Goos, W. Zimmermann -- Translation validation : from SIGNAL to C / A. Pnueli, O. Shtrichman, M. Siegel -- Compilation and synthesis for real-time embedded controllers / M. Fränzle, M. Müller-Olm -- Optimization under the perspective of soundness, completeness, and reusability / J. Knoop, O. Rüthing -- Verification of automotive control units / T. Bienmüller ... [et al.] -- Correct real-time software for programmable logic controllers / E.-R. Olderog -- Formal methods for the International Space Station ISS / J. Peleska, B. Buth -- METAFrame in practice : design of intelligent network services / B. Steffen, T. Margaria.
- Call Number
- JSE 00-369
- ISBN
- 3540666249 (softcover)
- LCCN
- 99049189
- OCLC
- 42603220
- Title
- Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.).
- Imprint
- Berlin ; New York : Springer, c1999.
- Series
- Lecture notes in computer science, 0302-9743 ; 1710
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Steffen, Bernhard.Olderog, E.-R.
- Research Call Number
- JSE 00-369