LEADER 08797nam 22007455 450 001 996466210503316 005 20230329180936.0 010 $a3-642-34032-6 024 7 $a10.1007/978-3-642-34032-1 035 $a(CKB)3400000000086261 035 $a(SSID)ssj0000767541 035 $a(PQKBManifestationID)11424063 035 $a(PQKBTitleCode)TC0000767541 035 $a(PQKBWorkID)10739631 035 $a(PQKB)10382218 035 $a(DE-He213)978-3-642-34032-1 035 $a(MiAaPQ)EBC3070802 035 $a(PPN)168325977 035 $a(EXLCZ)993400000000086261 100 $a20120928d2012 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLeveraging Applications of Formal Methods, Verification and Validation$b[electronic resource] $e5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /$fedited by Tiziana Margaria, Bernhard Steffen 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XVI, 361 p. 129 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7610 300 $aInternational conference proceedings. 311 $a3-642-34031-8 320 $aIncludes bibliographical references and author index. 327 $aLinux 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 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. 330 $aThe 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7610 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aOperating systems (Computers) 606 $aComputer science 606 $aArtificial intelligence 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aOperating Systems 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aArtificial Intelligence 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aOperating systems (Computers). 615 0$aComputer science. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aOperating Systems. 615 24$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aArtificial Intelligence. 676 $a005.1 702 $aMargaria$b Tiziana$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSteffen$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466210503316 996 $aLeveraging applications of formal methods, verification and validation$92055774 997 $aUNISA