From Nondeterministic UML Protocol Statemachines to Class Contracts.

Ivan Porres Irum Rauf

Published in: ICST (2010)

Keyphrases

database design
lightweight
software systems
software engineering
finite state
grammatical inference