Index of 1994
Department Of Computer Science
Technical Reports
Aachener Informatik-Berichte (AIB)

Available Reports

1994-01
Margit Generet, Sven Martin (eds.), Fachgruppe Informatik
Jahresbericht 1993
1994-02
M. Lefering
Development of Incremental Integration Tools Using Formal Specifications
1994-03
P. Constantopoulos, M. Jarke, J. Mylopoulos, Y. Vassiliou
The Software Information Base: A Server for Reuse
1994-04
Rolf Hager, Rudolf Mathar, Jürgen Mattfeldt
Intelligent Cruise Control and Reliable Communication of Mobile Stations
1994-05
Rolf Hager, Peter Hermesmann, Michael Portz
Feasibility of Authentication Procedures within Advanced Transport Telematics
1994-06
Claudia Popien, Bernd Meyer, Axel Kuepper
A Formal Approach to Service Import in ODP Trader Federations
1994-07
P. Peters, P. Szczurko
Integrating Models of Quality Management Methods by an Object-Oriented Repository
1994-08
Manfred Nagl, Bernhard Westfechtel
A Universal Component for the Administration in Distributed and Integrated Development Environments
1994-09
Patrick Horster, Holger Petersen
Signatur- und Authentifikationsverfahren auf der Basis des diskreten Logarithmusproblems
1994-11
A. Schürr
PROGRES, A Visual Language and Environment for PROgramming with Graph REwrite Systems
1994-12
A. Schürr
Specification of Graph Translators with Triple Graph Grammars
1994-13
A. Schürr
Logic Based Programmed Structure Rewriting Systems
1994-14
L. Staiger
Codes, Simplifying Words, and Open Set Condition
1994-15
Bernhard Westfechtel
A Graph-Based System for Managing Configurations of Engineering Design Documents
1994-16
P. Klein
Designing Software with Modula-3
1994-17
I. Litovsky, L. Staiger
Finite acceptance of infinite words
1994-18
G. Hogen, R. Loogen
Parallel Functional Implementations: Graphbased vs. Stackbased Reduction
1994-19
M. Jeusfeld, U. Johnen
An Executable Meta Model for Re-Engineering of Database Schemas
1994-20
R. Gallersdörfer, M. Jarke, K. Klabunde
Intelligent Networks as a Data Intensive Application (INDIA)
1994-21
M. Mohnen
Proving the Correctness of the Static Link Technique Using Evolving Algebras
1994-22
H. Fernau, L. Staiger
Valuations and Unambiguity of Languages, with Applications to Fractal Geometry
1994-24
M. Jarke, K. Pohl, R. Dömges, St. Jacobs, H. W. Nissen
Requirements Information Management: The NATURE Approach
1994-25
M. Jarke, K. Pohl, C. Rolland, J.-R. Schmitt
Experience-Based Method Evaluation and Improvement: A Process Modeling Approach
1994-26
St. Jacobs, St. Kethers
Improving Communication and Decision Making within Quality Function Deployment
1994-27
M. Jarke, H. W. Nissen, K. Pohl
Tool Integration in Evolving Information Systems Environments
1994-28
O. Burkart, D. Caucal, B. Steffen
An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes