home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!spool.mu.edu!agate!darkstar.UCSC.EDU!golding
- From: ghogen@zeus.informatik.rwth-aachen.de (Guido Hogen)
- Newsgroups: comp.doc.techreports
- Subject: Reports from RWTH Aachen
- Date: 15 Dec 1992 18:06:38 GMT
- Organization: University of California, Santa Cruz
- Lines: 68
- Approved: compdoc-techreports@ftp.cse.ucsc.edu
-
- RWTH Aachen
- (Aachen University of Technology)
- Germany
- Department of Computer Science
- Message-ID: <1gl6reINNa14@darkstar.UCSC.EDU>
- NNTP-Posting-Host: oak.ucsc.edu
- Originator: golding@oak
-
-
- Anonymous ftp address: ftp.informatik.rwth-aachen.de (137.226.112.172)
- ^^^
- -----------Please notice the change_____________________________|||
-
- Directory: /pub/reports
- Format: Compressed PostScript File
-
- ****************************************************************************
- | If you are interested in receiving announcements of new reports (once or |
- | twice a month), please write to |
- | tr-announce-request@informatik.rwth-aachen.de |
- | with |
- | subscribe <your e-mail address> |
- | in the subject line. |
- ****************************************************************************
-
-
- Aachener Informatik-Berichte
- ----------------------------
-
- **************** Now available **********************
-
- --------------------------------------------------------------------------------
- TITLE = ConceptBase V3.1 User Manual
-
- NUMBER = 92-17
- AUTHORS = M. Jarke (ed.)
- PAGES = 72
- ABSTRACT = ConceptBase is an experimental deductive object base management
- system specifically intended for the coordination of design
- environments. It integrates techniques from deductive, object-
- oriented, and temporal databases in the logical framework
- of the data model Telos. The usage environment offers an
- extensible palette of graphical, tabular, and textual windows
- conforming to the X11 standard. The communication between
- the windows and the object base is organized in a client-server
- architecture using the wide area network protocol Internet.
-
- --------------------------------------------------------------------------------
- TITLE = Warum Frauenforschung in Naturwissenschaft und Technik (written in
- german)
-
- NUMBER = 92-29
- AUTHORS = B. Schinzel
- PAGES = 42
- ABSTRACT = Abschiedsvorlesung von Prof. Britta Schinzel am 19.Dezember 1991
- an der RWTH Aachen
-
-
- ************* to appear soon **************************
-
- --------------------------------------------------------------------------------
- TITLE = Aliasing and Groundness Analysis of Logic Programs through Abstract
- Interpretation and its Safety
-
- NUMBER = 92-27
- AUTHORS = Werner Hans, Stephan Winkler
-
- ----------------------------------
- Guido Hogen
- tr-admin@informatik.rwth-aachen.de
- ----------------------------------
- ===========================================================================
- Co-moderator: Richard Golding, Computer & Information Sciences, UC Santa Cruz
- compdoc-techreports-request@ftp.cse.ucsc.edu
-
-
-