@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}},
}

@article{7371,
  abstract     = {{Sollen wir UML 1.4, UML 2.0 oder eine ganz andere Modellierungssprache für unsere Softwareentwicklung einsetzen? Der folgende Beitrag zeigt, dass bei der Festlegung einer unternehmensweiten Entwicklungsmethode nicht die Frage nach der Modellierungssprache im Vordergrund stehen sollte. Viel entscheidender für den Erfolg von Softwareentwicklungsprojekten in einem Unternehmen ist ein einheitliches Verständnis der Entwicklungskonzepte und -artefakte sowie ihrer Beziehungen untereinander. Eine Einigung über ein unternehmensweites Domänenmodell der Softwareentwicklungskonzepte sollte deshalb vor der Auswahl von Modellierungssprachen, eines konkreten Vorgehensmodells und geeigneter Werkzeuge erfolgen.}},
  author       = {{Engels, Gregor and Sauer, Stefan and Soltenborn, Christian}},
  journal      = {{Informatik-Spektrum}},
  number       = {{5}},
  pages        = {{451--459}},
  title        = {{{Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode}}},
  volume       = {{31}},
  year         = {{2008}},
}

@article{7372,
  abstract     = {{Wir haben in diesem Beitrag einen Ansatz zur Formalisierung der UML-Anwendungsfallsbeschreibungen vorgestellt, um Anwendungsfälle effektiv für Testzwecke einsetzen zu können. Dabei werden die textuellen Beschreibungen der Vor- und Nachbedingungen mit visuellen Kontrakten formalisiert. Die visuellen Kontrakte beschreiben die Änderungen bezüglich der fachlichen Daten nach der Ausführung des Anwendungsfalls. Mit visuellen Kontrakten können während der Testfallspezifikation Testeingaben generiert und während der Testausführung Testausgaben überprüft werden. Für visuelle Kontrakte wurden Werkzeuge entwickelt, die die Einbindung der visuellen Kontrakte in den Entwicklungs- und Testprozess ermöglichen.}},
  author       = {{Güldali, Baris and Sauer, Stefan and Engels, Gregor}},
  journal      = {{Softwaretechnik-Trends}},
  number       = {{3}},
  pages        = {{12--16}},
  title        = {{{Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen}}},
  volume       = {{28}},
  year         = {{2008}},
}

@inbook{7553,
  author       = {{Christ, Fabian and Sauer, Stefan}},
  booktitle    = {{Open Source: Kommerzialisierungsmöglichkeiten und Chancen für die Zusammenarbeit von Hochschulen und Unternehmen}},
  editor       = {{Asche, W. Bauhus, B. Kaddatz and B. Seel, M.}},
  pages        = {{133--154}},
  publisher    = {{Waxmann Verlag}},
  title        = {{{Open Source Stacks}}},
  volume       = {{3}},
  year         = {{2008}},
}

