| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A design framework for highly available communication systems
|
Kurokawa, Akira
|
|
1992
|
|
5-6 |
p. 375-391
17 p.
|
artikel
|
| 2 |
Advanced smart card based password authentication protocol
|
Song, Ronggong
|
|
2010
|
|
5-6 |
p. 321-325
5 p.
|
artikel
|
| 3 |
A dynamic privacy model for web services
|
Meziane, Hassina
|
|
2010
|
|
5-6 |
p. 288-304
17 p.
|
artikel
|
| 4 |
A formal description of the OMG's Core Object Model and the meaning of compatible extension
|
Houston, Iain S.C.
|
|
1995
|
|
5-6 |
p. 553-558
6 p.
|
artikel
|
| 5 |
A hybrid public key infrastructure solution (HPKI) for HIPAA privacy/security regulations
|
Hu, Jiankun
|
|
2010
|
|
5-6 |
p. 274-280
7 p.
|
artikel
|
| 6 |
A method for testing MAP application interface
|
Qu, Hai
|
|
1992
|
|
5-6 |
p. 393-399
7 p.
|
artikel
|
| 7 |
Analysis of Handover Key Management schemes under IETF perspective
|
Marin-Lopez, R.
|
|
2010
|
|
5-6 |
p. 266-273
8 p.
|
artikel
|
| 8 |
Analysis of the STEP standard data access interface using formal methods
|
Botting, Richard M.
|
|
1995
|
|
5-6 |
p. 437-455
19 p.
|
artikel
|
| 9 |
An ISO standard to support asynchronous group communication
|
Benford, Steve
|
|
1992
|
|
5-6 |
p. 363-373
11 p.
|
artikel
|
| 10 |
Applying formal methods to standard development: The open distributed processing experience
|
Sinnott, Richard O.
|
|
1995
|
|
5-6 |
p. 615-630
16 p.
|
artikel
|
| 11 |
A proposal for automating investigations in live forensics
|
Lee, Seokhee
|
|
2010
|
|
5-6 |
p. 246-255
10 p.
|
artikel
|
| 12 |
A security framework for a workflow-based grid development platform
|
Vivas, José L.
|
|
2010
|
|
5-6 |
p. 230-245
16 p.
|
artikel
|
| 13 |
A standard interface for site electronics based on modern fieldbus technology
|
Schumny, Harald
|
|
1998
|
|
5-6 |
p. 305-312
8 p.
|
artikel
|
| 14 |
Author index to volume 17 (1995)
|
|
|
1995
|
|
5-6 |
p. 639-641
3 p.
|
artikel
|
| 15 |
Author index to volume 14 (1992)
|
|
|
1992
|
|
5-6 |
p. 533-534
2 p.
|
artikel
|
| 16 |
Author index to volume 16 (1994)
|
|
|
1994
|
|
5-6 |
p. 559-561
3 p.
|
artikel
|
| 17 |
Calendar
|
|
|
1995
|
|
5-6 |
p. 647-648
2 p.
|
artikel
|
| 18 |
Calendar
|
|
|
1994
|
|
5-6 |
p. 565-
1 p.
|
artikel
|
| 19 |
Calendar
|
|
|
1992
|
|
5-6 |
p. 537-540
4 p.
|
artikel
|
| 20 |
Computer systems laboratory - An overview
|
|
|
1992
|
|
5-6 |
p. 445-470
26 p.
|
artikel
|
| 21 |
EDI conversion: EDIFACT to in-house file, or database to database?
|
van Antwerpen, Hans
|
|
1992
|
|
5-6 |
p. 423-432
10 p.
|
artikel
|
| 22 |
Editorial
|
|
|
1998
|
|
5-6 |
p. 247-248
2 p.
|
artikel
|
| 23 |
Editorial Board
|
|
|
2010
|
|
5-6 |
p. iii-
1 p.
|
artikel
|
| 24 |
Electronic data interchange and structured message usage
|
Sloane, A
|
|
1992
|
|
5-6 |
p. 411-414
4 p.
|
artikel
|
| 25 |
FDTs for ODP
|
Bowman, Howard
|
|
1995
|
|
5-6 |
p. 457-479
23 p.
|
artikel
|
| 26 |
Fieldbus basics
|
Patzke, Robert
|
|
1998
|
|
5-6 |
p. 275-293
19 p.
|
artikel
|
| 27 |
Fieldbuses in measurement and control
|
Schumny, Harald
|
|
1998
|
|
5-6 |
p. 295-304
10 p.
|
artikel
|
| 28 |
Formalizing the Object Management Group's Core Object Model
|
Bryant, Tony
|
|
1995
|
|
5-6 |
p. 481-489
9 p.
|
artikel
|
| 29 |
Formal methods in the development of premo
|
Duce, D.A.
|
|
1995
|
|
5-6 |
p. 491-509
19 p.
|
artikel
|
| 30 |
Formal specification and verification of multimedia systems in open distributed processing
|
Blair, Lynne
|
|
1995
|
|
5-6 |
p. 413-436
24 p.
|
artikel
|
| 31 |
Formal specification of Multilingual Alphanumeric Ordering Systems
|
Gaitanis, Nikolaos
|
|
1995
|
|
5-6 |
p. 535-552
18 p.
|
artikel
|
| 32 |
Formal test specifications in IEEE POSIX
|
Leathrum, J.F.
|
|
1995
|
|
5-6 |
p. 603-614
12 p.
|
artikel
|
| 33 |
Generalized interface handler and multi-tasking operation in MS/DOS for PC-based SCADA system
|
Teo, Cheng-Yu
|
|
1992
|
|
5-6 |
p. 415-421
7 p.
|
artikel
|
| 34 |
Information and communications security, privacy and trust: Standards and regulations
|
Thuraisingham, Bhavani
|
|
2010
|
|
5-6 |
p. 229-
1 p.
|
artikel
|
| 35 |
International and Turkish information technology standardization
|
Sarikaya, Behçet
|
|
1992
|
|
5-6 |
p. 401-409
9 p.
|
artikel
|
| 36 |
Object-Z: A specification language advocated for the description of standards
|
Duke, Roger
|
|
1995
|
|
5-6 |
p. 511-533
23 p.
|
artikel
|
| 37 |
Proposed corrections to the IEC 61131-3 standard
|
de Sousa, Mário
|
|
2010
|
|
5-6 |
p. 312-320
9 p.
|
artikel
|
| 38 |
Rare - An overview
|
|
|
1992
|
|
5-6 |
p. 471-496
26 p.
|
artikel
|
| 39 |
Removal notice to “The Software Engineering Model's categories of compliance” [CSI 31/1 (2009) 14–18]
|
Kaushik, Sharat
|
|
2010
|
|
5-6 |
p. 326-
1 p.
|
artikel
|
| 40 |
Requirements for programming languages in safety and security software standards
|
Wichmann, B.A
|
|
1992
|
|
5-6 |
p. 433-441
9 p.
|
artikel
|
| 41 |
Revising centralized certificate validation standards for mobile and wireless communications
|
Papapanagiotou, K.
|
|
2010
|
|
5-6 |
p. 281-287
7 p.
|
artikel
|
| 42 |
Security approaches in e-cognocracy
|
Salazar, José Luis
|
|
2010
|
|
5-6 |
p. 256-265
10 p.
|
artikel
|
| 43 |
Standardization activities
|
|
|
1992
|
|
5-6 |
p. 497-531
35 p.
|
artikel
|
| 44 |
Standardization aspects
|
Patzke, Robert
|
|
1998
|
|
5-6 |
p. 249-256
8 p.
|
artikel
|
| 45 |
Subject index to volume 16 (1994)
|
|
|
1994
|
|
5-6 |
p. 563-564
2 p.
|
artikel
|
| 46 |
Subject index to volume 14 (1992)
|
|
|
1992
|
|
5-6 |
p. 535-536
2 p.
|
artikel
|
| 47 |
Subject index to volume 17 (1995)
|
|
|
1995
|
|
5-6 |
p. 643-645
3 p.
|
artikel
|
| 48 |
The EN50170 standard for a European fieldbus
|
Demartini, Claudio
|
|
1998
|
|
5-6 |
p. 257-273
17 p.
|
artikel
|
| 49 |
The formal semantics of ISO VDM-SL
|
Larsen, Peter Gorm
|
|
1995
|
|
5-6 |
p. 585-601
17 p.
|
artikel
|
| 50 |
The formal way
|
Kilov, Haim
|
|
1995
|
|
5-6 |
p. 409-412
4 p.
|
artikel
|
| 51 |
The most important information technology standard
|
Berg, John L
|
|
1992
|
|
5-6 |
p. 361-
1 p.
|
artikel
|
| 52 |
The PC open architecture developers' group — An overview
|
Hakozaki, K
|
|
1992
|
|
5-6 |
p. 443-444
2 p.
|
artikel
|
| 53 |
The programming language standards scene, ten years on
|
Meek, B.L.
|
|
1994
|
|
5-6 |
p. 425-426
2 p.
|
artikel
|
| 54 |
The programming language standards scene, ten years on Paper 9: Ada
|
Barnes, John
|
|
1994
|
|
5-6 |
p. 481-485
5 p.
|
artikel
|
| 55 |
The programming language standards scene, ten years on Paper 3: APL
|
Meek, B.L.
|
|
1994
|
|
5-6 |
p. 443-451
9 p.
|
artikel
|
| 56 |
The programming language standards scene, ten years on Paper 8: Basic
|
Kurtz, Thomas E.
|
|
1994
|
|
5-6 |
p. 477-480
4 p.
|
artikel
|
| 57 |
The programming language standards scene, ten years on Paper 11: C
|
Jones, Derek
|
|
1994
|
|
5-6 |
p. 495-503
9 p.
|
artikel
|
| 58 |
The programming language standards scene, ten years on Paper 16: C++
|
De Morgan, Richard M.
|
|
1994
|
|
5-6 |
p. 531-535
5 p.
|
artikel
|
| 59 |
The programming language standards scene, ten years on Paper 4: Cobol
|
Grealish, Rod
|
|
1994
|
|
5-6 |
p. 453-458
6 p.
|
artikel
|
| 60 |
The programming language standards scene, ten years on Paper 14: FIMS (Form Interface Management System)
|
Frantz, Daniel R.
|
|
1994
|
|
5-6 |
p. 519-525
7 p.
|
artikel
|
| 61 |
The programming language standards scene, ten years on Paper 5: Fortran
|
Brainerd, W.S.
|
|
1994
|
|
5-6 |
p. 459-464
6 p.
|
artikel
|
| 62 |
The programming language standards scene, ten years on Paper 12: Lisp
|
Padget, Julian
|
|
1994
|
|
5-6 |
p. 505-509
5 p.
|
artikel
|
| 63 |
The programming language standards scene, ten years on Paper 10: Modula-2
|
Woodman, Mark
|
|
1994
|
|
5-6 |
p. 487-494
8 p.
|
artikel
|
| 64 |
The programming language standards scene, ten years on paper 18: M[UMPS]
|
Diamond, Jon
|
|
1994
|
|
5-6 |
p. 541-545
5 p.
|
artikel
|
| 65 |
The programming language standards scene, ten years on Paper 2: Pascal
|
Joslin, D.A.
|
|
1994
|
|
5-6 |
p. 439-442
4 p.
|
artikel
|
| 66 |
The programming language standards scene, ten years on Paper 7: PL/I
|
Klensin, J.C.
|
|
1994
|
|
5-6 |
p. 469-475
7 p.
|
artikel
|
| 67 |
The programming language standards scene, ten years on paper 19: Pop
|
Anderson, J.A.D.W.
|
|
1994
|
|
5-6 |
p. 547-553
7 p.
|
artikel
|
| 68 |
The programming language standards scene, ten years on Paper 13: Prolog
|
Scowen, Roger
|
|
1994
|
|
5-6 |
p. 511-518
8 p.
|
artikel
|
| 69 |
The programming language standards scene, ten years on paper 20: Rexx
|
Marks, Brian
|
|
1994
|
|
5-6 |
p. 555-557
3 p.
|
artikel
|
| 70 |
The programming language standards scene, ten years on Paper 6: The Algol languages
|
van Wingen, J.W.
|
|
1994
|
|
5-6 |
p. 465-467
3 p.
|
artikel
|
| 71 |
The programming language standards scene, ten years on Paper 1: The scene and the issues
|
Meek, B.L.
|
|
1994
|
|
5-6 |
p. 427-437
11 p.
|
artikel
|
| 72 |
The programming language standards scene, ten years on Paper 15: Vienna Development Method Specification Language (VDM-SL)
|
Parkin, Graeme I.
|
|
1994
|
|
5-6 |
p. 527-530
4 p.
|
artikel
|
| 73 |
The programming language standards scene, ten years on paper 17: Z Notation
|
Nicholls, John
|
|
1994
|
|
5-6 |
p. 537-539
3 p.
|
artikel
|
| 74 |
Towards trustworthy e-voting using paper receipts
|
Lee, Yunho
|
|
2010
|
|
5-6 |
p. 305-311
7 p.
|
artikel
|
| 75 |
Uncovering ISO ROSE protocol errors using Estelle
|
Jirachiefpattana, A.
|
|
1995
|
|
5-6 |
p. 559-583
25 p.
|
artikel
|
| 76 |
Using Z for network modelling: An industrial experience report
|
Wezeman, Clazien D.
|
|
1995
|
|
5-6 |
p. 631-638
8 p.
|
artikel
|
Tijdschrift beschrijving