Login / Signup
Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations.
Min Deng
R. E. Kurt Stirewalt
Betty H. C. Cheng
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2005)
Keyphrases
</>
tool support
image database
software architecture
software systems
formal methods
information retrieval
retrieval systems
model checking
test collection
life cycle
knowledge base
software engineering
software development
metamodel
situation calculus
retrieval process