Return to home page
Searching: Muskingum library catalog

LEADER 00000cam  2200733Ii 4500 
001    826860215 
003    OCoLC 
005    20181101050125.1 
006    m     o  d         
007    cr cnu---unuuu 
008    130206s2013    gw      ob    101 0 eng d 
019    826681014|a1027288669 
020    9783642358616|q(electronic bk.) 
020    3642358616|q(electronic bk.) 
020    3642358608|q(print) 
020    9783642358609|q(print) 
020    |z9783642358609 
024 7  10.1007/978-3-642-35861-6|2doi 
035    (OCoLC)826860215|z(OCoLC)826681014|z(OCoLC)1027288669 
040    GW5XE|beng|epn|erda|cGW5XE|dYDXCP|dCOO|dZMC|dOCLCO|dSNK
049    MAIN 
050  4 QA76.9.F67|bI58 2012 
060  4 QA 76.9.F67 
082 04 004.01/51|223 
111 2  FACS (Symposium)|n(9th :|d2012 :|cMountain View, Calif.)
245 10 Formal aspects of component software :|b9th International 
       Symposium, FACS 2012, Mountain View, CA, USA, September 12
       -14, 2012. Revised selected papers /|cedited by Corina S. 
       Pasareanu, Gwen Salaun. 
246 3  FACS 2012 
264  1 Berlin ;|aNew York :|bSpringer,|c2013. 
300    1 online resource. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
340    |gpolychrome|2rdacc|0
490 1  Lecture notes in computer science,|x0302-9743 ;|v7684 
490 1  LNCS sublibrary. SL 2, Programming and software 
504    Includes bibliographical references. 
505 00 |tFormal Patterns for Multi-rate Distributed Real-Time 
       Systems /|rKyungmin Bae, Jose Meseguer, Peter Csaba 
       Olveczky --|tComponent Interfaces with Contracts on Ports 
       /|rSebastian Bauer, Rolf Hennicker, Axel Legay --
       |tAvoiding Diamonds in Desynchronization /|rHarsh Beohar, 
       Pieter J.L. Cuijpers --|tThe Tale of SOLOIST: A 
       Specification Language for Service Compositions 
       Interactions /|rDomenico Bianculli, Carlo Ghezzi --|tA 
       Categorical Approach to Structuring and Promoting Z 
       Specifications /|rPablo F. Castro, Nazareno Aguirre --
       |tAssume-Guarantee Reasoning for Safe Component Behaviours
       /|rChris Chilton, Bengt Jonsson, Marta Kwiatkowska --|tA 
       Petri Net Based Analysis of Deadlocks for Active Objects 
       and Futures /|rFrank S. de Boer, Mario Bravetti, Immo 
       Grabe --|tRun-Time Verification of Black-Box Components 
       Using Behavioral Specifications: An Experience Report on 
       Tool Development /|rFrank S. de Boer, Stijn de Gouw --
       |tSymbolic Counterexample Generation for Discrete-Time 
       Markov Chains /|rNils Jansen, Erika Abraham, Barna Zajzon 
       --|tXcd -- Modular, Realizable Software Architectures /
       |rChristos Kloukinas, Mert Ozkaya --|tLOVER: Light-Weight 
       fOrmal Verification of adaptivE Systems at Run Time /
       |rAmir Molzam Sharifloo, Paola Spoletini --|tA Calculus 
       for Quality /|rHanne Riis Nielson, Flemming Nielson, 
       Roberto Vigo --|tModel Checking of Qualitative Sensitivity
       Preferences to Minimize Credential Disclosure /|rZachary 
       J. Oster, Ganesh Ram Santhanam, Samik Basu --|tIBOS: A 
       Correct-By-Construction Modular Browser /|rRalf Sasse, 
       Samuel T. King, Jose Meseguer --|tGuided Search for 
       Deadlocks in Actor-Based Models /|rSteinar Hugi 
       Sigurdarson, Marjan Sirjani --|tAssumption Generation for 
       Asynchronous Systems by Abstraction Refinement /|rQiusong 
       Yang, Edmund M. Clarke, Anvesh Komuravelli. 
520    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. 
650  0 Formal methods (Computer science)|vCongresses.|0http:// 
650  0 Component software|0
650  2 Software.|0 
653  4 Computer science. 
653  4 Software engineering. 
653  4 Logic design. 
653  4 Information Systems. 
653  4 Mathematical Logic and Formal Languages. 
653  4 Logics and Meanings of Programs. 
653  4 Programming Languages, Compilers, Interpreters. 
653  4 Programming Techniques. 
655  2 Congress.|0 
655  4 Electronic books. 
655  7 Conference papers and proceedings.|2fast|0http:// 
655  7 Conference papers and proceedings.|2lcgft|0http:// 
700 1  Păsăreanu, Corina S.|0
700 1  Salaün, G.|q(Gwen)|0
776 08 |iPrinted edition:|z9783642358609 
830  0 Lecture notes in computer science ;|0
830  0 LNCS sublibrary.|nSL 2,|pProgramming and software 
912    .b15655015JOHNC 
990    SpringerLink|bSpringer English/International eBooks 2013 -
       Full Set|c2018-10-31|yNew collection 
View online