LEADER 06039nam 22007455 450 001 996198831203316 005 20200629225506.0 010 $a3-319-15201-7 024 7 $a10.1007/978-3-319-15201-1 035 $a(CKB)2560000000326194 035 $a(Springer)9783319152011 035 $a(MH)014293530-1 035 $a(SSID)ssj0001424603 035 $a(PQKBManifestationID)11844613 035 $a(PQKBTitleCode)TC0001424603 035 $a(PQKBWorkID)11369023 035 $a(PQKB)10650414 035 $a(DE-He213)978-3-319-15201-1 035 $a(MiAaPQ)EBC5579590 035 $a(PPN)183520076 035 $a(EXLCZ)992560000000326194 100 $a20150131d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSoftware Engineering and Formal Methods$b[electronic resource] $eSEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /$fedited by Carlos Canal, Akram Idani 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XXVII, 405 p. 147 illus.)$conline resource 225 1 $aProgramming and Software Engineering ;$v8938 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-15200-9 320 $aIncludes bibliographical references and index. 327 $aHOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups -- An Approach for Creating Domain Specific Visualisations of CSP Models -- Using Z in the Development and Maintenance of Computational Models of Real-World Systems -- When a Formal Model Rhymes with a Graphical Notation -- SaFoMe 2014 -- On a Process Algebraic Representation of Sequence Diagrams -- Modelling and Verification of Survivability Requirements for Critical Systems -- Model-Based Verification of Safety Contracts -- A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems -- A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics -- OpenCert 2014 -- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language -- OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities -- Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives -- MoKMaSD 2014 -- A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networks -- Use of Mobile Phone Data to Estimate Visitors Mobility Flows -- An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities -- A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer -- Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea -- Research Challenges in Modelling Ecosystems -- Retrieving Points of Interest from Human Systematic Movements -- WS-FMDS 2014 -- Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution -- Phase-Type Approximations for Non-Markovian Systems: A Case Study -- Quantitative Anonymity Evaluation of Voting Protocols -- Scalable Verification of Markov Decision Processes -- Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis -- On Generation of Context-Abstract Plans -- A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. 330 $aThis book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014. 410 0$aProgramming and Software Engineering ;$v8938 606 $aComputer logic 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 14$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1 702 $aCanal$b Carlos$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aIdani$b Akram$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996198831203316 996 $aSoftware Engineering and Formal Methods$92077897 997 $aUNISA 999 $aThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress