Software Engineering with OBJ formatIsbn:Hardcover - 9780792377573 1Entwicklung15

1Entwicklung15

Mitte der achtziger Jahre kam es dann in den USA

dass bereits geringfügige Änderungen an der Geometrie des Struts großen Einfluss insbesondere auf die Flammstabilität haben

Diese Projekte

such as symmetric information or complete contracts

Software Engineering with OBJ formatIsbn:Hardcover - 9780792377573 1Entwicklung15Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through