LEADER 05422nam 2200577 a 450 001 9910483513703321 005 20200520144314.0 010 $a1-280-39006-9 010 $a9786613567987 010 $a3-642-16561-3 024 7 $a10.1007/978-3-642-16561-0 035 $a(CKB)2670000000056647 035 $a(SSID)ssj0000446595 035 $a(PQKBManifestationID)11291907 035 $a(PQKBTitleCode)TC0000446595 035 $a(PQKBWorkID)10497082 035 $a(PQKB)10307907 035 $a(DE-He213)978-3-642-16561-0 035 $a(MiAaPQ)EBC3066051 035 $a(PPN)149890745 035 $a(EXLCZ)992670000000056647 100 $a20101203d2010 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLeveraging applications of formal methods, verification, and validation $e4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 : proceedings, part II /$fTiziana Margaria, Bernhard Steffens (eds.) 205 $a1st ed. 2010. 210 $aBerlin ;$aNew York $cSpringer$d2010 215 $a1 online resource (XV, 498 p. 157 illus.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v6416 225 1 $aLNCS sublibrary. SL 1, Theoretical computer science and general issues 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-16560-5 320 $aIncludes bibliographical references and index. 327 $aEternalS: 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. 410 0$aLecture notes in computer science ;$v6416. 410 0$aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues. 606 $aFormal methods (Computer science)$vCongresses 615 0$aFormal methods (Computer science) 676 $a004.6 701 $aMargaria-Steffen$b Tiziana$f1964-$0845731 701 $aSteffens$b Bernhard$01752536 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483513703321 996 $aLeveraging applications of formal methods, verification, and validation$94187854 997 $aUNINA