PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "André, Pascal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
JavaCompExt: Extracting Architectural Elements from Java Source Code.

, , , , , , , und . WCRE, Seite 317-318. IEEE Computer Society, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

André Jaquemod University of Stuttgart

Univ. -Prof. Dr. rer. nat. André Thess University of Stuttgart

Dr. -Ing. André Buchau University of Stuttgart

André Loescher University of Stuttgart

Dr. phil. André Tomalka University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification., und . INFORSID, Seite 387-403. (2004)Using Event-B to Verify the Kmelia Components and Their Assemblies., , , und . ASM, Volume 5977 von Lecture Notes in Computer Science, Seite 410. Springer, (2010)Alignement des points de vue du système d'information, une approche pragmatique., , , und . INFORSID, Seite 125-140. (2018)Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework., , , und . MODELSWARD (Revised Selected Papers), Volume 991 von Communications in Computer and Information Science, Seite 106-133. Springer, (2018)Composing Components with Shared Services in the KmeliaModel., , und . Software Composition, Volume 4954 von Lecture Notes in Computer Science, Seite 125-140. Springer, (2008)Preuve de cohérence de composants Kmelia à l'aide de la méthode B., , und . CAL, Volume L-5 von Revue des Nouvelles Technologies de l'Information, Seite 105-117. Cépaduès-Éditions, (2010)Combining Techniques to Verify Service-based Components., , und . MODELSWARD, Seite 645-656. SciTePress, (2017)An algebraic view of UML class diagrams., , , und . LMO, Seite 261-276. Hermès, (2000)Vers un modèle formel en analyse à objets.. LMO, Seite 62-78. Ecole Polytechnique Fédérale de Lausanne, CH, (1996)SAT versus UNSAT., , , und . Cliques, Coloring, and Satisfiability, Volume 26 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 415-436. DIMACS/AMS, (1993)