Babelsberg : specifying and solving constraints on object behavior
Constraints allow developers to specify desired properties of systems in a number of domains, and have those properties be maintained automatically. This results in compact, declarative code, avoiding scattered code to check and imperatively re-satisfy invariants. Despite these advantages, constrain...
| Main Authors: | , , |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Universität Potsdam
2013
|
| Subjects: | |
| Online Access: | http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-67296 http://opus.kobv.de/ubp/volltexte/2014/6729/ |