Return to home page
Searching: Muskingum library catalog
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference FACS (Symposium) (9th : 2012 : Mountain View, Calif.)
Title Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised selected papers / edited by Corina S. Pasareanu, Gwen Salaun.
Imprint Berlin ; New York : Springer, 2013.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Series Lecture notes in computer science, 0302-9743 ; 7684
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7684.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject Formal methods (Computer science) -- Congresses.
Component software -- Congresses.
Software.
Alt Name Păsăreanu, Corina S.
Salaün, G. (Gwen)
Add Title FACS 2012
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Series Lecture notes in computer science, 0302-9743 ; 7684
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7684.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject Formal methods (Computer science) -- Congresses.
Component software -- Congresses.
Software.
Alt Name Păsăreanu, Corina S.
Salaün, G. (Gwen)
Add Title FACS 2012
Description 1 online resource.
Contents Formal Patterns for Multi-rate Distributed Real-Time Systems / Kyungmin Bae, Jose Meseguer, Peter Csaba Olveczky -- Component Interfaces with Contracts on Ports / Sebastian Bauer, Rolf Hennicker, Axel Legay -- Avoiding Diamonds in Desynchronization / Harsh Beohar, Pieter J.L. Cuijpers -- The Tale of SOLOIST: A Specification Language for Service Compositions Interactions / Domenico Bianculli, Carlo Ghezzi -- A Categorical Approach to Structuring and Promoting Z Specifications / Pablo F. Castro, Nazareno Aguirre -- Assume-Guarantee Reasoning for Safe Component Behaviours / Chris Chilton, Bengt Jonsson, Marta Kwiatkowska -- A Petri Net Based Analysis of Deadlocks for Active Objects and Futures / Frank S. de Boer, Mario Bravetti, Immo Grabe -- Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development / Frank S. de Boer, Stijn de Gouw -- Symbolic Counterexample Generation for Discrete-Time Markov Chains / Nils Jansen, Erika Abraham, Barna Zajzon -- Xcd -- Modular, Realizable Software Architectures / Christos Kloukinas, Mert Ozkaya -- LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time / Amir Molzam Sharifloo, Paola Spoletini -- A Calculus for Quality / Hanne Riis Nielson, Flemming Nielson, Roberto Vigo -- Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure / Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu -- IBOS: A Correct-By-Construction Modular Browser / Ralf Sasse, Samuel T. King, Jose Meseguer -- Guided Search for Deadlocks in Actor-Based Models / Steinar Hugi Sigurdarson, Marjan Sirjani -- Assumption Generation for Asynchronous Systems by Abstraction Refinement / Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli.
Summary This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.
Bibliography Note Includes bibliographical references.
ISBN 9783642358616 (electronic bk.)
3642358616 (electronic bk.)
3642358608 (print)
9783642358609 (print)
9783642358609
ISBN/ISSN 10.1007/978-3-642-35861-6
OCLC # 826860215
Additional Format Printed edition: 9783642358609