Login / Signup

Toward Translating Design Constraints to Run-Time Assertions.

Luciano BaresiMichal Young
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • knowledge base
  • case study
  • design process
  • optimal design
  • real time
  • databases
  • social networks
  • digital libraries
  • np hard
  • knowledge based systems
  • design principles
  • global constraints
  • linear constraints