Correct System Design (Record no. 189239)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 05030nam a22006255i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-540-48092-1 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240423132553.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 121227s1999 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783540480921 |
-- | 978-3-540-48092-1 |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1007/3-540-48092-7 |
Source of number or code | doi |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA75.5-76.95 |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UYA |
Source | bicssc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | COM014000 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UYA |
Source | thema |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004.0151 |
Edition number | 23 |
245 10 - TITLE STATEMENT | |
Title | Correct System Design |
Medium | [electronic resource] : |
Remainder of title | Recent Insights and Advances / |
Statement of responsibility, etc | edited by Ernst-Rüdiger Olderog, Bernhard Steffen. |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. 1999. |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
-- | 1999. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | XIV, 422 p. |
Other physical details | online resource. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
International Standard Serial Number | 1611-3349 ; |
Volume number/sequential designation | 1710 |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Methodology -- 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 -- 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 -- Real-Time Constraints Through the ProCoS Layers -- Monotonicity in Calculational Proofs -- Monotonicity in Calculational Proofs -- Programming -- The Alma Project, or How First-Order Logic Can Help us in Imperative Programming -- Type and Effect Systems -- Automation -- 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 -- Compilation -- 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 -- Application -- 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. |
520 ## - SUMMARY, ETC. | |
Summary, etc | Computers are gaining more and more controle over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. On the occasion of Hans Langmaack's retirement from his professorship and in order to honor his fundamental contributions to the field, the volume editors invited 17 internationally well known researchers to evaluate the state of the art in the area of correct system design. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application. It is a unique outline of what has been achieved in the area which dates back to a pioneering paper by Alan Turing in 1949. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Compilers (Computer programs). |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computers, Special purpose. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Machine theory. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Artificial intelligence. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Theory of Computation. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Compilers and Interpreters. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Special Purpose and Application-Based Systems. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Formal Languages and Automata Theory. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Artificial Intelligence. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Olderog, Ernst-Rüdiger. |
Relator term | editor. |
Relator code | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Steffen, Bernhard. |
Relator term | editor. |
Relator code | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY | |
Title | Springer Nature eBook |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Printed edition: |
International Standard Book Number | 9783540666240 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Printed edition: |
International Standard Book Number | 9783662172650 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Lecture Notes in Computer Science, |
-- | 1611-3349 ; |
Volume number/sequential designation | 1710 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://doi.org/10.1007/3-540-48092-7">https://doi.org/10.1007/3-540-48092-7</a> |
912 ## - | |
-- | ZDB-2-SCS |
912 ## - | |
-- | ZDB-2-SXCS |
912 ## - | |
-- | ZDB-2-LNC |
912 ## - | |
-- | ZDB-2-BAE |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks-CSE-Springer |
No items available.