Auflistung P239 - Software Engineering & Management 2015 nach Erscheinungsdatum
1 - 10 von 114
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragTest-driven requirements management(Software-engineering and management 2015, 2015) Sneed, Harry M.
- KonferenzbeitragEvolutionäre entwicklung einer web-anwendung im kirchlichen umfeld(Software-engineering and management 2015, 2015) Schmitt-Wagner, Ursula; Vekens, Alexander Van Der
- KonferenzbeitragXtext - werkzeugunterstützung für bestehende sowie eigene sprachen einfachentwickeln(Software-engineering and management 2015, 2015) Oehm, Stefan; Eysholdt, Moritz
- KonferenzbeitragStaged composition synthesis(Software-engineering and management 2015, 2015) Duedder, Boris; Martens, Moritz; Rehof, JakobA framework for composition synthesis is provided in which metalanguage combinators are supported and the execution of synthesized progr
- KonferenzbeitragResidual investigation: predictive and precise bug detection(Software-engineering and management 2015, 2015) Li, Kaituo; Reichenbach, Christoph; Csallner, Christoph; Smaragdakis, Yannis
- KonferenzbeitragVerifying component and connector models against crosscutting structural views(Software-engineering and management 2015, 2015) Maoz, Shahar; Ringert, Jan Oliver; Rumpe, BernhardThe structure of component and connector (C\&C) models, which are used in many application domains of software engineering, consists of components at different containment levels, their typed input and output ports, and the connectors between them. C\&C views, presented in [MRR13], can be used to specify structural properties of C\&C models in an expressive and intuitive way.
- KonferenzbeitragMeasuring program comprehension with functional magnetic resonance imaging(Software-engineering and management 2015, 2015) Siegmund, Janet; Apel, Sven; Kästner, Christian; Parnin, Chris; Bethmann, Anja; Saake, Gunter; Leich, Thomas; Brechmann, AndréWe observed program comprehension with functional magnetic resonance imaging and found activation in brain areas related to working memory, divided attention, problem solving, and language processing.
- KonferenzbeitragOn the comprehension of program comprehension(Software-engineering and management 2015, 2015) Maalej, Walid; Tiarks, Rebecca; Röhm, Tobias; Koschke, RainerDieser Vortrag stellt unser TOSEM Papier [MTRK14] vor und präsentiert eine Umfrage unter
- KonferenzbeitragEndogene metamodellierung der semantik von neueren UML 2 sprachmitteln(Software-engineering and management 2015, 2015) Hamann, Lars; Gogolla, MartinSeit dem Aufkommen der Unified Modeling Language (UML) wurden unterschiedliche Ansätze vorgestellt diese formal zu spezifizieren. Eine wohldefinierte formale Semantik der UML führt unter anderem zu einer höheren Interoperabilität zwischen verschiedenen Modellierungswerkzeugen, da Intepretationsspielräume verringert werden. Die hier zusammengefasste Arbeit beschreibt einen endogenen Ansatz zur Metamodellierung der Semantik von zentralen UML Elementen. Eine wohldefinierte formale Semantik der UML führt zum einen zu einer verbesserten Austauschbarkeit von Werkzeugen, was die Flexibilität eines modellgetriebenen Entwicklungsprozesses erhöht, zum anderen können Werkzeugketten aufgebaut werden, die verschiedene spezialisierte Werkzeuge, z. B. für Modell-zu-Modellund Modell-zu-Text- Transformationen, verwenden. Die Semantik von zentralen Konzepten der UML, wie Klassen, Assoziationen und Generalisierung, wurden z. B. mit mengentheoretischen oder graphbasierten Methoden definiert. Diesen Ansätzen ist gemein, dass sie den Sprachraum der UML verlassen und somit zusätzliche (formale) Beschreibungsmittel benötigen. Die in hier vorgestellte Arbeit [HG13] stellt einen endogenen, werkzeuggestützten An- satz vor, der die Laufzeitsemantik der UML ausschließlich mit den Mitteln der im UML- Kontext bekannten Sprachmitteln beschreibt. Der Ansatz basiert dabei auf den Grundlagen der endogenen Metamodellierung von Semantik aus [Kle09]. Dabei werden zwei Metamodelle für eine Modellierungssprache definiert: das der abstrakten Syntax (Abstact Syntax Model - ASM) und das der Semantik (Semantic Domain Model - SDM). Das ASM definiert die gültigen Strukturen eines Modells der Sprache, während das SDM die Bedeutung dieser Strukturen festlegt. Bei einer endogenen Metamodellierung wird dabei die zu beschreibende Sprache selbst für die Beschreibung verwendet. Die Spezifikation der UML verwendet bereits einen endogenen Ansatz bestehend aus Klassendiagrammen und zusätzlichen Einschränkungen in OCL (Object Constraint La- nugage), um die abstrakte Syntax der Sprache (das ASM), zu definieren, klammert aber explizit die Definition der Laufzeitsemantik (das SDM) aus. Aus unserer Sicht bedarf es aber zumindest für zentrale Modellierungselemente einer wohl definierten Semantik. So wird z. B. für die Definition der abstrakten Syntax der UML die subsets-Beziehungen zwischen Assoziationsenden häufig verwendet. Die Bedeutung dieser Beziehung ist allerdings nur informell beschrieben. Intuitiv lässt sich die Bedeutung dieser Beziehung am Beispiel aus Abb. 1 erläutern. Die Markierung des Assoziationsendes front als eine Teilmenge 31 part {union} Vehicle VehiclePart inVehicle {union} 1..*
- KonferenzbeitragAutomated design of self-adaptive software with control-theoretical formal guarantees(Software-engineering and management 2015, 2015) Filieri, Antonio; Hoffmann, Henr; Maggio, MartinaSelf-adaptation enables software to execute successfully in dynamic, unpredictable, and uncertain environments. However, most of the current approaches lack formal guarantees on the effectiveness and dependability of the adaptation mechanisms, limiting their applicability in practice.