• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

Filter
Bog
1994

Vacuuming in TSQL2

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R94-2052).

Publikation: Bog/antologi/afhandling/rapportBogForskning

1992

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

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

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Struggling with Quality - a Philosophy for Computer Professionals

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Testing Probabilistic and Nondeterministic Processes

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R 91-35).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Kvalitetsstyring i Systemudvikling

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R 91-16).

Publikation: Bog/antologi/afhandling/rapportBogForskning

1990

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

Stage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 90-20).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Formelle teknikker til specifikation og verifikation af Modula-2 programmer

Stage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 90-40).

Publikation: Bog/antologi/afhandling/rapportBogForskning

263 Downloads (Pure)

Learning and Using Methodologies in Information Systems Analysis and Design

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Åben adgang
Fil

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; Nr. 1990 : R 90-01).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

1989

Erfaringer med udvikling af undervisningsprogrammer om landinformationssystemer

Höhle, J., Stubkjær, E. & Dresling, A., 1989, 135 s.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

General Programs and Open Points

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

Publikation: Bog/antologi/afhandling/rapportBogFormidling

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; Nr. 1989 : R 89-4).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

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; Nr. 1989 : R 89-46).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

1988

Computer-assisted Learning for Land Information Systems

Bidragets oversatte titel: Datamatstøttet indlæring for landinformationssystemerStubkjær, E., Dresling, A. & Höhle, J., 1988, Oslo: Norwegian Computing Centre.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Muir - A Language Development Environment

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

Publikation: Bog/antologi/afhandling/rapportBogFormidling