Abstract: Unified Modeling Language (UML) and Object Constraint Language (OCL) are the most commonly used languages to model software systems. OCL is a formal language used to specify invariants as ...
Poorly designed software systems are one of main causes of accidents in safety-critical systems, and thus, the importance of safety analysis for software has greatly increased over the recent years.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results