Correct system design : recent insights and advances
User Rating: Be the first one!
Author: Steffen, Bernhard, Olderog, E.-R
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: System design, Computer systems
Publishers: New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540666249
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 214.12 MB
PDF Size: 6.76 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 973
Views: 1023
Total Files: 18
Media Type: texts
Total Files: 5
TORRENT
springer 10 1007 3 540 48092 7 archive t...torrent
Last Modified: 2022-03-09 08:59:47
Download
Size: 12.48 KB
Description
Correct System Design: Recent Insights and Advances
Author: Ernst-Rüdiger Olderog, Bernhard Steffen
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66624-0
DOI: 10.1007/3-540-48092-7
Table of Contents:
Includes bibliographical references
Author: Ernst-Rüdiger Olderog, Bernhard Steffen
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66624-0
DOI: 10.1007/3-540-48092-7
Table of Contents:
- Theories of programming: Top-Down and Bottomup and Neeting in the Middle
- A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development
- Real-Time Constraints Through the ProCoS Layers
- Monotonicity in Calculational Proofs
- The Alma Project, or How First-Order Logic Can Help us in Imperative Programming
- Type and Effect Systems
- Proving Theorems About Java-Like Byte Code
- Multiple State and Single State Tableaux for Combining Local and Global Nodel Checking
- On the Existence of Network Invariants for Verifying Parameterized Systems
- Verification of Compilers
- Translation Validation: From SIGNAL to C
- Compilation and Synthesis for Real-Time Embedded Controllers
- Optimization Under the Perspective of Soundness, Completeness, and Reusability
- Verification of Automotive Control Units
- Correct Real-Time Software for Programmable Logic Controllers
- Formal Methods for the International Space Station ISS
- METAFrame in Practice: Design of Intelligent Network Services
Includes bibliographical references
You May Also Like
We will be happy to hear your thoughts