Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
by
 
Bianculli, Domenico. editor.

Title
: 
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Author
: 
Bianculli, Domenico. editor.

ISBN
: 
9783662492246

Edition
: 
1st ed. 2015.

Physical Description
: 
XXIX, 325 p. 88 illus. in color. online resource.

Series
: 
Programming and Software Engineering, 9509

Contents
: 
Automating 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.

Added Author
: 
Bianculli, Domenico.
 
Calinescu, Radu.
 
Rumpe, Bernhard.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
https://doi.org/10.1007/978-3-662-49224-6


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book519205-1001ONLINEElektronik Kütüphane