From Design Contracts to Component Requirements Verification.

Jing Liu John D. Backes Darren D. Cofer Andrew Gacek

Published in: CoRR (2016)

Keyphrases

model checking
functional requirements
design principles
design methodology
detailed design
functional verification
real time
search engine
case study
database systems
design process
petri net
design decisions
software design
design choices