rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
    sub title: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
  name:
    name part: Margaria, Tiziana.
    role:
      role term: editor.
  name:
    name part: Steffen, Bernhard.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2012
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVI, 361 p. 129 illus. online resource.
  abstract: The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.
  table of contents: Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using Multiobjective Optimization and Energy Minimization to Design an Isoform-Selective Ligand of the 14-3-3 Protein.- Segmentation for High-Throughput Image Analysis: Watershed Masked Clustering.- Efficient and Robust Shape Retrieval from Deformable Templates.- OWL-DL Domain-Models as Abstract Workflows.- Processes and Data Integration in the Networked Healthcare.- Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain.- Considerations for Healthcare Applications in a Platform as a Service Environment.- Reha-Sports: The Challenge of Small Margin Healthcare Accounting.- Timing Constraints: Theory Meets Practice.- A Simple and Flexible Timing Constraint Logic.- Generalized Weakly-Hard Constraints.- Modeling a BSG-E Automotive System with the Timing Augmented Description Language.- Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method.- Formal Specification and Verification of Task Time Constraints for Real-Time Systems.- The WCET Analysis Tool CalcWcet167.- Abstract Execution for Event-Driven Systems – An Application from Automotive/Infotainment Development.- Formal Methods for Intelligent Transportation Systems.- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods in Avionic Software Certification: The DO-178C Perspective.- Product Line Engineering Applied to CBTC Systems Development.- Improving Verification Process in Driverless Metro Systems: The MBAT Project.- Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings.- Automated Generation of Safety Requirements from Railway Interlocking Tables.- Distributing the Challenge of Model Checking Interlocking Control Tables.- Quantitative Modelling and Analysis.- Schedulability of Herschel-Planck Revisited Using Statistical Model Checking.- Checking Correctness of Services Modeled as Priced Timed Automata.…
  note: edited by Tiziana Margaria, Bernhard Steffen.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Operating systems (Computers)
  subject:
    topic: Computers
  subject:
    topic: Computer logic
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Operating Systems
  subject:
    topic: Computation by Abstract Devices
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 7610
  identifier: 9783642340321
  identifier: http://dx.doi.org/10.1007/978-3-642-34032-1
  record info:
    record creation date: 120928
    record change date: 20151030081453.0
    record identifier: 978-3-642-34032-1