Work

Formalizing UML/OCL Multiple Inheritance with FoCaLiZe

Year: 2018

Type: conference-paper

Source: International Conference on Smart Communications in Network Technologies (SaCoNeT)

DOI: 10.1109/saconet.2018.8585507

Authors: Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo

Institutions: University of Eloued, Laboratoire de Conception et d'Intégration des Systèmes, Université Grenoble Alpes, École Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2906387834

FWCI: 0.171

Cites: 24

Cited by: 2

Related to: 10