Digitale Bibliotheek
Sluiten
Bladeren door artikelen uit een tijdschrift
Zoeken naar
Tijdschrift
Artikel
ISSN
NBN artikel
NBN tijdschrift
DARE/NARCIS document
met titel:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
nr
titel
auteur
tijdschrift
jaar
jaarg.
afl.
pagina('s)
type
1
An Approach to Security Requirements Engineering for a High Assurance System*
Irvine, Cynthia E.
2002
7
4
p. 192-206
artikel
2
A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System
Helmer, Guy
2002
7
4
p. 207-220
artikel
3
Authorisation Requirements on a Budget
Raymond, Darrell
2002
7
4
p. 179-191
artikel
4
Automatically Detecting and Visualising Errors in UML Diagrams
Campbell, Laura A.
2002
7
4
p. 264-287
artikel
5
Guest Editorial: Requirements Engineering for Information Security
Antón, Annie I.
2002
7
4
p. 177-178
artikel
6
Guest Editorial: Special Issue on Model Checking in Requirements Engineering
Easterbrook, Steve
2002
7
4
p. 221-224
artikel
7
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
Eshuis, Rik
2002
7
4
p. 243-263
artikel
8
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints
Choi, Yunja
2002
7
4
p. 225-242
artikel
8 gevonden resultaten
Koninklijke Bibliotheek -
Nationale Bibliotheek van Nederland