Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (Record no. 93612)

000 -LEADER
fixed length control field 08108nam a22006135i 4500
001 - CONTROL NUMBER
control field 978-3-662-45231-8
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240730191104.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 140926s2014 gw | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783662452318
-- 978-3-662-45231-8
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-662-45231-8
Source of number or code doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.758
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051230
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Edition number 23
245 10 - TITLE STATEMENT
Title Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Medium [electronic resource] :
Remainder of title 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
Statement of responsibility, etc. edited by Tiziana Margaria, Bernhard Steffen.
250 ## - EDITION STATEMENT
Edition statement 1st ed. 2014.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Berlin, Heidelberg :
Name of producer, publisher, distributor, manufacturer Springer Berlin Heidelberg :
-- Imprint: Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2014.
300 ## - PHYSICAL DESCRIPTION
Extent XVIII, 644 p. 187 illus.
Other physical details online resource.
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
Encoding format PDF
Source rda
490 1# - SERIES STATEMENT
Series statement Theoretical Computer Science and General Issues,
International Standard Serial Number 2512-2029 ;
Volume/sequential designation 8803
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Introduction to Track on Engineering Virtualized Services -- Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference of Transmission Data Sizes in Distributed Systems -- Fully Abstract Operation Contracts -- Statistical Model Checking Statistical Model Checking Past, Present, and Future -- An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking -- A Formalism for Stochastic Adaptive Systems -- A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models -- Formal Analysis of the Wnt/β-catenin Pathway through Statistical Model Checking -- Battery-Aware Scheduling of Mixed Criticality Systems -- Using Statistical Model Checking for Measuring Systems -- Blocking Advertisements on Android Devices Using Monitoring Techniques -- Monitoring with Data Automata -- Risk-Based Testing (Track Introduction) -- A Technique for Risk-Based Test Procedure Identification, Prioritization and Selection -- A Risk Assessment Framework for Software Testing -- Data Driven Testing of Open Source Software -- Combining Risk Analysis and Security Testing -- Risk-Based Vulnerability Testing Using Security Test Patterns -- Medical Cyber-Physical Systems (Track Introduction) -- Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices -- On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers -- Model Checking Hybrid Systems (Invited Talk) -- Challenges for the Dynamic Interconnection of Medical Devices -- Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients -- Track Introduction: Scientific Workflows -- Meta-analysis of Disjoint Sets ofAttributes in Large Cohort Studies -- Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci:grasp Platform -- A Visual Programming Approach to Beat-Driven Humanoid Robot Dancing -- jABCstats: An Extensible Process Library for the Empirical Analysis of jABC Workflows -- Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies -- Evaluation and Reproducibility of Program Analysis (Track Introduction) -- SWEET - A Tool for WCET Flow Analysis (Extended Abstract) -- Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II (Extended Abstract) -- Construction of Abstract Domains for Heterogeneous Properties (Position Paper) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations -- The Guided System Development Framework: Modeling and Verifying Communication Systems -- Processes and Data Integration in the Networked Healthcare Processes and Data Integration in the Networked Healthcare -- Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal -- Domain-Specific Business Modeling with the Business Model Developer -- Dr. Watson? Balancing Automation and Human Expertise in Healthcare Delivery -- Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction -- Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach -- Requirements Driven Data Warehouse Design: We Can Go Further -- On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems Version to Read - Version to Read -- Industrial Track -- The Technological and Interdisciplinary Evolution in Machine and Plant Engineering - Industry 4.0 -- Doctoral Symposium and Poster Session -- Integrated Code Motion and Register Allocation -- On the Algebraic Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active Automata Learning withModel-Driven Development -- Generation of Domain-Specific Graphical Development Tools Targeting Heterogeneous Platforms -- Living Canvas -- Feedback-Based Recognition of Human Identities Using Color and Depth Data -- Real Time Standardization Process Management.
520 ## - SUMMARY, ETC.
Summary, etc. The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software engineering.
9 (RLIN) 4138
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Compilers (Computer programs).
9 (RLIN) 3350
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer science.
9 (RLIN) 9832
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Machine theory.
9 (RLIN) 145127
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Artificial intelligence.
9 (RLIN) 3407
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software Engineering.
9 (RLIN) 4138
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Compilers and Interpreters.
9 (RLIN) 31853
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Theory of Computation.
9 (RLIN) 145128
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal Languages and Automata Theory.
9 (RLIN) 145129
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer Science Logic and Foundations of Programming.
9 (RLIN) 42203
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Artificial Intelligence.
9 (RLIN) 3407
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Margaria, Tiziana.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 145130
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Steffen, Bernhard.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 145131
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
9 (RLIN) 145132
773 0# - HOST ITEM ENTRY
Title Springer Nature eBook
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783662452301
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783662452325
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Theoretical Computer Science and General Issues,
International Standard Serial Number 2512-2029 ;
Volume/sequential designation 8803
9 (RLIN) 145133
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a>
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-SXCS
912 ## -
-- ZDB-2-LNC
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type eBooks-Lecture Notes in CS

No items available.