D2 Student University / Computer Science University of York Heslington York / University Student / D Student University / D1 University / /
IndustryTerm
precise analysis tool / analysis tools / non-trivial systems / software domain / formal systems / software systems / software development practice / /
Organization
Computer Science University of York Heslington York / Student University / UML Class Diagrams Andy S. Evans Department / D2 Student University / An association / D1 University / /
Person
Andy S. Evans / /
ProgrammingLanguage
Unified Modeling Language / Object Constraint Language / Z notation / /