Synergistic verification and validation of systems and software engineering models

DOI10.1080/03081070903029253zbMath1191.68180OpenAlexW2132387930MaRDI QIDQ3654541

Mourad Debbabi, Yosr Jarraya, Luay Alawneh, Fawzi Hassaïne, Andrei Soeanu

Publication date: 6 January 2010

Published in: International Journal of General Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/03081070903029253

zbMATH Keywords

model checkingverification and validationformal analysisSysMLsoftware metricsUMLdesign modelsprogramme analysissoftware and systems engineering

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• SysML

Cites Work

• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• Unnamed Item
• Unnamed Item

This page was built for publication: Synergistic verification and validation of systems and software engineering models