Object Constraint Language

TL;DR: This article surveys behavioral interface specification languages with a focus toward automatic program verification and with a view towards aiding the Verified Software Initiative—a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification.

TL;DR: This paper presents a methodology and tool to support test selection from regression test suites based on change analysis in object-oriented designs and proposes a formal mapping between design changes and a classification of regression test cases into three categories: Reusable, Retestable, and Obsolete.

TL;DR: It is argued that ERP is a departure from traditional approaches to system development and therefore requires a different approach that places less emphasis on the technical aspects of software development and instead seeks to balance the business process design, software configuration and project management aspects of IT implementation with the overall strategy and structure of the firm.

TL;DR: The model framework layer provides interface code to allow independently created submodels to communicate, synchronize, and interoperate in various ways to become a single federated model.

TL;DR: This work presents a formal semantics for the Object Constraint Language (OCL) which is part of the Unified Modeling Language (UML) – an emerging standard language and notation for object-oriented analysis and design.