Research of process model supporting for software requirements verification

DOI10.3724/SP.J.1087.2008.01287MaRDI QIDQ3644057zbMATH OpenOpenAlexFDO

Authors

Publication date 10 November 2009

Published in Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/sp.j.1087.2008.01287

zbMATH Keywords

activities listdialog maprequirements verificationtask division

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verification of software requirements on program systems represented by attribute transition systems
• scientific article; zbMATH DE number 1706339
• Software model checking
• Automatic verification of static policies on software process models
• Requirements-driven verification of web services

Cited in

(2)

• Automatic verification of static policies on software process models
• scientific article; zbMATH DE number 1729259 (Why is no real title available?)

This page was built for publication: Research of process model supporting for software requirements verification

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