Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     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