Normal view MARC view ISBD view

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.

Contributor(s): Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Theoretical Computer Science and General Issues: 6416Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010.Description: XV, 498 p. 157 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642165610.Subject(s): Computer networks  | Computer science | Software engineering | Compilers (Computer programs) | Application software | Data mining | Computer Communication Networks | Computer Science Logic and Foundations of Programming | Software Engineering | Compilers and Interpreters | Computer and Information Systems Applications | Data Mining and Knowledge DiscoveryAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.6 Online resources: Click here to access online
Contents:
EternalS: 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.
In: Springer Nature eBook
    average rating: 0.0 (0 votes)
No physical items for this record

EternalS: 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.

There are no comments for this item.

Log in to your account to post a comment.