Verification of Component-Based Software Application Families.

Fei Xie James C. Browne

Published in: CBSE (2006)

Keyphrases

software application
development process
model checking
design rationale
interface agent
database
formal verification
information systems
face verification