Starting B Specifications from Use Cases.

Thiago C. de Sousa Aryldo G. Russo

Published in: ASM (2010)

Keyphrases

high level
decision making
information technology
starting point
databases
information retrieval
multiscale
case base