TY - CONF AU - Domik, Gitta AU - Leberl, Franz ID - 21791 T2 - ASPRS-ACSM TI - Image based SAR product simulation for analysis ER - TY - CONF AB - This paper describes the realization of an execution tool for Modula-2 modules which is part of an integrated tool set in a software development environment termed IPSEN (Incremental Programming Support Environment). In this environment, all software documents, e.g. Modula-2 modules, are manipulated by syntax-directed editors and are represented internally by attributed graphs. The execution of Modula-2 modules is done by two cooperating interpreters. The first one is a graph interpreter which traverses the internal graph from statement to statement. These statements are translated into a low-level, more efficiently executable object code and interpreted by a second interpreter. This concept of a hybrid interpreter allows the realization of an execution tool which offers a lot of runtime support features to the user. AU - Engels, Gregor AU - Schürr, Andy ID - 7816 T2 - Proceedings of the 1st European Software Engineering Conference (ESEC '87), Strasbourg (France) TI - A Hybrid Interpreter in a Software Development Environment VL - 289 ER - TY - CONF AU - Engels, Gregor AU - Nagl, Manfred AU - Schäfer, Wilhelm ID - 7817 IS - 1 T2 - Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA TI - On the Structure of Structure-Oriented Editors for Different Applications VL - 22 ER - TY - CONF AB - Graphs as conceptual data models are accepted and used in a wide range of different problem areas. Giving some examples we outline common aspects for modeling complex structures by graphs. We present a formal frame-work based on graph grammars to specify graph classes and the corresponding graph manipulations. We show that such a specification can be written in a systematic, engineering-like manner. This is achieved by an extension of the known programmed, attributed graph grammars. Node-set operators are introduced to facilitate graph queries. Concepts like abstraction, decomposition, refinement, parameterization, and integration have been adopted from software engineering to yield a comprehensive specification method. This method has successfully been applied to specify the central data structures in a software development environment project AU - Engels, Gregor AU - Lewerentz, Claus AU - Schäfer, Wilhelm ID - 8257 T2 - Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA) TI - Graph Grammar Engineering: A Software Specification Method VL - 291 ER - TY - JOUR AU - Borodin, A. AU - Fich, F. AU - Meyer auf der Heide, Friedhelm AU - Upfal, E. AU - Wigderson, A. ID - 16772 JF - SIAM Journal on Computing SN - 0097-5397 TI - A Time-Space Tradeoff for Element Distinctness ER - TY - JOUR AU - Meyer auf der Heide, Friedhelm AU - Wigderson, Avi ID - 16773 JF - SIAM Journal on Computing SN - 0097-5397 TI - The Complexity of Parallel Sorting ER - TY - CONF AU - Domik, Gitta ID - 16916 IS - Rep. 29 T2 - Proceedings of the First Int'l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar TI - Digital Rectification Method for Radar Images Applied on Huge Arrays ER - TY - CONF AU - Haeb-Umbach, Reinhold AU - Meyr, Heinrich ID - 11795 T2 - Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio TI - Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels ER - TY - CONF AU - Domik, Gitta ID - 15038 T2 - IGARSS'87-International Geoscience and Remote Sensing Symposium TI - Methods and application of surface shape reconstruction from multiple SAR images ER - TY - CONF AU - Leberl, Franz AU - Domik, Gitta AU - Mercer, Bryan J ID - 15050 T2 - 1987 ASPRS ACSM Annual Convention TI - Methods and accuracy of operational digital image mapping with aircraft SAR ER - TY - CHAP AU - Peckhaus, Volker AU - Kötter, Rudolf ID - 17819 T2 - Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987) TI - Interdisziplinäres Institut für Wissenschaftstheorie und Wissenschaftsgeschichte ER - TY - JOUR AU - Schmidt, Claudia AU - Blümich, B. AU - Wefing, S. AU - Kaufmann, S. AU - Spiess, H. W. ID - 35394 IS - 11 JF - Berichte der Bunsengesellschaft für physikalische Chemie KW - General Chemical Engineering SN - 0005-9021 TI - Molecular motions from two-dimensional NMR of powders: Comparison of rotational jumps and diffusive reorientations VL - 91 ER - TY - CHAP AU - Bigga, Regine ID - 27968 T2 - Allgemeinbildung und Arbeit, Technik, Wirtschaft - Innovationen in Curriculum und Schul-Praxis. TI - Anschauliches Lernen im Museum. ER - TY - GEN AU - Grotjahn, Rebecca ED - Danuser, Hermann ED - Kämper, Dietrich ED - Terse , Paul ID - 37872 T2 - Ameri­kanische Musik seit Charles Ives TI - Ruth Crawford Seeger ER - TY - GEN AU - Grotjahn, Rebecca ED - Danuser, Hermann ED - Kämper, Dietrich ED - Terse, Paul ID - 37873 T2 - Ameri­kanische Musik seit Charles Ives TI - Wallingford Riegger ER - TY - GEN AU - Grotjahn, Rebecca ED - Danuser, Hermann ED - Kämper, Dietrich ED - Terse, Paul ID - 37874 T2 - Ameri­kanische Musik seit Charles Ives TI - George Rochberg ER - TY - JOUR AU - Heppke, G. AU - Kitzerow, Heinz-Siegfried AU - Krumrey, M. ID - 40338 IS - 1 JF - Molecular Crystals and Liquid Crystals Incorporating Nonlinear Optics KW - General Medicine SN - 1044-1859 TI - Angular Dependence of Blue Phase Selective Reflection in the Electric Field VL - 150 ER - TY - CHAP AU - Mahnken, Rolf AU - Stein, Erwin AU - Wetjen, Diedrich AU - Heemann, Ulrich ID - 45510 T2 - Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft TI - Theoretische und numerische Aspekte der Berechnung thermo-mechanischer Kriechvorgänge im Steinsalz VL - 39 ER - TY - CHAP AU - Hilgert, Joachim ED - Viertl, R. ID - 51486 T2 - Probability and Baysian Statistics TI - Maximal Semigroups and the Support of Gauss-Semigroups ER - TY - JOUR AU - Hilgert, Joachim ID - 51452 JF - Archiv Math. TI - Maximal Semigroups and Controllability in Products of Lie Groups VL - 49 ER -