Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge.

Michael Leuschel David Schneider

Published in: ABZ (2014)

Keyphrases

modelling language
high level
low level
crossword puzzles
jigsaw puzzle
formal semantics
sliding tile
learning scenarios
learning design
software engineering
online learning