Login / Signup

DSCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages.

Qinyi WuCalton PuAkhil SahaiRoger S. BargaGueyoung Jung
Published in: ICWS (2006)
Keyphrases
  • specification languages
  • databases
  • design process
  • formal specification
  • neural network
  • multimedia