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.
2nd FME Workshop on Formal Methods in Software Engineering
Gnesi S;
2014
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_295360-doc_84868.pdf
accesso aperto
Descrizione: 2nd FME Workshop on Formal Methods in Software Engineering
Tipologia:
Versione Editoriale (PDF)
Dimensione
785.95 kB
Formato
Adobe PDF
|
785.95 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
