GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

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

      • 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
  • 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
  • Search

Search

DiscoverDiscover

Filters

Use filters to refine the search results.

Now showing items 1-5 of 5

Results Per Page:Sort Options:

A framework for capturing, statistically modeling and analyzing the evolution of software models 

Software Engineering und Software Management 2018 Shariat Yazdi, Hamed; Angelis, Lefteris; Kehrer, Timo; Kelter, Udo
In this work, we report about a recently developed framework for capturing, statistically modeling and analyzing the evolution of software models, published in the Journal of Systems and Software, Vol-118, Aug-2016. State-of-the-art approaches to understand the evolution of models of software systems are based on software ...

Modeling and Verification of Evolving Cyber-Physical Spaces 

Software Engineering und Software Management 2018 Tsigkanos, Christos; Kehrer, Timo; Ghezzi, Carlo
In this work, we report about recent research results on the Modeling and Verification of Evolving Cyber-Physical Spaces, published in ESEC/FSE17. We increasingly live in cyber-physical spaces – spaces that are both physical and digital, and where the two aspects are intertwined. Such spaces are highly dynamic and typically ...

A Formal Framework for Incremental Model Slicing 

Software Engineering and Software Management 2019 Taentzer, Gabriele; Kehrer, Timo; Pietsch, Christopher; Kelter, Udo
We report about a recently developed “Formal Framework for Incremental Model Slicing”, published in [Ta18]. A model slice of a model is a submodel comprising a selected model part, called slicing criterion. In addition to classical use cases from the field of program understanding, model slicing is also motivated by ...

Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models 

Software Engineering and Software Management 2019 Getir, Sinem; van Hoorn, André; Kehrer, Timo; Noller, Yannic; Tichy, Matthias
In this work, we report about recent research results on “Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models”, published in [Ge18]. During the whole life-cycle of software-intensive systems in safety-critical domains, system models must consistently co-evolve with quality evaluation models. ...

Inferring Visual Contracts from Java Programs 

Software Engineering and Software Management 2019 Alshanqiti, Abdullah; Heckel, Reiko; Kehrer, Timo
In this work, we report about recent research results on ÒInferring Visual Contracts from Java ProgramsÓ, published in [1]. In this paper, we propose a dynamic approach to reverse engineering visual contracts from Java programs based on tracing the execution of Java operations. The resulting contracts give an accurate ...

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

Kehrer, Timo (5)
Kelter, Udo (2)Alshanqiti, Abdullah (1)Angelis, Lefteris (1)Getir, Sinem (1)Ghezzi, Carlo (1)Heckel, Reiko (1)Noller, Yannic (1)Pietsch, Christopher (1)Shariat Yazdi, Hamed (1)... View More

Subject

Cyber-Physical Spaces (1)Dependable Software-Intensive Systems (1)dynamic analysis (1)fault trees (1)Forecasting (1)Formal Verification (1)graph transformation (1)model co-evolution (1)model extraction (1)model transformation (1)... View More

Date Issued

2019 (3)2018 (2)

Has File(s)

Yes (5)

About uns | FAQ | Help | Imprint | Datenschutz

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