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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bianculli, Domenico (Επιμελητής έκδοσης), Calinescu, Radu (Επιμελητής έκδοσης), Rumpe, Bernhard (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
• Έκδοση: 1st ed. 2015.
• Σειρά: Lecture Notes in Computer Science, 9509
• Θέματα: Computer science.; Computers.; Algorithms.; Mathematical statistics.; Database management.; Artificial intelligence.; 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.

This 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 wor...

Πίνακας περιεχομένων:

• 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.