LS 14 Software Engineering : [14]

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 14 of 14
Issue DateTitleAuthor(s)
2019Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer LogikRehof, Jakob; Winkels, Jan; Steffen, Bernhard
2019A type-theoretic framework for software component synthesisRehof, Jakob; Bessai, Jan; Heineman, George T.
2019Algorithmic aspects of type-based program synthesisRehof, Jakob; Dudenhefner, Andrej; Urzyczyn, Pawel
2015Digitales, sektorübergreifendes Prozessmanagement im GesundheitswesenRehof, Jakob; Heiden, Katja; Böckmann, Britta
2014Automatic synthesis of component & connector software architectures with bounded combinatory logicRehof, Jakob; Düdder, Boris; Henglein, Fritz
2014-04-08Erweiterung von Konzepten des complex event processings zur informationslogistischen Verarbeitung telemedizinischer EreignisseRehof, Jakob; Meister, Sven; Margaria-Steffen, Tiziana
2013-06-07Verteilte Prozesskontrolle in ressourcenbasierten ArchitekturenRehof, Jakob; Sugioarto, Martin; Steffen, Bernhard
2013-01-28A generic scheduling architecture for service oriented distributed computing infrastructuresYahyapour, Ramin; Wieder, Philipp; Kranzlmüller, Dieter
2012-08-23Model based security guarantees and changeJürjens, Jan; Ochoa Ronderos, Martín; Viganò, Luca
2011-07-05Modellierung und dynamische Adaption klinischer Pfade auf Basis semantischer ProzessfragmenteRehof, Jakob; Reuter, Claudia; Dadam, Peter
2011-06-21"Compositional Modeling" Ansatz zur Benutzerschnittstellengenerierung am Beispiel telemedizinischer AnwendungenRehof, Jakob; Königsmann, Thomas; Müller, Heinrich
2011-05-23Kontextmodellierung für das ambient assisted livingRehof, Jakob; Wojciechowski, Manfred; Jannach, Dietmar
2011-04-15Automated hierarchical service level agreementsYahyapour, Ramin; Kotsokalis, Konstantinos; Tsanakas, Panayiotis
2011-02-02UMLsec4UML2 - Adopting UMLsec to Support UML2Schmidt, Holger; Jürjens, Jan
Collection's Items (Sorted by Submit Date in Descending order): 1 to 14 of 14