@book{7310, editor = {{Dilger, B. and Kremer, H.-Hugo and Sloane, Peter F. E.}}, title = {{{Wissensmanagement an berufsbildenden Schulen}}}, year = {{2003}}, } @article{7383, author = {{Mehner, Katharina}}, journal = {{Java Spektrum}}, title = {{{Zur Performanz der Überwachung von Methodenaufrufen mit der Java Platform Debugger Architecture (JPDA)}}}, volume = {{6}}, year = {{2003}}, } @article{7384, abstract = {{Der Einfluss neuer Technologien auf die Art wie wir Lehren und Lernen wird seit einigen Jahren unter dem Begriff eLearning diskutiert. Auch an den Hochschulen gibt es Bemhungen, eLearning-Konzepte zu etablieren. Dabei versprechen so genannte eLearning-Plattformen ein integriertes und reibungsloses Zusammenarbeiten aller Beteiligten am eLearning zu ermglichen. Der Einsatz einer so zentralen Software in einem System wie der Hochschule ist ein komplexes Problem, fr dessen Bewltigung die Softwaretechnik, ein Fachgebiet der Informatik, Methoden und Sprachen bereitstellt. Zentrale Idee dabei ist es, von existierenden Strukturen und den Bedrfnissen der Anwender auszugehen. In diesem Beitrag wird beschrieben, wie die Analyse von Hochschulstrukturen und Prozessen der Planung des Einsatzes von eLearning-Plattformen dient.}}, author = {{Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc}}, journal = {{ForschungsForum Paderborn}}, pages = {{44--47}}, title = {{{eLearning-Plattformen für die Hochschule: Bedarfsgerechte Bestimmung der Anforderungen}}}, volume = {{6}}, year = {{2003}}, } @article{7431, author = {{Kremer, H.-Hugo}}, journal = {{Erziehungswissenschaft und Beruf}}, number = {{3}}, pages = {{331--337}}, title = {{{Wissensforum - Schlüssel zur (Lernort-)Kooperation}}}, year = {{2003}}, } @inbook{7433, author = {{Kremer, H.-Hugo}}, booktitle = {{The Annual Conference of The Association for Information Technology in Teacher Education 2003}}, editor = {{Longman, D.}}, pages = {{43--45}}, title = {{{Open web-based learning environments - development and implementation of new learning arrangements}}}, year = {{2003}}, } @inbook{7530, abstract = {{The integration of workflows of different enterprises requires to resolve conceptual inconsistencies which are best dealt with using a high-level modelling language. Languages like the UML provide dedicated notations for workflow modelling (e.g., by means of activity diagrams), but due to the lack of formal semantics, only little support for detecting and resolving inconsistencies can be provided. We propose open Petri nets as a suitable semantic model for workflows spanning different enterprises, and discuss the use of this model to formalise a notion of consistent evolution.}}, author = {{Heckel, Reiko}}, booktitle = {{Petri Net Technology for Communication-Based Systems, Advances in Petri Nets}}, editor = {{Ehrig, H. and Reisig, W. and Weber, H. }}, pages = {{281--294}}, publisher = {{Springer}}, title = {{{Open Petri Nets as Semantic Model for Workflow Integration}}}, doi = {{http://dx.doi.org/10.1007/b83526}}, volume = {{2472}}, year = {{2003}}, } @inbook{7531, abstract = {{Extending mainstream object-oriented concepts, the agent paradigm promotes the concept of goals realized by means of strategies. To account for such specific aspects, dedicated techniques for agent-oriented modelling are required which go beyond standard techniques of object-oriented modelling. In this paper, an agent-oriented modelling notation for goals and strategies is proposed. Based on graph transformation as semantic domain we show how the behavior of agents can be described in terms of goals and the strategies or communication protocols for achieving them. Model checking is used to verify, in a given situation, that a chosen strategy actually achieves its goal.}}, author = {{Depke, Ralph and Heckel, Reiko}}, booktitle = {{Objects, Agents and Features - Structuring Mechanisms for Contemporary Software}}, editor = {{Ehrich, H.D. and Meyer, J.J. and Ryan, M.D. }}, pages = {{81--97}}, publisher = {{Springer}}, title = {{{Modeling and Analysis of Agents' Goal-Driven Behavior Using Graph Transformation}}}, volume = {{2975}}, year = {{2003}}, } @inbook{7532, abstract = {{Ist es möglich klassische Softwareentwicklungsprozesse für die Entwicklung von Web-Anwendungen zu nutzen? Dazu formulieren wir sechs grundlegende Anforderungen an den Prozess der Entwicklung von Web-Anwendungen. Diese Anforderungen werden zur Evaluation des Rational Unified Process (RUP) und von Extreme Programming (XP) verwendet. Dabei konzentrieren wir uns auf den eigentlichen Prozess, d.h. die Organisation des Ablaufs der Entwicklung, und lassen die zugrunde liegenden Methoden so weit wie möglich ausgeklammert. Es zeigt sich, dass keiner der Prozesse in der Lage ist, alle Anforderungen zu erfüllen. Die Stärken des RUP liegen in seiner Anpassbarkeit an den Grad der Komplexität der zu entwickelnden Anwendung. Die Stärken von XP dagegen liegen im Umgang mit kurzen Entwicklungszeiten und sich erst entwickelnden bzw. sich ändernden Anforderungen.}}, author = {{Engels, Gregor and Lohmann, Marc and Wagner, Annika}}, booktitle = {{Web Engineering: Systematische Entwicklung von Web-Anwendungen}}, editor = {{Kappel, G. and Proell, B. and Reich, S. and Retschnitzegger, W.}}, pages = {{239--264}}, publisher = {{dpunkt-Verlag}}, title = {{{Entwicklungsprozess von Web-Anwendungen}}}, year = {{2003}}, } @article{7681, author = {{Meier, Cedrik and Reuter, Dirk and Riedesel, Christof and Wieck, Andreas D.}}, issn = {{0021-8979}}, journal = {{Journal of Applied Physics}}, number = {{10}}, pages = {{6100--6106}}, publisher = {{AIP Publishing}}, title = {{{Fabrication of two-dimensional electron systems by focused ion beam doping of III/V semiconductor heterostructures}}}, doi = {{10.1063/1.1563032}}, volume = {{93}}, year = {{2003}}, } @article{7682, author = {{Riedesel, C and Meier, Cedrik and Schafmeister, P and Reuter, D and Wieck, A.D}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, pages = {{503--504}}, publisher = {{Elsevier BV}}, title = {{{Fabrication of high quality two-dimensional electron gases by overgrowth of focused ion beam implantation doped AlxGa1−xAs}}}, doi = {{10.1016/s1386-9477(02)00849-4}}, volume = {{17}}, year = {{2003}}, } @article{7683, author = {{Reuter, D. and Riedesel, C. and Schafmeister, P. and Meier, Cedrik and Wieck, A. D.}}, issn = {{0003-6951}}, journal = {{Applied Physics Letters}}, number = {{3}}, pages = {{481--483}}, publisher = {{AIP Publishing}}, title = {{{Fabrication of high-quality two-dimensional electron gases by overgrowth of focused-ion-beam-doped AlxGa1−xAs}}}, doi = {{10.1063/1.1539925}}, volume = {{82}}, year = {{2003}}, } @inproceedings{8374, abstract = {{The use of UML extension mechanisms for the definition of an Agent-Oriented Modeling Language only fixes its syntax. But agent concepts demand an appropriate semantics for a visual modeling language. Graphs have been shown to constitute a precise and general semantic domain for visual modeling languages. The question is how agent concepts can be systematically represented in the semantic domain and further on be expressed by appropriate UML diagrams. We propose a language architecture based on the semantic domain of graphs and elements of the concrete syntax of UML. We use the proposed language architecture to define parts of an agent-oriented modeling language.}}, author = {{Depke, Ralph and Hendrik Hausmann, Jan and Heckel, Reiko}}, booktitle = {{Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003), Charlottesville, VA (USA)}}, pages = {{106--119}}, publisher = {{Springer}}, title = {{{Design of an Agent-Oriented Modeling Language Based on Graph Transformation}}}, doi = {{http://dx.doi.org/10.1007/b98116}}, volume = {{3062}}, year = {{2003}}, } @inproceedings{8375, author = {{Baresi, Luciano and Heckel, Reiko and Thöne, Sebastian and Varró, Dániel}}, booktitle = {{Proceedings of the 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction (CBSE 2003), Portland, OR (USA)}}, pages = {{67--72}}, publisher = {{Carnegie Mellon University (USA), and Monash University (Australia)}}, title = {{{Modeling and Analysis of Architectural Styles Based on Graph Transformation}}}, year = {{2003}}, } @inproceedings{8376, author = {{Förster, Alexander and Engels, Gregor}}, booktitle = {{Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland)}}, pages = {{62--73}}, publisher = {{Springer}}, title = {{{Quality Ensuring Development of Software Processes}}}, volume = {{2786}}, year = {{2003}}, } @inproceedings{8377, author = {{Hendrik Hausmann, Jan and Heckel, Reiko and Lohmann, Marc}}, booktitle = {{Proceeding of the Web Service Workshop (Berliner XML-Tage 2003), Berlin (Germany)}}, pages = {{286--291}}, publisher = {{XML-Clearinghouse}}, title = {{{Towards Automatic Selection of Web Services Using Graph Transformation Rules}}}, year = {{2003}}, } @inproceedings{8378, author = {{Heckel, Reiko and Lohmann, Marc and Thöne, Sebastian}}, booktitle = {{Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications (MDAFA 2003), Enschede (The Netherlands)}}, pages = {{115--120}}, publisher = {{University of Twente}}, title = {{{Towards a UML Profile for Service-Oriented Architectures}}}, volume = {{TR–CTIT–03–27}}, year = {{2003}}, } @inproceedings{8379, author = {{Hendrik Hausmann, Jan}}, booktitle = {{Proceedings of the Metamodelling for MDA workshop, York (UK)}}, pages = {{147--161}}, publisher = {{University of York}}, title = {{{Metamodeling Relations - Relating Metamodels}}}, year = {{2003}}, } @inproceedings{8380, abstract = {{The Unified Modeling Langugage (UML) offers different diagram types to model the behavior of software systems. In some domains like embedded realtime systems or multimedia systems, it is necessary to include specifications of time in behavioral models since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain. We have proposed Dynamic Meta Modeling (DMM), an approach based on graph transformation, as a means for specifying operational semantics of dynamic UML diagrams. In this article, we extend this approach to also account for time by extending the semantic domain to timed graph transformation. This enables us to define the operational semantics of UML diagrams with time speci- fications. As an example, we provide semantics for special sequence diagrams from the domain of multimedia application modeling.}}, author = {{Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}}, booktitle = {{Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain)}}, number = {{3}}, pages = {{133--144}}, publisher = {{Elsevier}}, title = {{{Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}}}, doi = {{http://dx.doi.org/10.1016/S1571-0661(04)80617-0}}, volume = {{72}}, year = {{2003}}, } @inproceedings{8381, author = {{Heckel, Reiko and Lohmann, Marc}}, booktitle = {{Proceedings of the workshop on Test and Analysis of Component Based Systems (TACoS 2003, satellite event of the ETAPS 2003), Warsaw (Poland)}}, number = {{6}}, pages = {{33--43}}, publisher = {{Elsevier}}, title = {{{Towards Model-Driven Testing}}}, doi = {{http://dx.doi.org/10.1016/S1571-0661(04)81023-5}}, volume = {{82}}, year = {{2003}}, } @inproceedings{8382, author = {{Küster, Jochen and Stehr, Jan}}, booktitle = {{Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA)}}, title = {{{Towards Explicit Behavioral Consistency Concepts in the UML}}}, year = {{2003}}, }