Automatic verification of static policies on software process models

DOI10.1023/A:1020509809235zbMATH Open1012.68591OpenAlexW1484507366MaRDI QIDQ1857951

Carla Alessandra Lima Reis, Rodrigo Quites Reis, Heribert Schlebbe, Daltro José Nunes

Publication date: 19 February 2003

Published in: Annals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020509809235

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) General topics in the theory of software (68N01) Theory of software (68N99)

Uses Software

• APSEE

This page was built for publication: Automatic verification of static policies on software process models