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
       |dNLGGC|dE7B|dOHS|dOCLCF|dOCLCO|dOCL|dOCLCO|dOCLCQ|dOCLCO
       |dOCLCQ|dOCLCO|dOCLCQ|dEBLCP|dDGU|dVT2|dESU|dIOG|dNJR|dBUF
       |dOCLCO|dMERER|dOCLCO|dCEF|dOCLCQ|dU3W 
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.)
       |0http://id.loc.gov/authorities/names/nb2013007014 
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|0http://rdaregistry.info/termList/
       RDAColourContent/1003 
490 1  Lecture notes in computer science,|x0302-9743 ;|v7684 
490 1  LNCS sublibrary. SL 2, Programming and software 
       engineering 
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://
       id.loc.gov/authorities/subjects/sh2008104061 
650  0 Component software|0http://id.loc.gov/authorities/subjects
       /sh98001790|vCongresses.|0http://id.loc.gov/authorities/
       subjects/sh99001533 
650  2 Software.|0https://id.nlm.nih.gov/mesh/D012984 
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.|0https://id.nlm.nih.gov/mesh/D016423 
655  4 Electronic books. 
655  7 Conference papers and proceedings.|2fast|0http://
       id.worldcat.org/fast/1423772 
655  7 Conference papers and proceedings.|2lcgft|0http://
       id.loc.gov/authorities/genreForms/gf2014026068 
700 1  Păsăreanu, Corina S.|0http://id.loc.gov/authorities/names/
       no2009129281 
700 1  Salaün, G.|q(Gwen)|0http://id.loc.gov/authorities/names/
       no2010089401 
776 08 |iPrinted edition:|z9783642358609 
830  0 Lecture notes in computer science ;|0http://id.loc.gov/
       authorities/names/n42015162|v7684. 
830  0 LNCS sublibrary.|nSL 2,|pProgramming and software 
       engineering.|0http://id.loc.gov/authorities/names/
       no2007033954 
990    SpringerLink|bSpringer English/International eBooks 2013 -
       Full Set|c2018-10-31|yNew collection 
       springerlink.ebooks2013|5OH1 
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online