Software engineering and formal methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers /: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers. (2015)

• Record Type: Book
• Further Information: Note: Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.).
• Editors: Bianculli, Domenico; Calinescu, Radu C, 1968-; Rumpe, Bernhard
• Other Names: International Conference on Software Engineering and Formal Methods, 13th; ATSE (Workshop), 6th; HOFM (Workshop), 2nd; MoKMaSD (Workshop), 4th; VERY*SCART (Workshop), 1st
• 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.
• Publisher Details: Berlin : Springer
• Publication Date: 2015
• Extent: 1 online resource (xxix, 325 pages), color illustrations
• Subjects: 005.1; Software engineering -- Congresses; Formal methods (Computer science) -- Congresses; Formal methods (Computer science); Software engineering; Computer Science; Engineering & Applied Sciences; Computer Science; Information Systems Applications (incl. Internet); Artificial Intelligence (incl. Robotics); Algorithm Analysis and Problem Complexity; Probability and Statistics in Computer Science; Computation by Abstract Devices; Database Management; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783662492246; 3662492245
• Related ISBNs: 9783662492239; 3662492237
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (SpringerLink, viewed January 21, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.