@inproceedings{39543, author = {{Zhao, R. and Müller, Wolfgang and Kaufmann, H. J. and Kern, Th. and Buijs, F.}}, booktitle = {{Proceedings of the 5th EXPRESS User's Group}}, title = {{{An Editor for the Rapid Prototyping of EXPRESS-G Models}}}, year = {{1995}}, } @inproceedings{39550, author = {{Müller, Wolfgang and Felser, W. and Wiechers, N.}}, title = {{{The Process Modeling Language EXPRESS-P}}}, year = {{1995}}, } @phdthesis{19624, author = {{Wanka, Rolf}}, title = {{{Paralleles Sortieren auf mehrdimensionalen Gittern}}}, year = {{1994}}, } @inproceedings{3263, author = {{Rensink, Arend and Wehrheim, Heike}}, booktitle = {{{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}}, editor = {{Jonsson, Bengt and Parrow, Joachim}}, pages = {{226----241}}, title = {{{Weak Sequential Composition in Process Algebras}}}, doi = {{10.1007/978-3-540-48654-1_20}}, year = {{1994}}, } @inproceedings{3264, author = {{Wehrheim, Heike}}, booktitle = {{Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June, 1994}}, editor = {{Olderog, Ernst{-}R{\"{u}}diger}}, pages = {{247----266}}, title = {{{Parametric Action Refinement}}}, year = {{1994}}, } @proceedings{7797, abstract = {{During the last decades there has been progress within the object-oriented community in agreeing on what object- orientedness means. The role of object identity, specialization, inheritance, and dynamic binding have been examined. However, a careful look at articles written by people with a theory, programming language, database, and software engineering background shows that the semantical understanding of the same features still differs considerably. A well-known example is the feature of inheritance, which has quite a different meaning for persons from the database comunity with a semantic data model background and persons form the programming language community with a compiling technique background This observation also applies to the literaute on object-oriented software development methods. Here, object -oriented analysis and design methods are often heavily influenced by semantic data modelling consepts- An implemantion of an object-orinted design by an objeckt-oriented progamming language usually causes more difficulties than expected although the "same" object-oriente paradigm is used...}}, editor = {{Ehrich, Hans-Dietrich and Engels, Gregor and Paredaens, J. and Wegner, Jan}}, publisher = {{Schloss Dagstuhl, Leibniz Center for Informatics}}, title = {{{Fundamentals of Object-Oriented Languages, Systems, and Methods}}}, volume = {{95}}, year = {{1994}}, } @proceedings{7798, editor = {{Cuny, Janice and Ehrig, Hartmut and Engels, Gregor and Rozenberg, Grzegorz}}, publisher = {{Springer}}, title = {{{Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers}}}, doi = {{http://dx.doi.org/10.1007/3-540-61228-9}}, volume = {{1073}}, year = {{1994}}, } @inproceedings{7827, abstract = {{Die Pilotphase 1993/ 94 zum Aufbau eines Niedersächsischen Krebsregister untersucht das im Entwurf des Bundeskrebsregistergesetzes vorgesehen Modell für ein bevölkerungsbezogenes Krebsregister. Darin werden die Krebsmeldungen in einer Vertrauensstelle erfaßt und die personenidentifizierenden Daten vor der Übermittlung an die Registerstelle anonymisiert, wo sie dann zu einem bevölkerungsbezogenen Krebsregister verdichtet und epidemiologischer Forschung zur Verfügung gestellt werden ([1], [2], [3]). Dieses sogenannte „Michaelis“-Modell erlaubt eine bevölkerungsbezogene Registrierung von Krebsfällen unter Berücksichtigung datenschutzrechtlicher Aspekte („Informationelles Selbstbestimmungsrecht“) der einzelnen Betroffenen. In vier Teilprojekten werden dabei in der Modellregion Weser-Ems die Integration krebsregistrierender Einrichtungen, die Chiffrierung/ Dechiffrierung von Krebsmeldungen, der Abgleich anonymisierter Meldungen in der Registerstelle und die Entwicklung eines epidemiologischen Informationssystem betrachtet ([4], [5]).}}, author = {{Thoben, Wilfried and Appelrath, Hans-Jürgen and Rettig, Jens and Sauer, Stefan}}, booktitle = {{Proceedings of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS 1994), Dresden (Germany)}}, pages = {{88--90}}, publisher = {{MMV Medizin Verlag}}, title = {{{Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister}}}, year = {{1994}}, } @inproceedings{7828, abstract = {{Object-oriented specification languages provide means to specify the static structure, as well as the allowed dynamic behaviour of objects. Here, the dynamic behaviour is usually described by giving the methods and a state transition diagram which defines the allowed sequences of methods on objects of a certain class. Specialized classes are defined using the inheritance relationship. In order to enable reusability while guaranteeing type substitutability, subclass specifications have to be compatible with respect to static and dynamic aspects with their corresponding superclass specifications. Classes have to provide a large shopping list of operations to satisfy the needs of all possible users. The interests of specific users are often restricted to a subset of operations and thus to a restricted behaviour. This paper describes a formalization of class descriptions given by attributes, operations, as well as state transition diagrams. It defines compatibility between sub- and superclasses and introduces the notion of views in the sense of hiding parts of a class description. It turns out that a view has the same properties as a (virtual) superclass.}}, author = {{Ebert, Jürgen and Engels, Gregor}}, booktitle = {{Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy)}}, pages = {{142--157}}, publisher = {{Springer}}, title = {{{Structural and Behavioural Views on OMT-Classes}}}, volume = {{858}}, year = {{1994}}, } @inproceedings{7829, abstract = {{Object-oriented system development is wideley recognized as improving productivity and reducing system maintenance costs. However, existing approaches have not sufficiently addressed the following three questions which are equally important to users and researchers. Firstly, what are the benefits of object-oriented system development compared to traditional approaches? Secondly, what are the essential features of an objectoriented life cycle model to fulfill the benefits of object-oriented development? And thirdly, what are the pitfalls of object-oriented development and how to cope with them? The paper investigates answers to all three questions in concert.}}, author = {{Engels, Gregor and Kappel, Gerti}}, booktitle = {{Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany)}}, pages = {{434--441}}, publisher = {{Elsevier}}, title = {{{Object-Oriented System Development: Will the New Approach Solve Old Problems?}}}, volume = {{3}}, year = {{1994}}, } @inproceedings{7830, author = {{Engels, Gregor and Ehrig, Hartmut}}, booktitle = {{Proceedings Colloquium on Graph Transformation and its Application in Computer Science}}, publisher = {{Universitat de les Illes Balears, Departament de Ci}}, title = {{{Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective}}}, volume = {{B-19}}, year = {{1994}}, } @techreport{8193, author = {{Ebert, Jürgen and Engels, Gregor}}, publisher = {{Vakgroep Informatica, Rijksuniversiteit Leiden}}, title = {{{Observable or Invocable Behaviour - You Have to Choose}}}, year = {{1994}}, } @inproceedings{8263, 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 freely mix graphical and textual formulation of a query. We show how syntax and semantics of this hybrid language are formally defined by means of a slightly extended version of PROGRES, a specification formalism based on programmed and attributed graph rewriting systems.}}, author = {{Andries, Marc and Engels, Gregor}}, booktitle = {{Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany)}}, pages = {{19--36}}, publisher = {{Springer}}, title = {{{Syntax and Semantics of Hybrid Database Languages}}}, doi = {{http://dx.doi.org/10.1007/3-540-57787-4_2}}, volume = {{776}}, year = {{1994}}, } @inproceedings{8264, author = {{Engels, Gregor and Groenewegen, Luuk}}, booktitle = {{Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France)}}, pages = {{128--151}}, publisher = {{Springer}}, title = {{{Specification of coordinated behaviour by SOCCA}}}, doi = {{http://dx.doi.org/10.1007/3-540-57739-4_19}}, year = {{1994}}, } @inproceedings{8265, abstract = {{The paper presents an approach to specify in an integrated way by visual, diagrammatic languages the structural and behavioural aspects of database applications. Hereby, well-known extended Entity-Relationship diagrams are employed to specify the structural aspects. The behavioural aspects of a database application are specified by using ViAL (Visual Action Language). ViAL specifications are a special kind of data (or better object) flow diagrams, where so-called elementary actions are used as basic building blocks. These elementary actions are automatically derived from a given EER diagram. They guarantee that after finishing their execution all inherent integrity constraints are fulfilled. The paper explains the features of the language ViAL and gives some illustrating examples.}}, author = {{Engels, Gregor and Löhr, Perdita}}, booktitle = {{Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany)}}, pages = {{303--314}}, publisher = {{Springer}}, title = {{{Visual Specification of Complex Database Actions}}}, year = {{1994}}, } @article{7407, author = {{Löhr-Richter, Perdita and Engels, Gregor}}, journal = {{GI-Datenbank Rundbrief}}, pages = {{33--35}}, title = {{{Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen}}}, volume = {{13}}, year = {{1994}}, } @inbook{7512, abstract = {{This article gives an overview on how to represent the outcome of the software design phase in design documents. The descriptive aspects of the design description languages are stressed. The focus is on sequential systems and the description is arranged according to the main paradigms that are used in indentifying software components. Following a general discussion on how to represent software architectures of large systems, each design paradigm is discussend separately with its basic concepts, its historical background and its main variants. Some multiparadigmatic approaches are discussed, as well which integrate several of the aspects introduced before.}}, author = {{Ebert, Jürgen and Engels, Gregor}}, booktitle = {{Encyclopedia of Software Engineering}}, pages = {{382--394}}, publisher = {{John Wiley & Sons, Inc.}}, title = {{{Design Representation}}}, year = {{1994}}, } @inbook{7513, author = {{Engels, Gregor and Groenewegen, Luuk}}, booktitle = {{Software Process Modelling and Technology}}, pages = {{71--102}}, publisher = {{Research Studies Press}}, title = {{{SOCCA: Specifications of Coordinated and Cooperative Activities}}}, year = {{1994}}, } @article{16728, author = {{Dietzfelbinger, Martin and Karlin, Anna and Mehlhorn, Kurt and Meyer auf der Heide, Friedhelm and Rohnert, Hans and Tarjan, Robert E.}}, issn = {{0097-5397}}, journal = {{SIAM Journal on Computing}}, pages = {{738--761}}, title = {{{Dynamic Perfect Hashing: Upper and Lower Bounds}}}, doi = {{10.1137/s0097539791194094}}, year = {{1994}}, } @article{16817, author = {{Domik, Gitta}}, journal = {{Comput. Graph.}}, number = {{3}}, pages = {{277--280}}, title = {{{Visualization education}}}, doi = {{10.1016/0097-8493(94)90026-4}}, volume = {{18}}, year = {{1994}}, }