Software Engineering and Formal Methods, 2015 SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers Programming and Software Engineering Series
Coordonnateurs : Canal Carlos, Idani Akram
Includes supplementary material: sn.pub/extras
Date de parution : 02-2015
Ouvrage de 405 p.
15.5x23.5 cm
Thème de Software Engineering and Formal Methods :
Mots-clés :
behavioral type theory; complex systems; formal methods; knowledge management; logic and verification; model checking; open source software; program constructs; programming languages; software creation and management; software development methods; software extra-functional properties; software organization and properties; software system structures; software verification and validation; sustainability; sustainable development; type structures