GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
Search 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering and Software Management
  • P239 - Software Engineering & Management 2015
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering and Software Management
  • P239 - Software Engineering & Management 2015
  • Search

Search

DiscoverDiscover

Filters

Use filters to refine the search results.

Now showing items 1-10 of 114

Results Per Page:Sort Options:

Von der software-dissertation zum lean startup 

Software-engineering and management 2015 Kaiser, Ronny; Püschel, Georg; Götz, Sebastian; Kahle, Katrin; Aßmann, Uwe

Virtual validation of cyber physical systems 

Software-engineering and management 2015 Feth, Patrik; Bauer, Thomas; Kuhn, Thomas
The increasing importance of Cyber Physical Systems (CPS) yields new challenges for their systematic and efficient quality assurance. CPS are characterized by open and heterogeneous architectures and environments. For embedded systems, this implies a separation of the currently very tight integration of hardware and ...

Error models for the representative injection of software defects 

Software-engineering and management 2015 Lanzaro, Anna; Natella, Roberto; Winter, Stefan; Cotroneo, Domenico; Suri, Neeraj
This paper considers the representativeness of injected error models for ascertaining software defects. Businessand safety-critical systems are more and more relying on software. Therefore, while in the past these systems were mainly threatened by hardware faults, they are today increasingly exposed to software faults, ...

Automated design of self-adaptive software with control-theoretical formal guarantees 

Software-engineering and management 2015 Filieri, Antonio; Hoffmann, Henr; Maggio, Martina
Self-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.

Implementing graph transformations in the bulk synchronous parallel model 

Software-engineering and management 2015 Krause, Christian; Tichy, Matthias; Giese, Holger
Big data becomes a challenge in more and more domains. In many areas, such as in social networks, the entities of interest have relational references to each other and thereby form large-scale graphs (in the order of billions of vertices). At the same time, querying and updating these data structures is a key requirement. ...

On modularizing triple graph grammars with rule refinement 

Software-engineering and management 2015 Anjorin, Anthony; Saller, Karsten; Lochau, Malte; Schürr, Andy
A Triple Graph Grammar (TGG) is a set of declarative rules describing how consistent triples of graph structures in a source, target, and correspondence domain are to be generated. This generative and high-level specification of consistency can be automatically operationalized and used to derive model generators for test ...

Generative und simulative softwaretests für selbst-adaptive, cyber-physikalische systeme 

Software-engineering and management 2015 Püschel, Georg; Piechnick, Christian; Aßmann, Uwe
Software für cyber-physikalische Systeme interagiert durch Sensorik und Aktuatorik intensiv mit realen, physischen Objekten. Durch intelligentes, selbstadaptives Verhalten können beispielsweise Aufgaben im Anwendungsbereich von Robotik oder Heimautomatisierung in verschiedensten Szenarien automatisiert werden. Jedoch ...

On the comprehension of program comprehension 

Software-engineering and management 2015 Maalej, Walid; Tiarks, Rebecca; Röhm, Tobias; Koschke, Rainer
Dieser Vortrag stellt unser TOSEM Papier [MTRK14] vor und präsentiert eine Umfrage unter

Refactoring delta-oriented software product lines 

Software-engineering and management 2015 Schulze, Sandro; Schaefer, Ina
SPLs evolve over time due to new or changed requirements and need to be maintained to retain their value. To this end, refactorings have been proposed to improve the design and structure of (object-oriented) software systems. Unfortunately, traditional refactorings are not applicable offhand to SPLs, because these ...

Ein generativer ansatz für den automatisierten software-test 

Software-engineering and management 2015 Göthlich, Anne; Eisenblätter, Karin; Kroll, Michael; Schad, Johannes; Vocke, Heike
  • «
  • 1
  • 2
  • 3
  • 4
  • . . .
  • 12
  • »

About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 

Discover

Author

Apel, Sven (3)Maalej, Walid (3)Nerche, Jens (3)Schaefer, Ina (3)Aßmann, Uwe (2)Beer, Armin (2)Böhm, Wolfgang (2)Engels, Gregor (2)Ernst, Michael D. (2)Felderer, Michael (2)... View More

Date Issued

2015 (114)

Has File(s)

Yes (114)

About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.