Software Visual Specification for Requirement Specification Validation.

Fauziah binti Zainuddin Ruzaini bin Abdullah Arshah Rozlina binti Mohamad

Published in: ICSCA (2018)

Keyphrases

high level
tool suite
specification language
low level
formal methods
highly modular
website
provably correct
formal specification
software tools
test cases
computer systems
software maintenance
software development
test case generation
source code
data model