Sign in
Requirements Validation based on the Visualization of Executable Formal Specifications.
Mehmet Bülent Özcan
P. W. Parry
Ian C. Morrey
Jawed I. A. Siddiqi
Published in:
COMPSAC (1998)
Keyphrases
</>
formal specification
specification languages
model checking
object oriented design
specification language
process algebra
concurrent systems
cooperative
formal methods
software components
design methodology
reverse engineering
data analysis
self organizing maps
databases
business rules
semantic data models