Journal article

Verifying requirements through mathematical modelling and animation

E Kazmierczak, P Dart, L Sterling, M Winikoff

International Journal of Software Engineering and Knowledge Engineering | WORLD SCIENTIFIC PUBL CO PTE LTD | Published : 2000

DOI: 10.1142/S0218194000000146

Citation metrics

6Web of Science
9Scopus

Keywords

Computer Science, Artificial Intelligence
Validation
Science & Technology
Technology
Mode Analysis
Computer Science, Software Engineering
Software Engineering
Engineering, Electrical & Electronic
Computer Science
Specifications
Animation
Z
Logic Programming
Engineering