2014
Contribution to conference
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.
Source: New York: ACM Press, 2014
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:295360,
title = {2nd FME Workshop on Formal Methods in Software Engineering},
author = {Gnesi S. and Plat N.},
booktitle = {New York: ACM Press, 2014},
year = {2014}
}CNR authorsLaboratories
0000-0002-0139-0421