@techreport{8199, author = {{Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}}, publisher = {{Vakgroep Informatica, Rijksuniversiteit Leiden}}, title = {{{Object-oriented Specification of Coordinated Collaboration}}}, year = {{1996}}, } @techreport{8200, author = {{Heckel, Reiko and Corradini, Andrea and Ehrig, Hartmut and Löwe, Michael}}, title = {{{Horizontal and Vertical Structuring of Typed Graph Transformation Systems}}}, year = {{1996}}, } @inproceedings{8271, author = {{de Bunje, Tineke and Engels, Gregor and Groenewegen, Luuk and Heus, Michael and Matsinger, Aart}}, booktitle = {{Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)}}, pages = {{183--187}}, publisher = {{Springer}}, title = {{{Towards Measurable Process Models}}}, doi = {{http://dx.doi.org/10.1007/BFb0017743}}, volume = {{1149}}, year = {{1996}}, } @inproceedings{8272, abstract = {{The paper presents a conceptual framework for a module concept for graph transformation systems from a software engineering as well as from a theoretical point of view. The basic idea is to reuse concepts, which are known within or without the graph grammar field, to structure large specifications. These are the concept of distributed graph transformation systems, the concept of inheritance of specifications, and the import-export-interface concept. All these concepts are presented in a uniform framework based on the syntactical notion of a graph class specification and its semantics given by a graph transformation system. This is the basis for an explicit integration of these concepts and a corresponding specification language, to be discussed in a subsequent paper.}}, author = {{Ehrig, Hartmut and Engels, Gregor}}, booktitle = {{Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA)}}, pages = {{137--154}}, publisher = {{Springer}}, title = {{{Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems}}}, volume = {{1073}}, year = {{1996}}, } @inproceedings{8273, author = {{Engels, Gregor and Zamperoni, Andreas}}, booktitle = {{Proceedings of the Workshop on Requirements Engineering in a Changing World (satellite event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece)}}, pages = {{42--44}}, title = {{{Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper)}}}, year = {{1996}}, } @inproceedings{8274, abstract = {{By means of a special sofnvare process model component we have been successful in specifring somare process model evolution, This component also handles much reuse of software process model fragments. To handle the reuse of the software as it is being produced by a software process, another extra component can be added to the model for that software process. It is argued why this extra component is comparable to the special component for evolution.}}, author = {{Groenewegen, Luuk and Engels, Gregor}}, booktitle = {{Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France)}}, pages = {{68}}, publisher = {{IEEE Computer Society}}, title = {{{Reuse of Software Process Fragments is Reuse of Software, too}}}, year = {{1996}}, } @inproceedings{8275, abstract = {{This extended abstract describes a mechanism to automatically incorporate safety requirements into operational specifications written in Z. For every individual operation the global (i.e. operation independent) safety invariants are transformed into a predicate which is used to extend the original precondiction of the operation. The operation constructed this way shows the same beavior as the original one whenever its post state satisfies the invariant. Otherwise it refuses to do anything. The construction of the precondition can be carried out automatically and a corresponding tool development is in progress.}}, author = {{Heckel, Reiko and Conrad, Mirko and Egger, Gottfried and Hiemer, Jörg}}, booktitle = {{Proceedings of the Workshop on Tools for System Development and Verifcation}}, pages = {{70--83}}, publisher = {{Shaker Verlag}}, title = {{{Automatic Integration of Safety Invariants into Z Specifications}}}, volume = {{1}}, year = {{1996}}, } @article{7404, author = {{Habel, Annegret and Heckel, Reiko and Taentzer, Gabriele}}, journal = {{Fundamenta Informaticae}}, number = {{3,4}}, pages = {{287--313}}, title = {{{Graph Grammars with Negative Application Conditions}}}, volume = {{26}}, year = {{1996}}, } @article{7405, author = {{Heckel, Reiko and Corradini, Andrea and Ehrig, Hartmut and Löwe, Michael}}, journal = {{Mathematical Structures in Computer Science}}, number = {{6}}, pages = {{613--648}}, title = {{{Horizontal and Vertical Structuring of Typed Graph Transformation Systems}}}, volume = {{6}}, year = {{1996}}, } @article{7406, abstract = {{We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to usebothgraphical and textual elements in the formulation of one and the same query. We demonstrate the look-and-feel of this query language by means of examples, and show how syntax and semantics of this language are formally defined using programmed graph rewriting systems. Although we present the language in the context of the EER model, the concept of hybrid languages is applicable in the context of other database models as well. We illustrate this claim by discussing a prototype implementation of a Hybrid Query Tool based on an object-oriented approach, namely the Object Modeling Technique (OMT).}}, author = {{Andries, Marc and Engels, Gregor}}, journal = {{Journal of Visual Languages and Computing}}, number = {{3}}, pages = {{321--352}}, title = {{{A Hybrid Query Language for the Extended Entity Relationship Model}}}, doi = {{http://dx.doi.org/10.1006/jvlc.1996.0017}}, volume = {{7}}, year = {{1996}}, } @inbook{7514, author = {{Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm and Westfechtel, Bernhard}}, booktitle = {{Building Tightly Integrated Software Development Environments: The IPSEN Approach}}, pages = {{170--177}}, publisher = {{Springer}}, title = {{{Tight Integration on One Document: The Programming Environment}}}, volume = {{1170}}, year = {{1996}}, } @inproceedings{880, author = {{Dreier, Bernd and Huber, Annja and Karl, Holger and Ungerer, Theo and Zahn, Markus}}, booktitle = {{Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS '96, Aachen, Germany, October 1-2, 1996, Proceedings}}, pages = {{84----93}}, title = {{{ReGTime - Rent Gigaflops someTimes}}}, doi = {{10.1007/3-540-61842-2_28}}, year = {{1996}}, } @article{16698, author = {{Ameur, Foued and Fischer, Paul and Höffgen, Klaus -U. and Meyer auf der Heide, Friedhelm}}, issn = {{0001-5903}}, journal = {{Acta Informatica}}, pages = {{621--630}}, title = {{{Trial and error. A new approach to space-bounded learning}}}, doi = {{10.1007/bf03036467}}, year = {{1996}}, } @article{16699, author = {{Meyer auf der Heide, Friedhelm and Oesterdiekhoff, Brigitte and Wanka, Rolf}}, issn = {{0178-4617}}, journal = {{Algorithmica}}, pages = {{413--427}}, title = {{{Strongly adaptive token distribution}}}, doi = {{10.1007/bf01955042}}, year = {{1996}}, } @article{16700, author = {{Karp, R. M. and Luby, M. and Meyer auf der Heide, Friedhelm}}, issn = {{0178-4617}}, journal = {{Algorithmica}}, pages = {{517--542}}, title = {{{Efficient PRAM simulation on a distributed memory machine}}}, doi = {{10.1007/bf01940878}}, year = {{1996}}, } @article{16701, author = {{Gil, Joseph and Meyer auf der Heide, Friedhelm and Wigderson, Avi}}, issn = {{0097-5397}}, journal = {{SIAM Journal on Computing}}, pages = {{936--955}}, title = {{{The Tree Model for Hashing: Lower and Upper Bounds}}}, doi = {{10.1137/s0097539793255722}}, year = {{1996}}, } @book{16702, editor = {{Meyer auf der Heide, Friedhelm and Monien, Burkhard}}, isbn = {{9783540614401}}, issn = {{0302-9743}}, title = {{{Automata, Languages and Programming, 23rd International Colloquium, ICALP96}}}, doi = {{10.1007/3-540-61440-0}}, year = {{1996}}, } @inbook{16703, author = {{Berenbrink, Petra and Meyer auf der Heide, Friedhelm and Stemann, Volker}}, booktitle = {{STACS 96}}, isbn = {{9783540609223}}, issn = {{0302-9743}}, title = {{{Fault-tolerant shared memory simulations}}}, doi = {{10.1007/3-540-60922-9_16}}, year = {{1996}}, } @inproceedings{16816, author = {{Domik, Gitta}}, booktitle = {{{SOFSEM} '96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings}}, editor = {{G. Jeffery, Keith and Kr{\'{a}}l, Jaroslav and Bartosek, Miroslav}}, pages = {{178--196}}, publisher = {{Springer}}, title = {{{Computer Visualization - Concepts, Trends and Current Research}}}, doi = {{10.1007/BFb0037404}}, volume = {{1175}}, year = {{1996}}, } @inproceedings{16895, author = {{Gutkauf, B. and Domik, Gitta}}, booktitle = {{Proceedings 4. GI Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen}}, title = {{{Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme}}}, year = {{1996}}, }