LEADER 05786nam 22008295 450 001 996200367303316 005 20200702040021.0 010 $a3-319-22969-9 024 7 $a10.1007/978-3-319-22969-0 035 $a(CKB)3890000000001362 035 $a(SSID)ssj0001558631 035 $a(PQKBManifestationID)16183578 035 $a(PQKBTitleCode)TC0001558631 035 $a(PQKBWorkID)14818581 035 $a(PQKB)10320270 035 $a(DE-He213)978-3-319-22969-0 035 $a(MiAaPQ)EBC6303035 035 $a(MiAaPQ)EBC5592609 035 $a(Au-PeEL)EBL5592609 035 $a(OCoLC)919252976 035 $a(PPN)188460659 035 $a(EXLCZ)993890000000001362 100 $a20150820d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSoftware Engineering and Formal Methods$b[electronic resource] $e13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /$fedited by Radu Calinescu, Bernhard Rumpe 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XI, 369 p. 84 illus.) 225 1 $aProgramming and Software Engineering ;$v9276 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-22968-0 327 $aInvited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications -- Specification and Verification of Atomic Operations in GPGPU Programs -- History-based Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB Runtime Verification -- Towards Domain Refinement for UML/OCL Bounded Verification -- Testing -- Efficient Testing of Different Loop Paths -- Model-Based Robustness Testing in Event-B using Mutation -- On the Testability of Properties Patterns -- Certification -- Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning -- Formal Analysis of Proactive, Distributed Routing -- Certification of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and Proof -- From Failure to Proof: The ProB Disprover for B and Event-B -- Formalizing a Secure Foreign Function Interface -- A Formal Study of Backward Compatible Dynamic Software Updates -- Testing and Model Checking -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques for Memory-Efficient Model Checking of C and C++ Code -- NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP -- Planning -- Task Planning of Cyber-Human Systems -- Generating None-Plans in Order to Find Plans -- Modelling and Model Transformation Twitlang(er): interactions modeling language (and interpreter) for Twitter -- From Featured Transition Systems to Modal Transition Systems with Variability Constraints -- An extensible operational semantics for UML activity diagrams. 330 $aThis book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation. 410 0$aProgramming and Software Engineering ;$v9276 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 606 $aComputer communication systems 606 $aComputer programming 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 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 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 0$aComputer communication systems. 615 0$aComputer programming. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 615 24$aComputer Communication Networks. 615 24$aProgramming Techniques. 676 $a005.1 702 $aCalinescu$b Radu$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRumpe$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996200367303316 996 $aSoftware Engineering and Formal Methods$92077897 997 $aUNISA