Cantitate/Preț
Produs
Total produse
Vezi coșul
Leveraging Applications of Formal Methods, Verification and Validation de Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation

Editat de Tiziana Margaria, Bernhard Steffen
en Limba Engleză Paperback – 11 sep 2012
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (10) 31897 lei  6-8 săpt.
  Springer International Publishing – 5 aug 2021 31897 lei  6-8 săpt.
  Springer – 11 sep 2012 32525 lei  6-8 săpt.
  Springer International Publishing – 27 oct 2020 32974 lei  6-8 săpt.
  Springer International Publishing – 27 oct 2020 33229 lei  6-8 săpt.
  Springer – 11 sep 2012 33833 lei  6-8 săpt.
  Springer International Publishing – 6 oct 2016 34797 lei  6-8 săpt.
  Springer International Publishing – 12 oct 2021 46693 lei  6-8 săpt.
  Springer International Publishing – 29 oct 2020 58057 lei  6-8 săpt.
  Springer International Publishing – 6 oct 2016 65396 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 14 oct 2008 97687 lei  6-8 săpt.

Preț: 32525 lei

Preț vechi: 40657 lei
-20% Nou

Puncte Express: 488
Preț estimativ în valută:
5756€ • 6712$ • 5053£

Carte tipărită la comandă

Livrare economică 15-29 ianuarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642340314
ISBN-10: 3642340318
Pagini: 380
Ilustrații: XVI, 361 p. 129 illus.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.58 kg
Ediția:2012
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.- Software Aspects of Robotic Systems.- Process-Oriented Geoinformation Systems and Applications.- Concepts and Techniques of an Online 3D Atlas – Challenges in Cartographic 3D Geovisualization.- Handling Heterogeneity in Formal Developments of Hardware and Software Systems.- Formal Verification Tools for DSML Users: A Process Modeling Case Study.- An Ontological Pivot Model to Interoperate Heterogeneous User Requirements.
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 forSymbolic 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.- Software Aspects of Robotic Systems.- Process-Oriented Geoinformation Systems and Applications.- Concepts and Techniques of an Online 3D Atlas – Challenges in Cartographic 3D Geovisualization.- Handling Heterogeneity in Formal Developments of Hardware and Software Systems.- Formal Verification Tools for DSML Users: A Process Modeling Case Study.- An Ontological Pivot Model to Interoperate Heterogeneous User Requirements.

Textul de pe ultima copertă

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.

Caracteristici

Fast track conference proceedings Unique visibility State of the art research