# Formalizing UML Models and OCL Constraints in PVS

**Type:** Papers  
**Canonical URL:** https://scholariq.org/papers/formalizing-uml-models-and-ocl-constraints-in-pvs/

## Facts

| Field | Value |
| --- | --- |
| Author Names | Marcel Kyas,Harald Fecher,Frank S. de Boer,Joost Jacob,Jozef Hooman,Mark van der Zwaag,Tamarah Arons,Hillel Kugler |
| Citations | 89 |
| DOI | 10.1016/j.entcs.2004.09.027 |
| Fields | Computer Science |
| Open Access | true |
| OA Status | diamond |
| OA URL | https://www.sciencedirect.com/science/article/pii/S1571066104053150/pdf |
| OpenAlex ID | https://openalex.org/W2140527460 |
| Type | article |
| Year | 2005 |

## Paper authors

- [Frank S. de Boer](https://scholariq.org/researchers/frank-s-de-boer/)

## Paper primary topic

- [Model-Driven Software Engineering Techniques](https://scholariq.org/topics/model-driven-software-engineering-techniques/)

## Paper topics

- [Model-Driven Software Engineering Techniques](https://scholariq.org/topics/model-driven-software-engineering-techniques/)
- [Semantic Web and Ontologies](https://scholariq.org/topics/semantic-web-and-ontologies/)
- [Advanced Software Engineering Methodologies](https://scholariq.org/topics/advanced-software-engineering-methodologies/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.