Leveraging Applications of Formal Methods, Verification, and Validation (Record no. 112843)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 07063nam a22006135i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-642-16561-0 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20140220084549.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 | 101102s2010 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783642165610 |
| -- | 978-3-642-16561-0 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-642-16561-0 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.9.L63 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.5913 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.63 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UM |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYF |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM051000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM036000 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1015113 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Margaria, Tiziana. |
| Relator term | editor. |
| 245 10 - TITLE STATEMENT | |
| Title | Leveraging Applications of Formal Methods, Verification, and Validation |
| Medium | [electronic resource] : |
| Remainder of title | 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / |
| Statement of responsibility, etc | edited by Tiziana Margaria, Bernhard Steffen. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 2010. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XV, 498p. 157 illus. |
| 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 | 0302-9743 ; |
| Volume number/sequential designation | 6416 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods -- SecureChange: Security Engineering for Lifelong Evolvable Systems -- 3DLife: Bringing the Media Internet to Life -- LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling -- Task Forces in the EternalS Coordination Action -- Modeling and Analyzing Diversity -- Modeling and Managing System Evolution -- Self-adaptation and Evolution by Learning -- Overview of Roadmapping by EternalS -- Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition of Conversational Services through Graph Planning Encoding -- Performance Prediction of Service-Oriented Systems with Layered Queueing Networks -- Error Handling: From Theory to Practice -- Modeling and Reasoning about Service Behaviors and Their Compositions -- Design and Verification of Systems with Exogenous Coordination Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification in Practice -- Quantitative Verification in Practice -- Ten Years of Performance Evaluation for Concurrent Systems Using CADP -- Towards Dynamic Adaptation of Probabilistic Systems -- UPPAAL in Practice: Quantitative Verification of a RapidIO Network -- Schedulability Analysis Using Uppaal: Herschel-Planck Case Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans -- Towards an Architecture for Runtime Interoperability -- On Handling Data in Automata Learning -- A Theory of Mediators for Eternal Connectors -- On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring -- Dependability Analysis and Verification for Connected Systems -- Towards a Connector Algebra -- Certification of Software-Driven Medical Devices -- Certification of Software-Driven Medical Devices -- Arguing for Software Quality in an IEC 62304 Compliant Development Process -- Trustable Formal Specification for Software Certification -- Design Choices for High-Confidence Distributed Real-Time Software -- Assurance Cases in Model-Driven Development of the Pacemaker Software -- Modeling and Formalizing Industrial Software for Verification, Validation and Certification -- Improving Portability of Linux Applications by Early Detection of Interoperability Issues -- Specification Based Conformance Testing for Email Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems -- Verification of Printer Datapaths Using Timed Automata -- Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models – A Real-World Example -- Source-Level Support for Timing Analysis -- Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code -- Worst-Case Analysis of Heap Allocations -- Partial Flow Analysis with oRange -- Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems -- Context-Sensitivity in IPET for Measurement-Based Timing Analysis -- On the Role of Non-functional Properties in Compiler Verification. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. The 100 revised full papers presented were carefully revised and selected from numerous submissions and discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. The 46 papers of the first volume are organized in topical sections on new challenges in the development of critical embedded systems, formal languages and methods for designing and verifying complex embedded systems, worst-case traversal time (WCTT), tools in scientific workflow composition, emerging services and technologies for a converging telecommunications / Web world in smart environments of the internet of things, Web science, model transformation and analysis for industrial scale validation, and learning techniques for software verification and validation. The second volume presents 54 papers addressing the following topics: EternalS: mission and roadmap, formal methods in model-driven development for service-oriented and cloud computing, quantitative verification in practice, CONNECT: status and plans, certification of software-driven medical devices, modeling and formalizing industrial software for verification, validation and certification, and resource and timing analysis. |
| 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 | Computer Communication Networks. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic design. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Data mining. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Information systems. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logics and Meanings of Programs. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Programming Languages, Compilers, Interpreters. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Communication Networks. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Information Systems Applications (incl.Internet). |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Data Mining and Knowledge Discovery. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Steffen, Bernhard. |
| Relator term | editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783642165603 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| -- | 0302-9743 ; |
| Volume number/sequential designation | 6416 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-642-16561-0 |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
No items available.