Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Book
1994

Vacuuming in TSQL2

Jensen, C. S., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2049).

Research output: Book/ReportBookResearch

Valid-Time Selection and Projection in TSQL2

Hsu, S., Jensen, C. S. & Snodgrass, R. T., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2052).

Research output: Book/ReportBookResearch

1992

Computer Aided Verification: 3rd International Workshop, CAV'91

Larsen, K. G. & Skou, A., 1992, Berlin: IEEE Computer Society Press.

Research output: Book/ReportBookCommunication

Struggling with Quality - a Philosophy for Computer Professionals

Dahlbom, B. & Mathiassen, L., 1992, Göteborg: Chalmers tekniska högskola.

Research output: Book/ReportBookResearch

Testing Probabilistic and Nondeterministic Processes

Yi, W. & Larsen, K. G., 1992, North-Holland.

Research output: Book/ReportBookResearch

1991

Developing the Prototype Approach in Rapid Systems Modelling

Baskerville, R. L. & Stage, J., 1991, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 91-35).

Research output: Book/ReportBookResearch

Kvalitetsstyring i Systemudvikling

Bang, S., Mathiassen, L. & al., E., 1991, København: Nyt Teknisk Forlag.

Research output: Book/ReportBookResearch

Rapid Systems Modelling: The Soul of a New Methodology

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1991, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 91-16).

Research output: Book/ReportBookResearch

1990

Design og implementation baseret på en generel grundstruktur for EDB-systemer: Dagbog fra et systemudviklingseksperiment

Translated title of the contribution: Design and Implementation based on a Generic Structure for Computer SystemsStage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 90-20).

Research output: Book/ReportBookResearch

Formelle teknikker til specifikation og verifikation af Modula-2 programmer

Translated title of the contribution: Formal Techniques for Specification and Verification of Modula-2 ProgramsStage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 90-40).

Research output: Book/ReportBookResearch

268 Downloads (Pure)

Learning and Using Methodologies in Information Systems Analysis and Design

Nielsen, P. A., 1990, : Dept. of Systems and Information Management: Lancaster University.

Research output: Book/ReportBookResearch

Open Access
File

Simulation of Object-Oriented Concept and Mechanisms in Scheme

Nørmark, K., 1990, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1990 : R 90-01).

Research output: Book/ReportBookCommunication

1989

Erfaringer med udvikling af undervisningsprogrammer om landinformationssystemer

Translated title of the contribution: Expierences at the Development of Educational Programs about Land Informations SystemsHöhle, J., Stubkjær, E. & Dresling, A., 1989, 135 p.

Research output: Book/ReportBookCommunication

General Programs and Open Points

Nørmark, K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1989 : R 89-3).

Research output: Book/ReportBookCommunication

Hooks and Supporting Tools in a LISP Environment

Nørmark, K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1989 : R 89-4).

Research output: Book/ReportBookCommunication

Validation of Concurrent Processes with Emphasis on Testing

Skou, A., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1989 : R 89-46).

Research output: Book/ReportBookCommunication

1988

Computer-assisted Learning for Land Information Systems

Stubkjær, E., Dresling, A. & Höhle, J., 1988, Oslo: Norwegian Computing Centre.

Research output: Book/ReportBookCommunication

Muir - A Language Development Environment

Nørmark, K., 1988, Association for Computing Machinery.

Research output: Book/ReportBookCommunication