@proceedings{7779,
  editor       = {{Pleuß, Andreas and Van den Bergh, Jan and Hußmann, Heinrich and Sauer, Stefan and Görlich, Daniel}},
  publisher    = {{University of Aachen}},
  title        = {{{Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI '07), Nashville, Tennessee (USA)}}},
  volume       = {{297}},
  year         = {{2007}},
}

@inproceedings{7961,
  author       = {{Pleuß, Andreas and Van den Bergh, Jan and Sauer, Stefan and Hußmann, Heinrich and Bödcher, Alexander}},
  booktitle    = {{MoDELS 2006 Workshops}},
  pages        = {{101--105}},
  publisher    = {{Springer}},
  title        = {{{Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report}}},
  doi          = {{http://dx.doi.org/10.1007/978-3-540-69489-2_13}},
  volume       = {{4364}},
  year         = {{2007}},
}

@inproceedings{7962,
  abstract     = {{GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assembling of the user interface components. We have developed the tool GuiBuilder which follows a model-driven approach to the development of graphical (multimedia) user interfaces. This allows a meta-design approach where user interface developers as well as prospective users of the system are supported in modelling the desired functionality of the GUI on a high level of abstraction that is easy to understand for all involved stakeholders. The model consists of compositional presentation diagrams to model the structure of the user interface and hierarchical statechart diagrams to model its behaviour. GuiBuilder then supports the transformation of the model to Java, i.e., the generation of a working user interface and the simulation of the modelled behaviour. Interactive sessions with the user interface can be recorded and replayed.}},
  author       = {{Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)}},
  pages        = {{537--546}},
  publisher    = {{Springer}},
  title        = {{{Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder}}},
  doi          = {{http://dx.doi.org/10.1007/978-3-540-73279-2_60}},
  volume       = {{4554}},
  year         = {{2007}},
}

@article{7375,
  author       = {{Bals, Jan-Christopher and Christ, Fabian and Engels, Gregor and Sauer, Stefan}},
  journal      = {{Forschungsforum Paderborn}},
  pages        = {{56--60}},
  title        = {{{Software-Qualität - überall! - Excel-lente Software}}},
  volume       = {{10}},
  year         = {{2007}},
}

@proceedings{7780,
  editor       = {{Pleuß, Andreas and Van den Bergh, Jan and Hußmann, Heinrich and Sauer, Stefan and Bödcher, Alexander}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2006 conference}}},
  volume       = {{214}},
  year         = {{2006}},
}

@inproceedings{7950,
  author       = {{Pleuß, Andreas and Van den Bergh, Jan and Sauer, Stefan and Hußmann, Heinrich}},
  booktitle    = {{Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)}},
  pages        = {{182--190}},
  publisher    = {{Springer}},
  title        = {{{Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)}}},
  doi          = {{dx.doi.org/10.1007/11663430_19}},
  volume       = {{3844}},
  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{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}},
}

@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}},
}

@inproceedings{8406,
  author       = {{Engels, Gregor and Gehrke, Matthias and Sauer, Stefan}},
  booktitle    = {{Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF, satellite event of the Informatik 2006 - Informatik für Menschen)}},
  pages        = {{281--287}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie}}},
  volume       = {{93}},
  year         = {{2006}},
}

@inproceedings{8411,
  author       = {{Sauer, Stefan and Dürksen, Marcus and Gebel, Alexander and Hannwacker, Dennis}},
  booktitle    = {{Proceedings of the workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2006), Genova (Italy)}},
  publisher    = {{CEUR Workshop Proceedings}},
  title        = {{{GuiBuilder - A Tool for Model-Driven Development of Multimedia User Interfaces}}},
  volume       = {{214}},
  year         = {{2006}},
}

@proceedings{7781,
  editor       = {{Sauer, Stefan}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference}}},
  volume       = {{159}},
  year         = {{2005}},
}

@inproceedings{7939,
  author       = {{Lohmann, Marc and Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005)}},
  pages        = {{63--70}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Executable Visual Contracts}}},
  doi          = {{http://dx.doi.org/10.1109/VLHCC.2005.35}},
  year         = {{2005}},
}

@techreport{8214,
  author       = {{Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc and Sauer, Stefan}},
  publisher    = {{Fakultät für Elektrotechnik,Informatik und Mathematik, Universität Paderborn}},
  title        = {{{Teaching UML is Teaching Software Engineering is Teaching Abstraction}}},
  doi          = {{http://dx.doi.org/10.1007/11663430_32}},
  year         = {{2005}},
}

@inproceedings{8397,
  abstract     = {{Die Vision von Web Services ist, dass ein Service Requestor einen Ser-vice Provider dynamisch finden und binden kann. Für das Finden eines Web Ser-vices müssen die Anforderungen eines Requestors und die Beschreibung eines Services miteinander verglichen werden. Syntaktische Beschreibungen reichen hierfür nicht aus. Eine Möglichkeit zur semantischen Beschreibung von Web Ser-vices basiert auf der Technik Design by Contract. In diesem Papier führen wir eine UML-basierte Notation für Kontrakte sowie ein Matching-Konzept ein. Damit wird eine automatisierte, semantische Suche nach Web Services möglich.}},
  author       = {{Engels, Gregor and Lohmann, Marc and Sauer, Stefan}},
  booktitle    = {{Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business & IT, Bonn (Germany)}},
  pages        = {{612--616}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Design by Contract zur semantischen Beschreibung von Web Services}}},
  volume       = {{68}},
  year         = {{2005}},
}