Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements
| Autor: | Przigoda, Nils, Niemann, Philipp, Filho, Jonas Gomes, Wille, Robert, Drechsler, Rolf |
|---|---|
| Zdroj: | In Computer Languages, Systems & Structures December 2018 54:512-527 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect