Lightweight models for interpreting informal specifications.

Christopher P. Fuhrman

Published in: Requir. Eng. (2003)

Keyphrases

lightweight
probabilistic model
model selection
reactive systems
low cost
development environments