SC Harvester Papers Database Interface

Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures

F. Nafz, J. Steghöfer, H. Seebach, W. Reif. In: . 2013

A System of Systems Approach to the Evolutionary Transformation of Power Management Systems

J. Steghöfer, Gerrit Anders, F. Siefert, W. Reif. In: . 2013

Self-organized middle-out abstraction of complexity

S. Mammen, J. Steghöfer. 2013

Reference architectures for trustworthy energy management, desktop grid computing applications, and ubiquitous display environments

Gerrit Anders, J. Steghöfer, Lukas Klejnowski, M. Wissner, Stephan Hammer et al. 2013

Experience-Based Requirements Engineering Tools

E. Knauss, Sebastian Meyer. In: . 2013

Identifying Architectural Bad Smells in Software Product Lines

H. Andrade. 2013

Software Product Line Architectures: Reviewing the Literature and Identifying Bad Smells

H. Andrade. In: . 2013

Analyzing the Effects of Confirmation Bias on Software Development Team Performance: A Field Study during a Hackathon

G. Çalıklı, A. Bener, F. Shirazi. In: . 2013

The Impact of Confirmation Bias on the Release-based Defect Prediction of Developer Groups

G. Çalıklı, A. Bener. In: . 2013

Non-Functional Requirements Revisited

Feng-Lin Li, J. Horkoff, J. Mylopoulos, Lin Liu, Alexander Borgida. In: . 2013

Uncertainty in Goal and Law Modeling and Analysis

Silvia Ingolfo, J. Horkoff, J. Mylopoulos. In: . 2013

Runtime Goal Models

F. Dalpiaz, Alexander Borgida, J. Horkoff, J. Mylopoulos. In: . 2013

BIM-Tool: Modeling and Reasoning Support for Strategic Business Models

F. Dalpiaz, D. Barone, J. Horkoff, Lei Jiang, J. Mylopoulos. In: . 2013

Improved GRL Modeling and Analysis with jUCMNav 5

Daniel Amyot, Rouzbahan Rashidi-Tabrizi, G. Mussbacher, J. Kealey, E. Tremblay et al. In: . 2013

On the continuous inter-group interaction speed improvement in large-scale agile software development for embedded software

A. Martini. In: . 2013