@article{7605, author = {{Ertl, H. and Kremer, H.-Hugo}}, journal = {{SKOPE}}, number = {{87}}, title = {{{Innovation and Reform in College-based VET Contexts: An outline of research in England and Germany}}}, year = {{2009}}, } @article{8349, author = {{Kissel, J. and Hanitsch, Rolf and Krauter, Stefan}}, journal = {{Energy Policy}}, number = {{9/September 2009}}, pages = {{3621--3626}}, title = {{{Cornerstones of a renewable energy law for emerging markets in South America}}}, volume = {{37}}, year = {{2009}}, } @inproceedings{8350, author = {{Preiss, A. and Krauter, Stefan}}, booktitle = {{Proceedings of the 24th European Photovoltaic Solar Energy Conference and Exhibition, Hamburg (Deutschland), 21.–25. September 2009, S. 2846–2849}}, title = {{{Yield prediction and comparison of a-Si modules}}}, year = {{2009}}, } @inproceedings{8431, author = {{Mlynarski, Michael and Güldali, Baris and Späth, Melanie and Engels, Gregor}}, booktitle = {{MoDeVVa '09: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation}}, pages = {{1--10}}, publisher = {{ACM}}, title = {{{From Design Models to Test Models by Means of Test Ideas}}}, doi = {{http://doi.acm.org/10.1145/1656485.1656492}}, year = {{2009}}, } @inproceedings{8432, author = {{Engels, Gregor}}, booktitle = {{First European Workshop on Behaviour Modelling in Model Driven Architecture (BM-MDA)}}, pages = {{5}}, publisher = {{ACM Press (New York, NY, USA)}}, title = {{{Automatic Generation of Behavioral Code - too ambitious or even unwanted?}}}, year = {{2009}}, } @inproceedings{8433, author = {{Salger, Frank and Engels, Gregor and Hofmann, Alexander}}, booktitle = {{Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009)}}, pages = {{15--21}}, title = {{{Inspection Effectiveness for Different Quality Attributes of Software Requirement Specifications - An Industrial Case Study}}}, year = {{2009}}, } @inproceedings{8434, abstract = {{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.}}, author = {{Salger, Frank and Sauer, Stefan and Engels, Gregor}}, booktitle = {{Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands)}}, pages = {{25--30}}, publisher = {{CEUR}}, title = {{{An Integrated Quality Assurance Framework for Specifying Business Information Systems}}}, volume = {{453}}, year = {{2009}}, } @inproceedings{8435, abstract = {{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.}}, author = {{Soltenborn, Christian and Engels, Gregor}}, booktitle = {{Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)}}, publisher = {{European Association of Software Science and Technology}}, title = {{{Towards Generalizing Visual Process Pattern}}}, volume = {{25}}, year = {{2009}}, } @inproceedings{8436, author = {{von der Maßen, Thomas and Wübbeke, Andreas}}, booktitle = {{Proceedings of Produktlinien im Kontext (PIK09)}}, pages = {{15--23}}, title = {{{Lösungsorientierte Software Produktlinienentwicklung in heterogenen Systemlandschaften}}}, year = {{2009}}, } @article{8578, author = {{Wilde, M. A. and Reuter, Dirk and Heyn, Ch. and Wieck, A. D. and Grundler, D.}}, issn = {{1098-0121}}, journal = {{Physical Review B}}, title = {{{Inversion-asymmetry-induced spin splitting observed in the quantum oscillatory magnetization of a two-dimensional electron system}}}, doi = {{10.1103/physrevb.79.125330}}, year = {{2009}}, }