000733758 000__ 04545cam\a2200517Ii\4500
000733758 001__ 733758
000733758 005__ 20230306141102.0
000733758 006__ m\\\\\o\\d\\\\\\\\
000733758 007__ cr\cn\nnnunnun
000733758 008__ 150827s2015\\\\sz\a\\\\o\\\\\101\0\eng\d
000733758 020__ $$a9783319229690$$qelectronic book
000733758 020__ $$a3319229699$$qelectronic book
000733758 020__ $$z9783319229683
000733758 0247_ $$a10.1007/978-3-319-22969-0$$2doi
000733758 035__ $$aSP(OCoLC)ocn919252976
000733758 035__ $$aSP(OCoLC)919252976
000733758 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dSNK$$dUPM$$dOCLCF$$dOCLCO
000733758 049__ $$aISEA
000733758 050_4 $$aQA76.758
000733758 08204 $$a005.1$$223
000733758 1112_ $$aInternational Conference on Software Engineering and Formal Methods$$n(13th :$$d2015 :$$cYork, England)
000733758 24510 $$aSoftware engineering and formal methods$$h[electronic resource] :$$b13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /$$cRadu Calinescu, Bernhard Rumpe (eds.).
000733758 2463_ $$aSEFM 2015
000733758 264_1 $$aCham :$$bSpringer,$$c2015.
000733758 300__ $$a1 online resource (xi, 369 pages) :$$billustrations.
000733758 336__ $$atext$$btxt$$2rdacontent
000733758 337__ $$acomputer$$bc$$2rdamedia
000733758 338__ $$aonline resource$$bcr$$2rdacarrier
000733758 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9276
000733758 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000733758 500__ $$aInternational conference proceedings.
000733758 500__ $$aIncludes author index.
000733758 5050_ $$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.
000733758 506__ $$aAccess limited to authorized users.
000733758 520__ $$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.
000733758 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 27, 2015).
000733758 650_0 $$aSoftware engineering$$vCongresses.
000733758 650_0 $$aFormal methods (Computer science)$$vCongresses.
000733758 7001_ $$aCalinescu, Radu C.,$$d1968-$$eeditor.
000733758 7001_ $$aRumpe, Bernhard,$$eeditor.
000733758 830_0 $$aLecture notes in computer science ;$$v9276.
000733758 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000733758 852__ $$bebk
000733758 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-22969-0$$zOnline Access$$91397441.1
000733758 909CO $$ooai:library.usi.edu:733758$$pGLOBAL_SET
000733758 980__ $$aEBOOK
000733758 980__ $$aBIB
000733758 982__ $$aEbook
000733758 983__ $$aOnline
000733758 994__ $$a92$$bISE