Synergistic verification and validation of systems and software engineering models

DOI10.1080/03081070903029253MaRDI QIDQ3654541zbMATH OpenOpenAlexFDO

Authors Yosr Jarraya, Andrei Soeanu, Luay Alawneh, M. Debbabi, Fawzi Hassaïne

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 checkingformal analysisSysMLsoftware metricsUMLverification and validationdesign modelsprogramme analysissoftware and systems engineering

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1633145
• Hybrid Systems: Computation and Control
• Model checking, testing and verification working together
• Model Checking Software
• Modeling for Verification
• Verification and validation of simulation models

Cites work

• scientific article; zbMATH DE number 1304378 (Why is no real title available?)
• scientific article; zbMATH DE number 2102731 (Why is no real title available?)
• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker

Cited in

(3)

• A case in point: verification and testing of a EULYNX interface
• Unifying models
• scientific article; zbMATH DE number 2087801 (Why is no real title available?)

Describes a project that uses

Uses Software

• SysML

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3654541)