Login / Signup
Empirical Evaluation and Review of a Metrics-Based Approach for Use Case Verification.
Beatriz Bernárdez
Amador Durán
Marcela Genero
Published in:
J. Res. Pract. Inf. Technol. (2004)
Keyphrases
</>
genetic algorithm
empirical evaluation
model checking
neural network
evolutionary algorithm
literature review
formal verification
decision trees
face verification
asynchronous circuits
information retrieval
artificial intelligence
relational databases
concurrent systems
systematic review