Software Engineering and Formal Methods, 2014 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings Programming and Software Engineering Series
The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
Program Verification.- Testing.- Component-Based Systems.- Real-Time and Embedded Systems.- Model Checking and Automata Learning.- Tool Papers.- Program Correctness.- Adaptive and Multi-Agent Systems.
Date de parution : 08-2014
Ouvrage de 394 p.
15.5x23.5 cm
Thème de Software Engineering and Formal Methods :
Mots-clés :
adaptive systems; automata learning; automated static analysis; component-based systems; dynamic analysis; embedded systems; formal methods; model checking; multi-agent systems; ontology; program correctness; real-time systems; requirements engineering; software engineering; software testing and debugging; software verification; software verification and validation; temporal logic; theorem proving; verification