In: Lecture Notes in Business Information Processing, 2019, vol. 352, p. 212-226
The use of ontologies for enterprise modeling has been discussed from different perspectives in the past. In the paper at hand we describe design options for creating enterprise models by using an ontology as a shared domain conceptualization connected through ontology-driven conceptual modeling. The enterprise models thus act as representations of ontology instances. As a major bene t, a...
|
In: Journal of Computer-Aided Molecular Design, 2014, vol. 28, no. 5, p. 587-596
|
Mémoire de bachelor : Haute école de gestion de Genève, 2017 ; TDB 2341.
Ce travail de Bachelor, réalisé pour l'obtention du titre de spécialiste HES en Information Documentaire à la Haute école de gestion de Genève, étudie les compétences informationnelles appliquées au milieu professionnel et propose une organisation d'un corpus de connaissances pour répondre à un besoin informationnel particulier du service Uni-emploi de l'Université de Genève. Afin...
|
In: Bioinformatics, 2006, vol. 22, no. 6, p. 658-664
|
Thèse de doctorat : Università della Svizzera italiana, 2013 ; 2013INFO007.
While source code expresses and implements design considerations for software system, test cases capture and represent the domain knowledge of software developer, her assumptions on the implicit and explicit interaction protocols in the system, and the expected behavior of different modules of the system in normal and exceptional conditions. Moreover, test cases capture information about the...
|
Mémoire de bachelor : Haute Ecole d'Ingénierie, 2012.
Ce projet de diplôme a pour but de développer une méthodologie et une chaine d'outils pour concevoir et implémenter des systèmes combinant logique programmable et processeur entièrement à partir d'un modèle du système en notation UML. L’objectif final étant d’obtenir une tool-chain complète avec des génératrices de code pour FPGA et microprocesseur.
|
Mémoire de bachelor : Haute Ecole d'Ingénierie, 2011.
Das Ziel der Bachelorarbeit besteht darin, die Basis für ein modellbasiertes Entwicklungstool zu schaffen. In einem ersten Schritt wird zunächst nur das Erstellen von Zustandswechseldiagrammen behandelt
|
Mémoire de bachelor : Haute Ecole d'Ingénierie, 2010.
Objectif du projet : Le projet SCEdit vise à développer une chaine d’outils capable de transformer un modèle de machine d’états-transitions UML, stocké au format XMI, en code exécutable pour la cible logicielle Qt. Méthodes | Expér iences | Résultats: Le projet se décompose en deux parties distinctes, relatives aux deux outils à développer. Le premier est un eXecution Framework...
|
Mémoire de bachelor : Haute Ecole d'Ingénierie, 2010.
|
Thèse de doctorat : Università della Svizzera italiana, 2010 ; 2010INFO002.
In recent years, component- and service-orientation has gained importance as the new paradigm in software engineering, and it has introduced the challenge of dynamic component look-up and binding into the validation and verification process. This introduces a new class of inherently dynamic properties that have to be verified when the system is running in its target environment rather than...
|