Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi

Published in: Specification, Algebra, and Software (2014)

Keyphrases

software systems
software tools
formal methods
software development
computer systems
software components
software design
real time
user interface
software projects
control flow
tool suite
requirements specification
formal verification
software maintenance
query language
information systems
databases