Browse

ftp://ftp.fernuni-hagen.de (142)

	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri7/WCAM2.ps, 19940721 Teil II - Die vier Verarbeitungsstufen Hermann Helbig FernUniversit at Hagen Praktische Informatik VII/K unstliche Intelligenz 58084 Hagen e-mail: hermann.helbig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri7/WCAM1.ps, 19940721 Teil I - Uberblick uber das Gesamtsystem Hermann Helbig und Andreas Mertens FernUniversit at Hagen Praktische Informatik VII/K unstliche Intelligenz 58084 Hagen e-mail: hermann.helbig@fernuni-hagen.de andreas.mertens@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri7/LEXI.ps, 19940722 Die Rolle des Lexikons bei der Disambiguierung Hermann Helbig, Andreas Mertens, Marion Schulz FernUniversit at Hagen { LG Praktische Informatik VII/KI { 58084 Hagen e-mail: Hermann.Helbig@FernUni-Hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri8/papers/TypedWAM_JLP94.ps.gz, 19941004 Run-time type computations in the Warren Abstract Machine Christoph Beierle and Gregor Meyer IBM Germany, Scientific Center Institute for Knowledge Based Systems P.O. Box 10 30 68 D-6900 Heidelberg, Germany e-mail: beierle@vnet.ibm.com, gmeyer@dhdibm1.bitnet April 1992; revised April 27, 1993
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri8/papers/WamX_IFIP94.ps.gz, 19941004 1 Formal Design of an Abstract Machine for Constraint Logic Programming Christoph Beierlea aFachbereich Informatik, Fernuniversit at Hagen, D-58084 Hagen, Germany e-mail: Christoph.Beierle@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri7/ib158.ps, 19950112 Teil I - Uberblick uber das Gesamtsystem Hermann Helbig und Andreas Mertens FernUniversit at Hagen Praktische Informatik VII/K unstliche Intelligenz 58084 Hagen e-mail: hermann.helbig@fernuni-hagen.de andreas.mertens@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri7/ib159.ps, 19950112 Teil II - Die vier Verarbeitungsstufen Hermann Helbig FernUniversit at Hagen Praktische Informatik VII/K unstliche Intelligenz 58084 Hagen e-mail: hermann.helbig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri7/ib169.ps, 19950117 1 Hermann Helbig and Andreas Mertens FernUniversit at Hagen Praktische Informatik VII/Artificial Intelligence D{58084 Hagen Germany E{mail: hermann.helbig@fernuni{hagen.de andreas.mertens@fernuni{hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri7/ib168.ps, 19950117 1 Hermann Helbig, Andreas Mertens, Marion Schulz FernUniversit at Hagen Praktische Informatik VII/Artificial Intelligence D{58084 Hagen, Germany E{mail: hermann.helbig@fernuni{hagen.de andreas.mertens@fernuni{hagen.de marion.schulz@fernuni{hagen.de Phone/Fax: +49 2331 987 374/5 Zusammenfassung Nat
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri7/ib162.ps, 19950117 Hermann Helbig and Claus Herold and Marion Schulz FernUniversit at Hagen LG Praktische Informatik VII/K unstliche Intelligenz 58084 Hagen e{mail: hermann.helbig@fernuni-hagen.de claus.herold@fernuni-hagen.de marion.schulz@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri8/papers/protosl.ps.gz, 19950120 Report of the Logic Programming Language PROTOS-L (revised version) Christoph Beierle1, Stefan B ottcher2, Gregor Meyer1 1 FernUniversit at Hagen, Fachbereich Informatik D-58084 Hagen, Germany e-mail: fChristoph.Beierle, Gregor.Meyerg@fernuni-hagen.de 2 Fachhochschule Ulm June 19, 1991; revised July
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri6/SOPRA_95_96/Linuxhandbuch-v3.ps.gz, 19951013 LinuX Anwenderhandbuch und Leitfaden f ur die Systemverwaltung 3. erweiterte und aktualisierte Auflage Hetze, Sebastian; Hohndel, Dirk; M uller, Martin; Kirch Olaf u.a.: LinuX Anwenderhandbuch und Leitfaden f ur die Systemverwaltung 3. erweiterte und aktualisierte Auflage LunetIX Softfair 1993 1994 ISBN
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/XGraphsInSpatialDB_REPORT.ps.gz, 19951027 Explicit Graphs in a Functional Model for Spatial Databases FernUniversit t Hagen, Praktische Informatik IV, 58084 Hagen, Germany
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/OOLambdaCalc.ps.gz, 19951027 Extending Lambda-Calculus by Classes and Objects Martin Erwig FernUniversit at Hagen, Praktische Informatik IV 58084 Hagen, Germany Email: erwig@fernuni-hagen.de Phone: +49 2331 25496 Fax: +49 2331 31794
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/MultiLevelAlgebra_AMAST93.ps.gz, 19951027 Specifying Type Systems with Multi-Level Order-Sorted Algebray Martin Erwig FernUniversit at Hagen, Praktische Informatik IV 58084 Hagen, Germany erwig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/HeteroVisualPL_VL95.ps.gz, 19951027
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri8/k1816ftp.ps, 19951103 Bezug der PD-Software zum Kurs 1816 am FTP-Server in Hagen (28. Januar 1994) Wenn Sie einen elektronischen Zugang nach Hagen haben, k onnen Sie die PD-Software zum Kurs 1816 auch vom Hagener FTP-Server1 kopieren. Dazu gehen Sie nach folgendem Schema vor: 1. "Pfad-Findung Haben Sie Zugang zu einem
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/winter/ClientServerUSLetter.ps, 19951110 Client-Server 10. November 1995 2 Participants Client - Knows the whole job and the necessary server. - Speaks the language of each server. Server - Knows how to do a particular job. - Understands only his own slang. Collaborations Client calls operation(s) of the server instances. Server carry out the
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri8/papers/BeierleBoerger96FAC.ps.gz, 19951113 Specification and correctness proof of a WAM extension for type-constraint logic programming Christoph Beierle Egon B orger Fachbereich Informatik Dipartimento di Informatica FernUniversit at Hagen Universit a di Pisa Bahnhofstr. 48 Corso
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri8/papers/Beierle95ICLP.ps.gz, 19951113 Type inferencing for polymorphic order-sorted logic programs Christoph Beierle FernUniversit at Hagen Fachbereich Informatik Bahnhofstr. 48 D-58084 Hagen,
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/XGraphsInSpatialDB_TKDE94.ps.gz, 19951115 Explicit Graphs in a Functional Model for Spatial Databases FernUniversit t Hagen, Praktische Informatik IV, 58084 Hagen, Germany
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/ROSESystem.ps.gz, 19951115 Implementation of the ROSE Algebra: Efficient Algorithms for Realm-Based Spatial Data Types
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/IntroSpatialDBMS.letter.ps.gz, 19951115 An Introduction to Spatial Database Systems Ralf Hartmut G ting Praktische Informatik IV, FernUniversit t Hagen D-58084 Hagen, Germany gueting@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/PDSystem1.ps.gz, 19951115 Integrating Programs and Documentation Ralf Hartmut G ting Praktische Informatik IV, FernUniversit t Hagen D-58084 Hagen, Germany gueting@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/GeoAlgebra.ps.gz, 19951115 1 In: J.W. Schmidt, S. Ceri, and M. Missikoff (Eds.), Advances in Database Technology - EDBT '88. Proc. of the Intl. Conf. on Extending Database Technology, Venice, March 1988, 506-527. Geo-Relational Algebra: A Model and Query Language for Geometric Database Systems Ralf Hartmut G ting Fachbereich
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/IntroSpatialDBMS.ps.gz, 19951115 An Introduction to Spatial Database Systems Ralf Hartmut G ting Praktische Informatik IV, FernUniversit t Hagen D-58084 Hagen, Germany gueting@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/GraphDBshort.ps.gz, 19951115 GraphDB: Modeling and Querying Graphs in Databases Ralf Hartmut G ting Praktische Informatik IV, FernUniversit t Hagen D-58084 Hagen, Germany gueting@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/PDSystem2.ps.gz, 19951115 The PD System: Integrating Programs and Documentation Ralf Hartmut G uting May 1995 1 Overview The purpose of PDSystem is to allow a programmer to write ASCII program files with embedded documentation (PD stands for Programs with Documentation). Such files are called PD files . Essentially a PD file
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/Realms.ps.gz, 19951115 Realms: A Foundation for Spatial Data Types in Database Systems1 Ralf Hartmut G ting Markus Schneider Praktische Informatik IV, FernUniversit t Hagen Postfach 940, D-5800 Hagen, Germany gueting@fernuni-hagen.de, schneide@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/SecondOrderSignature.ps.gz, 19951115 Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization Ralf Hartmut G ting Praktische Informatik IV, FernUniversit t Hagen Postfach 940, D-5800 Hagen, Germany gueting@fernuni-hagen.de and Institut f r Informationssysteme Departement Informatik, ETH Z rich,
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/Gral.ps.gz, 19951115 Gral: An Extensible Relational Database System for Geometric Applications Ralf Hartmut G ting Fachbereich Informatik, Universit t Dortmund D-4600 Dortmund 50, West Germany
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/GraphDBlong.ps.gz, 19951115 GraphDB: A Data Model and Query Language for Graphs in Databases Ralf Hartmut G ting Praktische Informatik IV, FernUniversit t Hagen D-58084 Hagen, Germany gueting@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/ROSEAlgebra.ps.gz, 19951115 Realm-Based Spatial Data Types: The ROSE Algebra1 Ralf Hartmut G ting Markus Schneider Praktische Informatik IV, FernUniversit t Hagen Postfach 940, D-5800 Hagen, Germany gueting@fernuni-hagen.de, schneide@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/GraphDBAlgebra.ps.gz, 19951115 The GraphDB Algebra: Specification of Advanced Data Models with Second-Order Signature
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/00_erwig-abstracts.ps.gz, 19951220 List of Publications Martin Erwig December 20, 1995 Papers available electronically can be obtained by anonymous ftp from ftp.fernuni-hagen.de in the directory /pub/fachb/inf/pri4/papers. References Heterogeneous Visual Languages Integrating Visual and Textual Programming. M. Erwig and B. Meyer.
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/Vorankuendigung.ps, 19960111 Liebe Studenten und Studentinnen! Wir begr ussen Sie herzlich zum Kurs Graphische Datenverarbeitung II. An dieser Stelle werden Sie demn achst die L osungen der Einsendeaufgaben finden. Um Sie etwas neugierig auf den Kurs zu machen, k onnen Sie sich jetzt schon einmal das Inhaltsverzeichnis des Kurses
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/InhaltKE1.ps, 19960111 Inhaltsverzeichnis Graphische Datenverarbeitung II Inhaltsverzeichnis zur Kurseinheit 1 1 K orper 1 1.1 Repr asentationsschemata : : : : : : : : : : : : : : : : : : : : : : : 1 1.1.1 Modellbildung : : : : : : : : : : : : : : : : : : : : : : : : : : 1 1.1.2 Kriterien zur Beurteilung von Repr
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri8/otterDOS/ot-chapt.ps, 19960221 Chapter 2 Otter and MACE Otter is a program that searches for proofs, and MACE is a program that searches for small finite counterexamples. Both apply to statements in first-order logic with equality. Otter is more powerful and flexible at its task than MACE is at its task (consequently, Otter
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/PODS95.ps.gz, 19960226 Window Query-Optimal Clustering of Spatial Objects Bernd-Uwe Pagel Department of Computer Science University of Hagen bernd-uwe.pagel@fernuni-hagen.de Hans-Werner Six Department of Computer Science University of Hagen hw.six@fernuni-hagen.de Mario Winter Department of Computer Science University of
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/GIS-ICRE96.ps.gz, 19960226 GeoOOA: Object-Oriented Analysis for Geographic Information Systems Georg K osters, Bernd-Uwe Pagel, Hans-Werner Six University of Hagen Department of Computer Science D-58084 Hagen, Germany E-mail: fgeorg.koesters,bernd-uwe.pagel,hw.sixg@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/IGIS94.ps.gz, 19960226 Optimizing Spatial Data Structures For Static Data Lukas Bachmann, Bernd-Uwe Pagel, Hans-Werner Six University of Hagen
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/UI-ICRE96.ps.gz, 19960226
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/ACM-GIS95.ps.gz, 19960226 Object-Oriented Requirements Engineering for GIS-Applications Georg K osters Department of Computer Science University of Hagen georg.koesters@fernuni-hagen.de Bernd-Uwe Pagel Department of Computer Science University of Hagen bernd-uwe.pagel@fernuni-hagen.de Hans-Werner Six Department of Computer
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/PODS96.ps.gz, 19960226 Are Window Queries Representative For Arbitrary Range Queries Bernd-Uwe Pagel Department of Computer Science University of Hagen bernd-uwe.pagel@fernuni-hagen.de Hans-Werner Six Department of Computer Science University of Hagen hw.six@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/Graz.ps.gz, 19960228 1 User Interface Development: Problems and Experiences* H.-W. Six and J. Voss Praktische Informatik III FernUniversit t Hagen P.O. Box 940, W - 5800 Hagen, Germany
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/Compsac92.ps.gz, 19960228
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/SoftErgo91.ps.gz, 19960228 Die Integration von Dialogablauf-Beschreibungen in eine objektorientierte User-Interface-Architektur Josef Voss FernUniversit t Hagen Praktische Informatik III Postfach 940 D- 5800 Hagen 1 Einleitung Die Realisierung anspruchsvoller graphischer Benutzeroberfl chen hat sich als komplexer und damit
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/SoftErgo95.ps.gz, 19960228 November 18, 1994 12:02 pm 1 Ein Vorgehensmodell zur integrierten Anforderungsanalyse von Benutzungsschnittstelle und Anwendung Georg K sters, Josef Voss FernUniversit t Hagen Zusammenfassung Wir stellen in diesem Artikel ein Vorgehensmodell f r die fr hen Phasen der Softwareentwicklung vor, das in
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/EHCI95.ps.gz, 19960228 The integration of a layout constraint language with an object-oriented user interface management system K. Korfmacher, H.-W. Six and J. Voss Praktische Informatik III, FernUniversit t Hagen D-58084 Hagen, Germany klaus.korfmacher@henkel.dbp.de {hw.six, josef.voss}@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/GraphAlg=Iter+DS_WG92.ps.gz, 19960327 Graph Algorithms = Iteration + Data Structures The Structure of Graph Algorithms and a Corresponding Style of Programmingy Martin Erwig FernUniversit at Hagen, Praktische Informatik IV 58084 Hagen, Germany erwig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/reports/TR-1-96.ps.gz, 19960328 GeoOOA: Object-Oriented Analysis for GIS-Applications Georg K osters, Bernd-Uwe Pagel, Hans-Werner Six University of Hagen
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1585/gpm/guide.ps.gz, 19960402 GARDENS POINT MODULA Users Guide Reference Manual April 1995 1 About this manual The material in this manual was originally prepared by the following persons: Michael Roggenkamp (editor) John Hynd John Gough This 1992 update has been edited by John Gough, and contains details of the entirely new version
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/winter/ECOOP96WsOOT.ps.gz, 19960430 Test Cases and Coverage Metrics for Object-Oriented Software Position Statement Mario Winter, Bernd-Uwe Pagel, Fachbereich Informatik, FernUniversit t Hagen e-Mail: {mario.winter,bernd-uwe.pagel}@fernuni-hagen.de Introduction Quality-assurance for object-oriented software mainly has to concentrate on
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/winter/EuroPlop96.ps.gz, 19960430 On Pattern-Based Tools 30. April 1996 1 On Pattern-Based Tools Bernd-Uwe Pagel, Mario Winter Lehrgebiet Praktische Informatik III Dept. of CS FernUniversit t Hagen e-Mail: {mario.winter\|bernd-uwe.pagel}@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/KE2einloes.ps, 19960503 1 Graphische Datenverarbeitung II Kurseinheit 2 Musterl osungen zu den Einsendeaufgaben Aufgabe 1: (20 Punkte) aba2a2hyxzLQ a) Die Strahlungsst arke der Lichtquelle berechnet sich wie folgt: Ie = e = 100 W 4 ss sr = 25 ss W sr : b) Die Bestrahlungsst arke der Lichtquelle am Punkt (0; ; 0) berechnet sich
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/KE2einauf.ps.gz, 19960503 1 Graphische Datenverarbeitung II Kurseinheit 2 Einsendeaufgaben Aufgabe 1: (20 Punkte) Eine Punktlichtquelle mit einer Leistung von 100 W befindet sich auf der z-Achse uber der x=y-Ebene in der H ohe h = 1m und strahlt gleichm assig in alle Richtungen ab. a) Wie gross ist die Strahlungsst arke der
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/KE4einauf.ps, 19960530 1 Graphische Datenverarbeitung II Kurseinheit 4 Einsendeaufgaben Aufgabe 1: (40 Punkte) Gegeben sei die reelle Funktion f(x) = x2 12 . a) Bestimmen Sie die Fixpunkte der Funktion und geben Sie f ur die Fixpunkte an, ob sie attraktiv oder abstossend sind. Veranschaulichen Sie den Iterationsprozess in der
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/KE4einloes.ps, 19960530 1 Graphische Datenverarbeitung II Kurseinheit 4 Musterl osungen zu den Einsendeaufgaben Aufgabe 1: (40 Punkte) a) Fixpunkte von f erf ullen die Gleichung f(x) = x, d.h. x2 12 = x , x2 x 12 = 0, x1;2 = +1 p1+2 2 = 1 p3 2 Um festzustellen, ob die Fixpunkte attraktiv oder abstossend sind, berechnen wir den
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/EuroPlop96.ps.gz, 19960531 Towards Pattern-Based Tools Bernd-Uwe Pagel, Mario Winter Dept. of CS University of Hagen e-Mail: {mario.winter\|bernd-uwe.pagel}@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/GISDATA.ps.gz, 19960610 Modeling Spatial Objects with Undetermined Boundaries Using the Realm/ROSE Approach1 Markus Schneider Praktische Informatik IV FernUniversit t Hagen Postfach 940 D-58084 Hagen Germany schneide@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1585/gpm/defs.ps.gz, 19960619 GARDENS POINT MODULA Library Definitions Reference Manual Contents 1 Library Definition Parts 3 1.1 Pre-declared (pervasive) objects : : : : : : : : : : : : : : : : : : : : : : : : : : 4 1.2 Ascii : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 8 1.3 AsciiTime : : : : :
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/einloes6.ps, 19960701 1 Graphische Datenverarbeitung II Doppelkurseinheit 5/6 Musterl osungen zu den Einsendeaufgaben L osung 1: (30 Punkte) Fouriertransformierte von f(x): F (u) = Z +1 1 f(x)e iuxdx Z X Ae iuxdx = A iu e iux X = A iu e iuX 1 = A iu h e+iuX2 e iuX2 i \| {z } e iuX2 = 2A u sin uX 2 e iuX2 ( ) : 2i sin uX 2
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/einauf6.ps, 19960701 1 Graphische Datenverarbeitung II Doppelkurseinheit 5/6 Einsendeaufgaben Aufgabe 1: (30 Punkte) Gegeben sei folgende eindimensionale Rechteckfunktion: f(x) = ae A < x <= X sonst Berechnen Sie die Fouriertransformierte und das Fourierspektrum dieser Funktion. Aufgabe 2: (25 Punkte) Zur Bestimmung von
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/webber1.ps, 19960702 Page 1 June 19961 Natural Language Analysis for Health Care Delivery Bonnie Lynn Webber Computer & Information Science University of Pennsylvania Philadelphia PA USA June 19962 Why should HCD be of interest to computational linguists Pt records will always contain free text , even the emerging CPR. Info
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/EinLoesungenKoerper.ps, 19960702 1 Graphische Datenverarbeitung II Kurseinheit 1 Musterl osungen zu den Einsendeaufgaben Aufgabe 1: (20 Punkte) a) Der Tetraeder besitzt e = 6 Kanten, f = 4 Fl achen und v = 4 Knoten. Damit erhalten wir f e + v = 4 6 + 4 = 2: Das ist genau die Euler{Formel. b) Der Tetraeder mit Bohrung ist topologisch
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/carb5.ps, 19960702 References John Bateman and Cecile Paris. Phrasing a text in terms the user can understand. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, pages 1511517, 1989. David Benyon. Adaptive Systems: A Solution to the Usability Problems. User Modeling and
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/carb6.ps, 19960702 User Modeling in Intelligent Interfaces Sandra Carberry Dept. of Computer Science University of Delaware Newark, Delaware USA http://www.cis.udel.edu/ carberry Email: carberry@cis.udel.edu Introduction and Overview 1 Motivation for User Modeling 2 Components of User Modeling System 3 Acquisition of a
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/letia.ps, 19960702 ACM Summer School Belis-Fintinele, July 1996 Situated Approaches in Communication 1 Situated Approaches in Communication Ioan Alfred Letia Technical University of Cluj-Napoca ffl Communicating Agents ffl Rationally Based Communicative Actions ffl Fundamentals of Situation Theory ffl Situation Semantics
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/carb2.ps, 19960702 Generating Intelligent and Coherent Responses Sandra Carberry Dept. of Computer Science University of Delaware Newark, Delaware USA http://www.cis.udel.edu/ carberry Email: carberry@cis.udel.edu Introduction and Overview 1 Problems for Generation 2 Schema-Based Approaches to Generation 3 Plan-Based
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/EinAufgabenKoerper.ps, 19960702 1 Graphische Datenverarbeitung II Kurseinheit 1 Einsendeaufgaben Aufgabe 1: (20 Punkte) Gegeben sei ein Tetraeder wie in der Abbildung Teil a) c)a) b) a) Zeigen Sie, dass f ur den Tetraeder die Euler{Formeln gelten. b) In der Abbildung Teil b) ist derselbe Tetraeder mit Bohrung dargestellt. Verifizieren
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/carb1.ps, 19960702 References Alison Cawsey. Planning Interactive Explanations. International Journal of Man-Machine Studies, pages 16999, 1993. Jennifer Chu-Carroll and Sandra Carberry. A plan-based model for response generation in collaborative task-oriented dialogues. In Proceedings of the Twelfth National
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/carb4.ps, 19960702 Plan Recognition in Intelligent Interfaces: Concepts, Approaches, Problems Sandra Carberry Dept. of Computer Science University of Delaware Newark, Delaware USA http://www.cis.udel.edu/ carberry Email: carberry@cis.udel.edu Overview 1. Basic Concepts of Plan Recognition 2. Plan Inference in Dialogue 3.
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/webber2.ps, 19960702 Natural Language Analysis for Health Care Delivery: Selected Bibliography Bonnie Webber Department of Computer and Information Science University of Pennsylvania Philadelphia PA 19104-6389 USA bonnie@central.cis.upenn.edu June 29, 1996 1 Computer-based Medical Record: Free Text" and Struc- tured Data
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/KE3loes.ps, 19960702 1 Graphische Datenverarbeitung II Kurseinheit 3 Musterl osungen zu den Einsendeaufgaben Aufgabe 1: (25 Punkte) Zun achst wird der erste Schnittpunkt des Strahles D : x = o + s d; x 2 IR3; s 2 IR (3.1) mit der Kugel berechnet. F ur s ergeben sich die Werte s1 = 163 ss 5:3333 und s2 = 4. Schneiden wir D
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/GesamtIndexGDVII.ps, 19960702 360 Graphische Datenverarbeitung II Index 0L-Systeme, 180 2{Mannigfaltigkeit, 19 3D-Texturen, 345 Abtasttheorem, 243 Abtastung, 240 AC-Koeffizient, 262 Adaptive Rekursionstiefenkontrolle, 120 Ahnlichkeitssatz, 242 Alias-Effekte, 136 Aliasing, 121, 244 ambientes Licht, 86 Amplitudenspektrum, 239
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/KE2index.ps, 19960702 Index ambientes Licht, 87 Ausbreitungscharakteristik, 88 Beleuchtungsalgorithmen, 86 Beleuchtungsmodelle, 86 Beleuchtungsst arke, 65 Beleuchtungsverfahren, 86 Bestrahlungsst arke, 61 Brechungsgesetz, 69 Brechzahlen, 69 Candela, 64 Chrominanz, 80 CIE-Prim arvalenzen, 77 CMG-Modell, 79 CNS{Farbt one, 86
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/EinAufgabenGlobalBeleucht.ps, 19960702 1 Graphische Datenverarbeitung II Kurseinheit 3 Einsendeaufgaben Aufgabe 1: (25 Punkte) In dieser Einsendeaufgabe sei der in die Szene gesandte Strahl definiert durch seinen Ausgangspunkt o und seine Richtung d. Die Szene selbst besteht aus einer Kugel mit Zentrum c und Radius r sowie einem Dreieck E
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/carb3.ps, 19960702 References James F. Allen and C. Raymond Perrault. Analyzing Intention in Utterances. Artificial Intelligence, 15:14378, 1980. Douglas E. Appelt and Martha E. Pollack. Weighted Abduction for Plan Ascription. User Modeling and User-Adapted Interaction, 2(1-2), 1992. L Ardissono, L. Lesmo,
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/webber4.ps, 19960704 Page 1 Interfaces for Decision Support Systems Bonnie L. Webber Computer & Information Science University of Pennsylvania TraumAID TraumAID group: John R. Clarke, MD; Ron Rymon; Abigail Gertner; Jonathan Kaye; Sandra Carberry; Beverly Spejewski, PhD. Outline Introduction The TraumAID System Plans as
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/webber3.ps, 19960704 Interfaces for Decision Support Systems Selected Bibliography Bonnie Webber Department of Computer and Information Science University of Pennsylvania Philadelphia PA 19104-6389 USA bonnie@central.cis.upenn.edu July 3, 1996 1 Alerting/Reminding 2 Critiquing
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/webber6.ps, 19960711 Page 1 1 Bridging Language and Action: Instruction Understanding & Generation Bonnie Lynn Webber Computer & Information Science University of Pennsylvania Philadelphia PA 19104-6389 USA 2 Outline Information conveyed in instructions Conveying information implicitly through pragmatic overloading
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/cristea.ps, 19960711 Representing and Understanding Discourse Dan Cristea University Alexandru Ioan Cuza" Faculty of Computer Science 16, Berthelot St. 6600 Ia si Romania
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/abstracts.ps, 19960711 ACM State of the Art Summer School Intelligent and Natural Language Interfaces 14 - 20 July Belis-Fintinele, Romania Abstracts Modelling the Development of the Concept System Peter Andras The understanding of the spoken or read text is based on the individual's concept system. Using the concepts he /
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/ROMANIA/webber5.ps, 19960711 Instruction Understanding and Generation: Selected Bibliography Bonnie Webber Department of Computer and Information Science University of Pennsylvania Philadelphia PA 19104-6389 USA bonnie@central.cis.upenn.edu July 11, 1996 References Alterman, R., Zito-Wolf, R. and Carpenter, T. Interaction,
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/PODS93.ps.gz, 19960724 Towards an Analysis of Range Query Performance in Spatial Data Structures Bernd-Uwe Pagel Hans-Werner Six Heinrich Toben Peter Widmayer x
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/KE7einloes.ps, 19960820 1 Graphische Datenverarbeitung II Kurseinheit 7 Musterl osungen zu den Einsendeaufgaben Aufgabe 1: (10 Punkte) Wird ein Gegenstand aus der N ahe bzw. in grosser Vergr osserung betrachtet, so wird ein Pixel auf einen beliebig kleinen Teil der Texturmap abgebildet; wird umgekehrt eine Fl ache aus grosser
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri2/GDV2/KE7einauf.ps, 19960820 1 Graphische Datenverarbeitung II Kurseinheit 7 Einsendeaufgaben Aufgabe 1: (10 Punkte) Wieviele Texel werden beim Texturmapping auf ein Pixel abgebildet Aufgabe 2: (40 Punkte) Fl achen werden zur Darstellung in computergraphischen Systemen oft in ebene Polygone (meist Dreiecke) zerlegt. Die
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap6.ps.gz, 19960918 186 Lernziele zum Kapitel 6 Nach diesem Kapitel sollten Sie 1. bin re Suchb ume definieren k nnen, ihre Darstellung in PASCAL kennen sowie einfache Operationen auf B umen programmieren k nnen, 2. den Begriff der Rekursion definieren und einfache Probleme rekursiv l sen k nnen, 3. angeben k nnen, wann
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/loesunge.ps.gz, 19960918 L sungen zu den Aufgaben 399 L sungen zu den Aufgaben Aufgabe 4.1.3.2 program kleinsteZahl (input, output); { gibt die kleinste Zahl unter den integer-Eingabezahlen aus } var Zahl, Minimum : integer; begin writeln ('Geben Sie die integer-Zahlen ein. ', '0 beendet die Eingabe.'); readln (Zahl); if Zahl =
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap1.ps.gz, 19960918 1 1. Einleitung Diesen Kurs kann man trotz seines eher speziell klingenden Titels auch als eine Einf hrung in die Informatik verstehen. Wir werden dabei keineswegs einen berblick ber die gesamte Breite der Informatik geben k nnen (und wollen), sondern einen Zugang zur Informatik ber die Programmierung
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap5.ps.gz, 19960918 132 Lernziele zum Kapitel 5 Nach diesem Kapitel sollten Sie 1. eine Prozedur deklarieren und aufrufen k nnen, 2. die wesentlichen Vorteile von Prozeduren und Funktionen kennen, 3. die Unterschiede (in Syntax und Semantik) zwischen Prozeduren und Funktionen nennen k nnen, 4. die Realisierung einer
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap12.ps.gz, 19960918 298 Lernziele zum Kapitel 12 Nach diesem Kapitel sollten Sie 1. eine Programmspezifikation verstehen und erl utern k nnen, 2. die Begriffe totale Korrektheit und partielle Korrektheit verstanden haben und voneinander abgrenzen k nnen, 3. den Hoare-Kalk l zur formalen Semantikdefinition der im Kurs
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/studhinw.ps.gz, 19960918 i Allgemeine Studierhinweise Liebe Fernstudentin, lieber Fernstudent! Der vorliegende Kurs 1612, "Konzepte imperativer Programmierung", steht am Anfang des Grundstudiums der Informatik. Der Kurs stellt Ihnen verschiedene wichtige Gebiete der Informatik vor, die dann im Verlauf Ihres Grund- und
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap10.ps.gz, 19960918 266 Lernziele zum Kapitel 10 Nach diesem Kapitel sollten Sie 1. die Begriffe Alphabet, Sprache, Wort, leeres Wort, kontextfreie Grammatik, Syntaxdiagramm und Ableitung erkl ren k nnen, 2. einfache Sprachen mit Hilfe von Syntaxdiagrammen und Grammatiken definieren k nnen, 3. W rter daraufhin untersuchen
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap9.ps.gz, 19960918 251 9. Exkurs: Prozedurale Programmentwicklung Dieser Exkurs ber prozedurale Programmentwicklung geh rt nicht zum Pflicht- pensum des Kurses 1612. Zu diesem Kapitel gibt es weder Einsendeaufgaben noch Aufgaben in den abschlie enden Klausuren. Die Ausf hrungen dienen lediglich der Abrundung des Wissens
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap15.ps.gz, 19960918 378 Lernziele zum Kapitel 15 Nach diesem Kapitel sollten Sie 1. die Gr enordnung der Laufzeit einfacher Algorithmen bestimmen und unterschiedliche Algorithmen hinsichtlich ihrer Laufzeit vergleichen k nnen. 379 15. Effizienz von Algorithmen 15.1 Einleitung Beim Studium algorithmischer Probleml sungen
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap13.ps.gz, 19960918 336 Lernziele zum Kapitel 13 Nach diesem Kapitel sollten Sie 1. eine Terminierungsfunktion f r einfache terminierende Programme angeben und beweisen k nnen, 2. eine Schleifeninvariante angeben k nnen, mit der man die Eigenschaften dieser Terminierungsfunktion beweisen kann, 3. f r einfache
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap3.ps.gz, 19960918 26 Lernziele zum Kapitel 3 Nach diesem Kapitel sollten Sie 1. den grundlegenden Aufbau einfacher PASCAL-Programme kennen und die Struktur und Bedeutung vorgegebener einfacher PASCAL-Programme erl utern k nnen, 2. erste einfache Programmierrichtlinien zur Erh hung der Lesbarkeit von PAS- CAL-Programmen
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/literatu.ps.gz, 19960918 437 Quellen- und Literaturangaben Kapitel 1 ist teilweise entnommen. Beispiel 2.1.1 und Definition 2.1.2 mit Anmerkungen sind weitgehend entnommen. Abschnitt 2.2 ist teilweise entnommen. Abschnitt 2.4 ist weitgehend entnommen. Abschnitt 2.5.1 ist weitgehend
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap7.ps.gz, 19960918 218 Lernziele zum Kapitel 7 Nach diesem Kapitel sollten Sie 1. verstanden haben, was ein Modul ist und wie er aufgebaut ist, 2. wissen, wof r Moduln verwendet werden, 3. das Geheimnisprinzip erl utern k nnen, 4. Vorteile der modularen gegen ber der prozeduralen Programmierung nennen k nnen, 5. einfache
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap14.ps.gz, 19960918 348 Lernziele zum Kapitel 14 Nach diesem Kapitel sollten Sie 1. verschiedene Testverfahren kennen und einordnen k nnen, 2. kontrollflu orientierte und funktionale Testverfahren auf einfache Programme anwenden k nnen. 349 14. Testen 14.1 Einleitung und berblick In unseren Ausf hrungen zur Verifikation
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap11.ps.gz, 19960918 280 Lernziele zum Kapitel 11 Nach diesem Kapitel sollten Sie 1. einfache pr dikatenlogische Formeln umformen k nnen, 2. die Begriffe logische Implikation und logische quivalenz verstehen und anwenden k nnen, 3. den Gebrauch von Quantoren verstehen. 281 11. Aussagen- und Pr dikatenlogik Im ersten Teil
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/inhalt.ps.gz, 19960918 v Inhaltsverzeichnis 1. Einleitung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Lernziele zum Kapitel 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2. Grundlagen . . . . . . . . . .
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/stichwor.ps.gz, 19960918 439 Stichwortverzeichnis Symbole . . . . . . . . . . . . . . . . . . . . . . . . . . . 295 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284 fi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 294 e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269 x .
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap4.ps.gz, 19960918 78 Lernziele zum Kapitel 4 Nach diesem Kapitel sollten Sie 1. die drei Wiederholungsanweisungen von PASCAL kennen und wissen, in welcher Situation welche Schleifenart sinnvollerweise zu verwenden ist, 2. eine gegebene Wiederholungsanweisung in eine andere, bedeutungsgleiche Wiederholungsanweisung
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap8.ps.gz, 19960918 237 8. Programmierstil Programme k nnen, nachdem sie implementiert und getestet worden sind, in den seltensten F llen ohne nderung ber einen l ngeren Zeitraum hinweg eingesetzt werden. Tats chlich ist es meist so, da die Anforderungen nach der Fertigstellung ver ndert oder erweitert werden und w hrend
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/kurstext/unix/kap2.ps.gz, 19960918 6 Lernziele zum Kapitel 2 Nach diesem Kapitel sollten Sie 1. die Begriffe "Problembeschreibung" und "Problemspezifikation" gegeneinander abgrenzen und die einzelnen Teile einer Problemspezifikation erl utern k nnen, 2. die Begriffe "Algorithmus" und "Programm" erl utern und voneinander abgrenzen k nnen,
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/ACM-AGIS96.ps.gz, 19961011 The GeoOOA-Tool and Its Interface to Open GIS-Software Development Environments Georg K osters and Bernd-Uwe Pagel Department of Computer Science University of Hagen fgeorg.koesters j bernd-uwe.pagelg@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/fpg.ps.gz, 19961016 Functional Programming with Graphs Martin Erwig FernUniversit at Hagen, Praktische Informatik IV 58084 Hagen, Germany erwig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/ap.ps.gz, 19961030 Active Patterns Martin Erwig FernUniversit at Hagen, Praktische Informatik IV 58084 Hagen, Germany erwig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/fgfl.ps.gz, 19961115 Functional Graphs for Functional Languages Martin Erwig FernUniversit at Hagen, Praktische Informatik IV 58084 Hagen, Germany erwig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri8/papers/BeierleBoerger96FACPartII.ps.gz, 19961217 slightly modified version appeared in: Formal Aspects of Computing, Vol. 8(5), pp. 539{564, 1996 Refinement of a typed WAM extension by polymorphic order-sorted types Christoph Beierle1 and Egon B orger2 1Fachbereich Informatik, FernUniversit at Hagen, D-58084 Hagen, Germany; 2Dipartimento di
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri8/papers/BeierleBoerger96FACPartI.ps.gz, 19961217 slightly modified version appeared in: Formal Aspects of Computing, Vol. 8(4), pp. 428{462, 1996 Specification and correctness proof of a WAM extension with abstract type constraints Christoph Beierle1 and Egon B orger2 1Fachbereich Informatik, FernUniversit at Hagen, D-58084 Hagen, Germany;
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri6/exploring.ps, 19970121 Exploring Unknown Environments Susanne Albers Monika R. Henzingery
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/winter/TAVOOT.ps.gz, 19970121 GI-TAV Arbeitsgruppe Testen objekt-orientierter Software Bibliographie mit Anmerkungen J orn M unzelx und Mario Winter{ Erg anzungen, Korrekturen etc. an: FernUniversit at LG Prakt. Inf. III, AVZ I Mario Winter Postfach 940 D-58084 Hagen Telefon: +49-2331-987-2129 Fax: +49-2331-987-317 E-mail:
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/SWCnf97.ps.gz, 19970418 Supporting Requirements Engineering for SMALLWORLD-Applications Georg K sters Dr. Bernd-Uwe Pagel Heinrich Toben University of Hagen University of Hagen ISOWARE GmbH Georg.Koesters@fernuni-hagen.de Bernd-Uwe.Pagel@fernuni-hagen.de Heinrich.Toben@isoware.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/VLSemantics_VL97.ps.gz, 19970513 1
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/winter/OOTestbarkeit.ps.gz, 19970522 Abstrakt: Dieser Beitrag fa t die Ergebnisse einiger Diskussionen des Arbeitskreises zu den Testbarkeitseigenschaften objekt-orientierter Programme in Form einiger Thesen zusammen. Keywords: Object-orientierte Programme, Testbarkeit 1 Einleitung Die Entwicklung qualitativ hochwertiger Software setzt
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/Partitions_COSIT97.ps.gz, 19970709 Partition and Conquer Martin Erwig & Markus Schneider FernUniversit t Hagen, Praktische Informatik IV D-58084 Hagen, Germany @fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/VLSyntax_TVL97.ps.gz, 19970716 1
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/FPwithGraphs_ICFP97.ps.gz, 19970716 Functional Programming with Graphs Martin Erwig FernUniversit at Hagen, Praktische Informatik IV 58084 Hagen, Germany erwig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1585/gpm/release.ps.gz, 19970722 GARDENS POINT MODULA RELEASE NOTES Native Code Linux Version1 April 1995 1Copyright c 1994,1995 QUT Office of Commercial Services Contents 1 Overview 4 1.1 About gpm for Linux : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 1.2 Implementation technology : : : : : : : : : : : : : : : : :
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1585/gpm/language.ps.gz, 19970722 GARDENS POINT MODULA LANGUAGE REFERENCE MANUAL Contents 1 Introduction 5 2 Syntax and notation 7 2.1 How to read the syntax diagrams : : : : : : : : : : : : : : : : : : : : : : : : : 8 2.2 Lexical categories and rules : : : : : : : : : : : : : : : : : : : : : : : : : : : : 8 3 Declarations and scope
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/VagueRegions_SSD97.ps.gz, 19970724 - 1 - Vague Regions Martin Erwig & Markus Schneider FernUniversit t Hagen Praktische Informatik IV D-58084 Hagen, Germany @fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/winter/RoomAbstract.ps.gz, 19970819 Coupling Use Cases and Class Models
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/PersistentGraphs_IFL97.ps.gz, 19970822 Fully Persistent Graphs Which One To Choose Martin Erwig FernUniversit t Hagen, Praktische Informatik IV D-58084 Hagen, Germany erwig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/ActivePatterns_IFL96.ps.gz, 19970822 In: 8th Int. WS on Implementation of Functional Languages, 1996, LNCS 1268, 21-40. Active Patterns Martin Erwig FernUniversit at Hagen, Praktische Informatik IV 58084 Hagen, Germany erwig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/erwig/MultiLevelAlgebra_AMAST93.ps.gz, 19971211 Specifying Type Systems with Multi-Level Order-Sorted Algebray Martin Erwig FernUniversit at Hagen, Praktische Informatik IV 58084 Hagen, Germany erwig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/erwig/HeteroVisualPL_VL95.ps.gz, 19971211
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/erwig/VagueRegions_SSD97.ps.gz, 19971211 - 1 - Vague Regions Martin Erwig & Markus Schneider FernUniversit t Hagen Praktische Informatik IV D-58084 Hagen, Germany @fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/erwig/XGraphsInSpatialDB_REPORT.ps.gz, 19971211 Explicit Graphs in a Functional Model for Spatial Databases FernUniversit t Hagen, Praktische Informatik IV, 58084 Hagen, Germany
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/erwig/XGraphsInSpatialDB_TKDE94.ps.gz, 19971211 Explicit Graphs in a Functional Model for Spatial Databases FernUniversit t Hagen, Praktische Informatik IV, 58084 Hagen, Germany
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/erwig/FPwithGraphs_ICFP97.ps.gz, 19971211 Functional Programming with Graphs Martin Erwig FernUniversit at Hagen, Praktische Informatik IV 58084 Hagen, Germany erwig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/erwig/VLSemantics_VL97.ps.gz, 19971211 1
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/erwig/Partitions_COSIT97.ps.gz, 19971211 Partition and Conquer Martin Erwig & Markus Schneider FernUniversit t Hagen, Praktische Informatik IV D-58084 Hagen, Germany @fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/erwig/GraphAlg=Iter+DS_WG92.ps.gz, 19971211 Graph Algorithms = Iteration + Data Structures The Structure of Graph Algorithms and a Corresponding Style of Programmingy Martin Erwig FernUniversit at Hagen, Praktische Informatik IV 58084 Hagen, Germany erwig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/erwig/PersistentGraphs_IFL97.ps.gz, 19971211 Fully Persistent Graphs Which One To Choose Martin Erwig FernUniversit t Hagen, Praktische Informatik IV D-58084 Hagen, Germany erwig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/erwig/ActivePatterns_IFL96.ps.gz, 19971211 In: 8th Int. WS on Implementation of Functional Languages, 1996, LNCS 1268, 21-40. Active Patterns Martin Erwig FernUniversit at Hagen, Praktische Informatik IV 58084 Hagen, Germany erwig@fernuni-hagen.de
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri4/papers/erwig/VLSyntax_TVL97.ps.gz, 19971211 1
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/Klausur/HK9697ML.ps, 19980127 Seite: 1 Kurs 1612 Konzepte imperativer Programmierung Musterl sung zur Klausur am 01.03.1997 Musterl sung Aufgabe 1 a) Da Effizienzbetrachtungen bei der L sung der Aufgabe keine Rolle spielen, w hlen wir einen einfachen aber ineffizienten Algorithmus mit zwei ineinander verschachtelten for-Schleifen.
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/k1612/Klausur/HK9697.ps, 19980127 Seite: 1 Kurs 1612 Konzepte imperativer Programmierung Klausur am 01.03.1997 Wintersemester 96/97 Hinweise zur Bearbeitung der Klausur zum Kurs 1612 Konzepte imperativer Programmierung Wir begr en Sie zur Klausur "Konzepte imperativer Programmierung". Lesen Sie sich diese Hinweise vollst ndig und
	ftp://ftp.fernuni-hagen.de/pub/fachb/inf/pri3/papers/Mod98.ps.gz, 19980218 Abstrakt: Ausgangspunkt dieses Beitrages sind die aus den unterschiedlichen Sichtweisen von Benutzern und Entwicklern resultierenden Probleme bei der objektorientierten Analyse. Aufbauend auf der Kopplung von Use Cases und Klassenmodellen wird eine qualit tszentrierte Methode zur Ermittlung und