Login / Signup

The Common Pattern Specification Language.

Douglas E. AppeltBoyan A. Onyshkevych
Published in: TIPSTER (1998)
Keyphrases
  • specification language
  • description language
  • formal specification
  • programming language
  • symbolic execution
  • software environment
  • pattern matching
  • information retrieval
  • web services
  • dynamic environments