Browsing by Author "Rumpe, Bernhard"
Now showing items 1-20 of 165
-
20 Jahre Softwaretechnik an der TU Braunschweig
Rumpe, Bernhard; Schaefer, Ina; Snelting, Gregor
140-147 -
3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020)
Bender, Ottmar; Böhm, Wolfgang; Henkler, Stefan; Sander, Dietmar; Vogelsang, Andreas; Weyer, Thorsten
361-362 -
5. Workshop „Design For Future - Langlebige Softwaresysteme“
Sauer, Stefan; Klatt, Benjamin; Ruhroth, Thomas
379-379 -
6. Arbeitstagung Programmiersprachen (ATPS 2013)
Knoop, Jens; Voigtländer, Janis
369-369 -
An abstract machine for concurrent haskell with futures
Sabel, David
29-44 -
An adaptive filter-framework for the quality improvement of open-source software analysis
Hannemann, Anna; Hackstein, Michael; Klamma, Ralf; Jarke, Matthias
143-156 -
An agile approach to workflow management
Weber, Barbara; Wild, Werner
187-201 -
Agile formality: A "Mole" of software engineering practices
Bianco, Vieri del; Stosic, Dragan; Kiniry, Joseph R.
29-48 -
Agile modeling: A brief overview
Ambler, Scott W.
7-11 -
Agile software engineering techniques: the missing link in large scale lean product development
Scheerer, Alexander; Schmidt, Christoph T.; Heinzl, Armin; Hildenbrand, Tobias; Voelz, Dirk
319-330 -
Agile synchronization between a software product line and its products
Rumpe, Bernhard; Schulze, Christoph; Richenhagen, Johannes; Schloßer, Axel
1687-1698 -
Anforderungen an das Software-Engineering in der Automatisierungstechnik
Vogel-Heuser, Birgit; Diedrich, Christian; Fay, Alexander; Göhner, Peter
51-66 -
Anforderungen und Bestandteile eines Referenzmodells für Mass Customization – Ein konzeptioneller Ansatz
Dietrich, Andreas J.; Kirn, Stefan; Birgels, Frank
323-324 -
Anforderungsorientierte Variabilitätsmodellierung für Software-Produktfamilien
Bühne, Stan; Halmans, Günter; Pohl, Klaus
43-57 -
Anforderungsverifikation vom Komponenten- und Konnektormodellen am Beispiel Autonom Fahrender Autos
Heithoff, Malte; Rumpe, Bernhard; von Wenckstern, Michael
30-31 -
Approaching a discrete-continuous UML: Tool support and formalization
Stauner, Thomas; Pretschner, Alexander; Péter, István
242-257 -
Architecture-aware cost modelling for parallel performance portability
Belikov, Evgenij; Loidl, Hans-Wolfgang; Michaelson, Greg; Trinder, Phil
105-120 -
Are formal methods ready for agility? A reality check
Gorm Larsen, Peter; Fitzgerald, John; Wolff, Sune
13-25 -
Automata-based refinement checking for real-time systems
Brenner, Christian; Heinzemann, Christian; Schäfer, Wilhelm; Henkler, Stefan
99-112 -
An axiomatic formalization of UML models
Aoki, Toshiaki; Tateishi, Takaaki; Katayama, Takuya
13-28