DG PARO-Frühjahrstagung 2024. (German)

Autor: Wenzel, Sven

Publikováno v: Parodontologie: die Zeitschrift für die Praxis (Berlin, Germany); mai2024, Vol. 35 Issue 2, p223-227, 5p

IDS Reference Architecture Model. Industrial Data Space. Version 2.0

Autor: Otto, Boris, Lohmann, Steffen, Steinbuss, Sebastian, Teuscher, Andreas, Auer, Sören, Boehmer, Martin, Bohn, Juergen, Brost, Gerd, Cirullies, Jan, Ciureanu, Constantin, Corsi, Eva, Danielsen, Soeren, Eitel, Andreas, Ernst, Thilo, Geisler, Sandra, Gelhaar, Joshua, Gude, Roland, Haas, Christian, Heiles, Juergen, Hierro, Juanjo, Hoernle, Joachim, Huber, Manuel, Jung, Christian, Juerjens, Jan, Kasprzik, Anna, Ketterl, Markus, Koetzsch, Judith, Koehler, Jacob, Lange, Christoph, Langer, Dorothea, Langkau, Jörg, Lis, Dominik, Loeffler, Sven, Loewen, Ulrich, Mader, Christian, Menz, Nadja, Mueller, Andreas, Mueller, Bernhard, Nagel, Lars, Nagel, Ralf, Nieminen, Harri, Reitelbach, Thomas, Resetko, Aleksei, Pakkala, Daniel, Patzer, Florian, Pettenpohl, Heinrich, Pietzsch, Rene, Pullmann, Jaroslav, Punter, Matthijs, Quix, Christoph, Rohrmus, Dominik, Romer, Lena, Sandloehken, Joerg, Schoewe, Patrick, Schulz, Daniel, Schuette, Julian, Schweichhart, Karsten, Sol, Egbert-Jan, Sorowka, Peter, Spiegelberg, Gernot, Spiekermann, Markus, Spohn, Christian, Stoehr, Gerrit, Thess, Michael, Tramp, Sebastian, Wappler, Mona, Weiergraeber, Ann-Christin, Wenzel, Sven, Wolff, Oliver, Woerner, Heike

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f09e4f6dcfff8104c71cdf4b6dee4efe

Reference Architecture Model for the Industrial Data Space

Autor: Otto, Boris, Lohmann, Steffen, Auer, Sören, Cirullies, Jan, Eitel, Andreas, Ernst, Thilo, Haas, Christian, Huber, Manuel, Jürjens, Jan, Lange, Christoph, Mader, Christian, Menz, Nadja, Nagel, Ralf, Pettenpohl, Heinrich, Pullmann, Jaroslav, Quix, Christoph, Schon, Jochen, Schulz, Daniel, Schütte, Julian, Spiekermann, Markus, Wenzel, Sven

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::511ca0af6e452beaab94270da1c53687

Specifying model changes with UMLchange to support security verification of potential evolution

Autor: Wenzel, Sven, Warzecha, Daniel, Jürjens, Jan, Ochoa, Martin, Poggenpohl, Daniel

In model-based development, quality properties such as consistency of security requirements are often verified prior to code generation. Changed models have to be re-verified before re-generation. If several alternative evolutions of a model are poss

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______610::c98b4d45db3df0d547b238105395f2c9
https://publica.fraunhofer.de/handle/publica/235439

Vérification et Test pour des systèmes évolutifs

Autor: Fourneret, Elizabeta, Bouquet, Fabrice, Ochoa, Martin, Jürjens, Jan, Wenzel, Sven

Publikováno v: AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels
AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.150--164

National audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3ed59984e8bfcc12802cc8d8b4561a5b
https://inria.hal.science/hal-00762079