000742328 000__ 03600cam\a2200553Ii\4500
000742328 001__ 742328
000742328 005__ 20230306141249.0
000742328 006__ m\\\\\o\\d\\\\\\\\
000742328 007__ cr\cn\nnnunnun
000742328 008__ 160121s2015\\\\gw\a\\\\ob\\\\101\0\eng\d
000742328 020__ $$a9783662492246$$qelectronic book
000742328 020__ $$a3662492245$$qelectronic book
000742328 020__ $$z9783662492239
000742328 0247_ $$a10.1007/978-3-662-49224-6$$2doi
000742328 035__ $$aSP(OCoLC)ocn935500984
000742328 035__ $$aSP(OCoLC)935500984
000742328 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dOCLCF$$dOCLCO$$dYDXCP$$dAZU
000742328 049__ $$aISEA
000742328 050_4 $$aQA76.758
000742328 08204 $$a005.1$$223
000742328 24500 $$aSoftware engineering and formal methods$$h[electronic resource] :$$bSEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers /$$cDomenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.).
000742328 264_1 $$aBerlin :$$bSpringer,$$c2015.
000742328 300__ $$a1 online resource (xxix, 325 pages) :$$bcolor illustrations.
000742328 336__ $$atext$$btxt$$2rdacontent
000742328 337__ $$acomputer$$bc$$2rdamedia
000742328 338__ $$aonline resource$$bcr$$2rdacarrier
000742328 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9509
000742328 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000742328 504__ $$aIncludes bibliographical references and index.
000742328 5050_ $$aAutomating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: Systems and Domains -- Art of Service Composition and Formal Verification for Self-* Systems.
000742328 506__ $$aAccess limited to authorized users.
000742328 520__ $$aThis book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 papers included in this volume were carefully reviewed and selected from 32 submissions. The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods. The four workshops were: ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation; HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop; MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains; VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.
000742328 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed January 21, 2016).
000742328 650_0 $$aSoftware engineering$$vCongresses.
000742328 650_0 $$aFormal methods (Computer science)$$vCongresses.
000742328 7001_ $$aBianculli, Domenico,$$eeditor.
000742328 7001_ $$aCalinescu, Radu C.,$$d1968-$$eeditor.
000742328 7001_ $$aRumpe, Bernhard,$$eeditor.
000742328 7112_ $$aInternational Conference on Software Engineering and Formal Methods$$n(13th :$$d2015 :$$cYork, England)
000742328 7112_ $$aATSE (Workshop)$$n(6th :$$d2015 :$$cYork, England)
000742328 7112_ $$aHOFM (Workshop)$$n(2nd :$$d2015 :$$cYork, England)
000742328 7112_ $$aMoKMaSD (Workshop)$$n(4th :$$d2015 :$$cYork, England)
000742328 7112_ $$aVERY*SCART (Workshop)$$n(1st :$$d2015 :$$cYork, England)
000742328 830_0 $$aLecture notes in computer science ;$$v9509.
000742328 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000742328 85280 $$bebk$$hSpringerLink
000742328 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-49224-6$$zOnline Access$$91397441.1
000742328 909CO $$ooai:library.usi.edu:742328$$pGLOBAL_SET
000742328 980__ $$aEBOOK
000742328 980__ $$aBIB
000742328 982__ $$aEbook
000742328 983__ $$aOnline
000742328 994__ $$a92$$bISE