[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

GradonEtAl12

  1. Patrick Graydon & Ibrahim Habli & Richard Harwkins & Tim Kelly & John Wright
  2. Arguing conformance
  3. IEEE Software Magazine V29n3(May/Jun 2012)pp50-57 [ software ]
  4. =IDEA ARGUMENTS EXPLICIT INFORMAL REASONS COMPLIANCE STANDARDS
  5. Developers should explain why their software conforms to the standard.
  6. Conformance arguments make the reasoning why the software meets the standard explicit: claims, strategies, contexts, evidence. This exposes the developers' interpretation of the standard.
  7. Mentions three notations/tools (from safety arguments) and figures show one.
  8. GSN=Goal Structuring Notation.
  9. CAE=Claims-Argument-Evidence. OMG Unifying these to give:
    1. ARM=Argumentation Metamodel, [ http://www.omg.org/spec/ARM/ ]
    2. SAEM=Software Assurance Evidence Metamodel (SAEM), [ http://www.omg.org/spec/SAEM/ ]
    3. SACM= Structured Assurance Case Metamodel.

    [ spec ]
  10. (dick)|-could use Toulmin, [ Toulmin%20Arguments%20and%20Rationales in notn_5_Form ]

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]