Patterns for B: Bridging Formal and Informal Development.

Edward Chan Ken Robinson Brett Welch

Published in: B (2007)

Keyphrases

case study
knowledge based systems
data sets
data mining techniques
decision support
pattern mining
development process
formal model
web pages
user interface
project management
similar patterns