An Institution for Imperative RSL Specifications.

Anne E. Haxthausen

Published in: Specification, Algebra, and Software (2014)

Keyphrases

delay insensitive
higher education
high level
written in natural language
artificial intelligence
optimal solution
concurrent systems
data mining
information systems
database systems
learning environment
expert systems
logic programs
specification language
control flow