TY - JOUR AU - Ertl, H. AU - Kremer, H.-Hugo ID - 7605 IS - 87 JF - SKOPE TI - Innovation and Reform in College-based VET Contexts: An outline of research in England and Germany ER - TY - JOUR AU - Kissel, J. AU - Hanitsch, Rolf AU - Krauter, Stefan ID - 8349 IS - 9/September 2009 JF - Energy Policy TI - Cornerstones of a renewable energy law for emerging markets in South America VL - 37 ER - TY - CONF AU - Preiss, A. AU - Krauter, Stefan ID - 8350 T2 - Proceedings of the 24th European Photovoltaic Solar Energy Conference and Exhibition, Hamburg (Deutschland), 21.–25. September 2009, S. 2846–2849 TI - Yield prediction and comparison of a-Si modules ER - TY - CONF AU - Mlynarski, Michael AU - Güldali, Baris AU - Späth, Melanie AU - Engels, Gregor ID - 8431 T2 - MoDeVVa '09: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation TI - From Design Models to Test Models by Means of Test Ideas ER - TY - CONF AU - Engels, Gregor ID - 8432 T2 - First European Workshop on Behaviour Modelling in Model Driven Architecture (BM-MDA) TI - Automatic Generation of Behavioral Code - too ambitious or even unwanted? ER - TY - CONF AU - Salger, Frank AU - Engels, Gregor AU - Hofmann, Alexander ID - 8433 T2 - Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009) TI - Inspection Effectiveness for Different Quality Attributes of Software Requirement Specifications - An Industrial Case Study ER - TY - CONF AB - The software specification acts as a bridge between customers, architects, software developers and testers. If information gets lost or distorted when building this bridge, the wrong system will be built or the system will not be built in time and budget–or both! Standards and recommendations give advice on how to structure specifications or check software-engineering artefacts with reviews or inspections. But these constructive and analytical approaches are not well integrated with each other. Moreover, they are often too generic to efficiently support the specification of particular system types. In this paper, we present the integrated “specification framework” of Capgemini sd&m. It consists of our specification method for business information systems (BIS) and its concerted analytical counterpart, the “specification quality gate”. Since this framework is tailored to the specification of large BIS, it allows a quick ramp-up phase for software engineering projects without the need for extensive tailoring or extension. AU - Salger, Frank AU - Sauer, Stefan AU - Engels, Gregor ID - 8434 T2 - Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands) TI - An Integrated Quality Assurance Framework for Specifying Business Information Systems VL - 453 ER - TY - CONF AB - Visual Process Pattern (VPP) is a visual language to describe constraints on the behavior of UML Activities. They have been developed for the sake of formulating and verifying requirements on business process models (with Activities being one possible description language). In the VPP approach, a visual pattern is translated into an LTL formula, which can then be verified against a transition system describing the behavior of the Activity under consideration. In this paper, we aim at generalizing VPP. We show how to formulate patterns more generally, using either concrete or abstract syntax of the behavioral model under consideration. Additionally, we describe how these more general patterns can be verified against a model’s behavior. AU - Soltenborn, Christian AU - Engels, Gregor ID - 8435 T2 - Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA) TI - Towards Generalizing Visual Process Pattern VL - 25 ER - TY - CONF AU - von der Maßen, Thomas AU - Wübbeke, Andreas ID - 8436 T2 - Proceedings of Produktlinien im Kontext (PIK09) TI - Lösungsorientierte Software Produktlinienentwicklung in heterogenen Systemlandschaften ER - TY - JOUR AU - Wilde, M. A. AU - Reuter, Dirk AU - Heyn, Ch. AU - Wieck, A. D. AU - Grundler, D. ID - 8578 JF - Physical Review B SN - 1098-0121 TI - Inversion-asymmetry-induced spin splitting observed in the quantum oscillatory magnetization of a two-dimensional electron system ER -