- ZeitschriftenartikelKonferenzankündigung: SOFTWARE ENGINEERING 2012(Softwaretechnik-Trends Band 34, Heft 2, 2011) TU Berlin
- ZeitschriftenartikelKonferenzbericht zur IWSM/MENSURA 2011(Softwaretechnik-Trends Band 34, Heft 2, 2011) Dumke, Reiner
- ZeitschriftenartikelKonferenzbericht zur MetriKon 2011(Softwaretechnik-Trends Band 34, Heft 2, 2011) Dumke, Reiner
- ZeitschriftenartikelArchitecture: Requirements + Decomposition + Refinement(Softwaretechnik-Trends Band 34, Heft 2, 2011) Spichkova, MariaThis paper focuses on the system requirements and architecture w.r.t. their decomposition and refinement: how the refinement-based verification can be used to optimize verification process, and which influences it has on the specification process. We introduce here specification decomposition methods, applying which ones can not only to keep the specification readable and manageable, but also find out a number of inconsistencies and underspecifications during specification phase as well, without starting a formal verification process.
- ZeitschriftenartikelScalable Performance Evaluation of Computer Systems(Softwaretechnik-Trends Band 34, Heft 2, 2011) Tribastone, MircoThe present paper provides an overview of recent and ongoing research conducted at the Chair of Programming and Software Engineering of LMU Munich on performance evaluation of large-scale computer systems.
- ZeitschriftenartikelProblem-Solution Mapping for Evolution Support of Software Architectural Design(Softwaretechnik-Trends Band 34, Heft 2, 2011) Riebisch, MatthiasSoftware architectures constitute a crucial factor for the development and evolution of software systems because they have to sustain their quality properties like flexibility, scalability, or security. A software architecture has to reflect the transition from the problem space with quality goals and requirements on one side to the solution space with technical solutions on the other side. A mapping between goals and solutions shall enable long-term evolution of the systems by expressing design knowledge and fundamental decisions explicitly. The gap between the fields of requirements engineering, software architectural design and software quality has not yet been closed. This paper discusses the Goal Solution Scheme, which maps quality goals and goal refinements to architectural principles and solutions. Its application in forward and re-engineering activities is shown, as well as its establishment. The concept has been evaluated in various projects including industrial case studies.
- ZeitschriftenartikelSelf-Aware Software and Systems Engineering: A Vision and Research Roadmap(Softwaretechnik-Trends Band 34, Heft 2, 2011) Kounev, SamuelWith the increasing adoption of virtualization and the transition towards cloud computing platforms, modern IT systems and services are becoming increasingly complex and dynamic. The lack of direct control over the underlying physical hardware and the complex interactions between the applications sharing the physical infrastructure pose some major challenges in providing Quality-of-Service (QoS) guarantees. In this paper, we present a research roadmap and a long-term vision aiming to address these challenges. The presented research agenda is pursued by the Descartes Research Group at KIT. Our long-term goal is to develop a novel methodology for engineering of next generation self-aware IT systems and services. The latter will have built-in service architecture models enhanced to capture dynamic aspects of the system environment and maintained automatically during operation. The models will be exploited at run-time to adapt the system to changes in the environment ensuring that resources are utilized efficiently and that QoS requirements are continuously satisfied.
- ZeitschriftenartikelTowards System Viewpoints to Specify Adaptation Models at Runtime(Softwaretechnik-Trends Band 34, Heft 2, 2011) Becker, SteffenCurrent research focuses on the specification, analysis, and realisation of systems with self-* properties. Such systems are characterised by the fact that they react on changes in their environment by altering their own structure in order to maintain their non-functional properties. However, there is no standard engineering method to model such systems. In this paper, we propose a set of new system viewpoints and their views. Additionally we describe initial ideas of the properties we want to check based on the new system views
- ZeitschriftenartikelKurzberichte(Softwaretechnik-Trends Band 34, Heft 2, 2011) GI-FB Softwaretechnik; GI-Fachgruppe Ada