@inproceedings{7951, author = {{Ehrig, Karsten and Taentzer, Gabriele and Küster, Jochen and Winkelmann, Jessica}}, booktitle = {{Proceedings of the conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)}}, pages = {{156--170}}, publisher = {{Springer}}, title = {{{Generating Instance Models from Meta Models}}}, doi = {{dx.doi.org/10.1007/11768869_13}}, volume = {{4037/2006}}, year = {{2006}}, } @inproceedings{7952, author = {{Hauser, Rainer and Friess, Michael and Küster, Jochen and Vanhatalo, Jussi}}, booktitle = {{Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)}}, pages = {{129--140}}, publisher = {{IEEE Computer Society}}, title = {{{Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows}}}, doi = {{http://dx.doi.org/10.1109/EDOC.2006.21}}, year = {{2006}}, } @inproceedings{7953, abstract = {{As the Unified Modeling Language (UML) has by now seen widespread and successful use in the software industry and academia alike, it has also found its way into many computer science curricula. An outstanding advantage of teaching UML is that it enables an illustration of many crucial concepts of software engineering, far beyond its concrete notation. Most important among these concepts is that of abstraction. We present a course design which demonstrates the use of UML as a vehicle for teaching such core concepts of software engineering. Multimedia elements and tools help to efficiently convey the courses message to the students.}}, author = {{Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc and Sauer, Stefan}}, booktitle = {{Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)}}, pages = {{306--319}}, publisher = {{Springer}}, title = {{{Teaching UML Is Teaching Software Engineering Is Teaching Abstraction}}}, volume = {{3844 / 2006}}, year = {{2006}}, } @inproceedings{7954, abstract = {{The model-driven development (MDD) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. Here, models are used to specify minimal requirements and are transformed into assertions on the code level for monitoring hand-coded programs during execution. We show how well-understood results from the graph transformation community can be deployed to support this model-driven monitoring approach. In particular, models in the form of visual contracts are defined by graph transitions with loose semantics, while the automatic transformation from models to JML assertions on the code level is defined by strict graph transformation rules. Both aspects are supported and realized by a dedicated Eclipse plug-in.}}, author = {{Engels, Gregor and Lohmann, Marc and Sauer, Stefan and Heckel, Reiko}}, booktitle = {{Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)}}, pages = {{336--350}}, publisher = {{Springer}}, title = {{{Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract}}}, doi = {{http://dx.doi.org/10.1007/11841883}}, volume = {{4178}}, year = {{2006}}, } @inproceedings{7955, author = {{Förster, Alexander and Schattkowsky, Tim and Engels, Gregor and Van Der Straeten, Ragnhild}}, booktitle = {{IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)}}, pages = {{135--142}}, publisher = {{IEEE Computer Society}}, title = {{{A Pattern-driven Development Process for Quality Standard-conforming Business Process Models}}}, year = {{2006}}, } @inproceedings{7956, abstract = {{The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level, to the model level. It uses visual contracts for graphically specifying the pre- and post-conditions of an operation. Java classes with JML (Java Modeling Language) assertions are generated from visual contracts to facilitate automatic monitoring of the correctness of the programmer's implementation.}}, author = {{Lohmann, Marc and Engels, Gregor and Sauer, Stefan}}, booktitle = {{Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)}}, pages = {{355--356}}, publisher = {{IEEE Computer Society}}, title = {{{Model-driven Monitoring: Generating Assertions from Visual Contracts}}}, doi = {{http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52}}, year = {{2006}}, } @inproceedings{7957, abstract = {{Serviceorientierte Architekturen (SOA) erlauben eine schnelle und kosteneffiziente Bereitstellung unterschiedlicher Funktionalitäten zur Unterstützung der Geschäftsprozesse eines Unternehmens. Dazu werden fachliche Funktionalitäten in Form von Enterprise Services zur Verfügung gestellt. Die hohe Zahl von Enterprise Services erfordert eine geeignete semantische Beschreibung zu deren effizienten Verwaltung. Zur semantischen Beschreibung von Enterprise Services sowie zur Formulierung von Suchanfragen ist an der Universität Paderborn die Methode der visuellen Kontrakte entwickelt worden. Das Papier stellt die Ergebnisse der ersten Phase einer umfangreichen industriellen Fallstudie zur Evaluation der praktischen Anwendbarkeit visueller Kontrakte im Kontext einer SOA vor.}}, author = {{Engels, Gregor and Güldali, Baris and Juwig, Oliver and Lohmann, Marc and Richter, Jan-Peter}}, booktitle = {{Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)}}, pages = {{111--122}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen}}}, doi = {{http://dx.doi.org/10.1007/11841883}}, volume = {{79}}, year = {{2006}}, } @techreport{8215, author = {{Lohmann, Marc and Richter, Jan-Peter and Engels, Gregor and Güldali, Baris and Juwig, Oliver and Sauer, Stefan}}, publisher = {{University of Paderborn, s-lab}}, title = {{{Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie}}}, year = {{2006}}, } @article{8306, author = {{Kissel, J. and Krauter, Stefan}}, journal = {{Energy Policy}}, number = {{16}}, pages = {{3591--3598}}, title = {{{Adaptations of Renewable Energy Policies to unstable macroeconomic situations – Case study: Wind power in Brazil}}}, volume = {{34}}, year = {{2006}}, } @inproceedings{8307, author = {{Krauter, Stefan and Grunow, Paul}}, booktitle = {{Proceedings of the 4th World Conference on Photovoltaic Energy Conversion (Joint congress of IEEE/PVSEC/EUPVC), Waikoloa, Hawaii (USA), 8.–12. Mai 2006, S. 2133–2137}}, title = {{{Optical modelling and simulation of PV module encapsulation to improve structure and material properties for maximum energy yield}}}, year = {{2006}}, } @inproceedings{8308, author = {{Grunow, Paul and Krauter, Stefan}}, booktitle = {{Proceedings of the 4th World Conference on Photovoltaic Energy Conversion (Joint congress of IEEE/PVSEC/EUPVC), Waikoloa, Hawaii (USA), 8.–12. Mai 2006, S. 2152–2155. Best Poster Award by IEEE.}}, title = {{{Modelling the encapsulation factors for photovoltaic modules}}}, year = {{2006}}, } @book{8309, author = {{Krauter, Stefan}}, publisher = {{Springer Verlag}}, title = {{{Solar Electric Power Generation }}}, year = {{2006}}, } @inproceedings{8310, author = {{Krauter, Stefan and Grunow, Paul}}, booktitle = {{Proceedings of the 21st European Photovoltaic Solar Energy Conference and Exhibition, Dresden, 4.–8. September 2006, S. 2065–2068}}, title = {{{Optical simulation to enhance PV module encapsulation}}}, year = {{2006}}, } @proceedings{8311, editor = {{Krauter, Stefan}}, isbn = {{ 85-902710-4-8}}, publisher = {{Imprinta Press, 328 Seiten, November 2006}}, title = {{{Book of Proceedings of RIO 6 – World Climate & Energy Event}}}, year = {{2006}}, } @article{5841, author = {{Kundisch, Dennis and Krammer, A.}}, journal = {{Der Markt - Zeitschrift für Absatzwirtschaft und Marketing}}, number = {{1}}, pages = {{20--38}}, title = {{{Transaktionshäufigkeit als Indikator für die Angebotsgestaltung bei deutschen Online-Brokern. 45 (1), 20-38.}}}, volume = {{45}}, year = {{2006}}, } @misc{6127, author = {{Brewster, C and Kabst, Rüdiger}}, pages = {{93}}, title = {{{Deutsche Personalchefs erobern zunehmend die Geschäftsleitung}}}, volume = {{10}}, year = {{2006}}, } @misc{6128, author = {{Kabst, Rüdiger}}, pages = {{69--71}}, title = {{{HR Outsourcing: Ein trojanisches Pferd für die Personalfunktion}}}, volume = {{8}}, year = {{2006}}, } @misc{6129, author = {{Kabst, Rüdiger}}, pages = {{52--54}}, title = {{{HR의 목표는 비용절감이 아니라 서비스의 질을 높이는 것입니다 (Das Ziel von HR-Outsourcing ist nicht nur Kosten zu reduzieren, sondern die Qualität der Dienstleistung zu erhöhen)}}}, year = {{2006}}, } @misc{6130, author = {{Kabst, Rüdiger and Maiazza, K m}}, pages = {{20--23}}, title = {{{Internationales Personalmanagement im deutschen Mittelstand}}}, volume = {{5}}, year = {{2006}}, } @misc{6131, author = {{Kabst, Rüdiger}}, pages = {{11--15}}, title = {{{Internationalisierung mittelständischer Unternehmen: Fünf Thesen zum Auslandsmarkterfolg}}}, volume = {{5}}, year = {{2006}}, }