Results 21 to 30 of about 14,072 (220)
zakodium-oss/react-ocl: v6.0.0 [PDF]
, 2023 <a href="https://github.com/zakodium-oss/react-ocl/compare/v5.0.1...v6.0.0">6.0.0</a> (2023-08-03) ⚠ BREAKING CHANGES <ul> <li>remove the <div> level when redering a molecule</li> </ul> Features <ul> <li&
Zakodium +5 more
core +1 more source
zakodium-oss/react-ocl: v6.0.1 [PDF]
, 2023 <a href="https://github.com/zakodium-oss/react-ocl/compare/v6.0.0...v6.0.1">6.0.1</a> (2023-08-04) Bug Fixes <ul> <li>label was cut (<a href="https://github.com/zakodium-oss/react-ocl/commit ...
Zakodium +5 more
core +1 more source
zakodium-oss/react-ocl: v6.0.2 [PDF]
, 2023 <a href="https://github.com/zakodium-oss/react-ocl/compare/v6.0.1...v6.0.2">6.0.2</a> (2023-08-04) Bug Fixes <ul> <li>enforce labelFontSize as a number (<a href="https://github.com/zakodium-oss/react-ocl/commit ...
Zakodium
core +1 more source
zakodium-oss/react-ocl: v6.1.0 [PDF]
, 2023 <a href="https://github.com/zakodium-oss/react-ocl/compare/v6.0.2...v6.1.0">6.1.0</a> (2023-08-04) Features <ul> <li>add labelColor (<a href="https://github.com/zakodium-oss/react-ocl/commit ...
Zakodium +5 more
core +1 more source
HOL-OCL: A Formal Proof Environment for uml/ocl [PDF]
, 2008 We present the theorem proving environment HOLOCL that is integrated in a Model-driven Engineering (MDE) framework. HOLOCL allows to reason over uml class models annotated with OCL specifications. Thus, HOLOCL strengthens a crucial part of the uml to an object-oriented formal method.
Achim D. Brucker, Burkhart Wolff
openaire +1 more source
Enriching OCL Using Observational Mu-Calculus [PDF]
, 2002 The Object Constraint Language is a textual specification language which forms part of the Unified Modelling Language[ 8 ]. Its principal uses are specifying constraints such as well-formedness conditions (e.g.
Bowles, Juliana Kuster Filipe +8 more
core +1 more source
Sensors, 2022 The article presents an innovative vision monitoring method of overhead contact line (OCL) displacement, which utilizes a set of LED light points installed along it. A light point is an, LED fed from a battery.
Andrzej Wilk +6 more
doaj +1 more source
Effect of Oxidation on the Formation of Disinfectant By-products of Low Molecular Weight Organic Matter [PDF]
Nature Environment and Pollution Technology, 2021 Some natural organic compounds (NOC) such as aromatic compounds can trigger the formation of disinfection by-products (DBPs). In chlorination (disinfectant) process resultant water quality depletes.
E. N. Hidayah, O. H. Cahyonugroho, M. Mirwan, R. B. Pachwarya and M. K. Asrori
doaj +1 more source
On Softening OCL Invariants. [PDF]
The Journal of Object Technology, 2019 Invariants play a crucial role in system development. This contribution focuses on invariants in systems with so-called occurrence uncertainty, where we are interested in deciding whether a certain population (a set of instances of a class model) of the system satisfies an invariant or not, but we are unsure about the actual occurrence of the elements ...
Martin Gogolla, Antonio Vallecillo
openaire +3 more sources
Encapsulation, operator overloading, and error class mechanisms in OCL [PDF]
, 2022 1732Checking models for correctness or compatibility using standard formal modeling techniques such as OCL has merits in abstraction and compactness. However, it is inconvenient for developers, since there are no standard mechanisms how to handle large ...
Rumpe, B. +2 more
core