SXML specification.

Published in: ACM SIGPLAN Notices (2002)

Keyphrases

high level
decision making
formal specification
formal verification
three dimensional
face recognition
video sequences
search algorithm
software engineering
operational semantics
ims learning design
tool suite