Zvi lando

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
When designing a complex system, adhering to a design methodology is essential to ensure design quality and to shorten the design phase. Until recently, enforcing this could be done only partially or manually. This paper demonstrates how constraint programming technology can enable automation of the design methodology support when the design artifacts(More)
  • 1