2014
Book
Open Access
2nd FME Workshop on Formal Methods in Software Engineering
Gnesi S, Plat N
SOFTWARE ENGINEERING Formal methods
The proceedings contain 9 papers. The topics discussed include: using mCRL2 for the analysis of software product lines; flexible modular formalization of UML sequence diagrams; formal specification comprehension; software reliability via machine learning; compiling polychronous programs into conditional partial orders for ASIP synthesis; from an abstract specification in event-B toward an UML/OCL model; generating supportive hypotheses in introducing formal methods using a software processes improvement model; formalization of software models for cyber-physical; and analysis and testing of PLEXIL plans.
Publisher: ACM Press
Back to previous page
BibTeX entry
@book{oai:it.cnr:prodotti:295360,
title = {2nd FME Workshop on Formal Methods in Software Engineering},
author = {Gnesi S and Plat N},
publisher = {ACM Press},
year = {2014}
}CNR authorsLaboratories
0000-0002-0139-0421