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

Bibliographic Item (1.0)

ContedeLeonAlves-Foss06

  1. Daniel Conte de Leon & Jim Alves-Foss
  2. Hidden implementation dependencies in high assurance and critical computing systems
  3. IEEE Trans Software Engineering V32n10(Oct 2006)pp790-811
  4. =CASE STUDY FORMAL HA&CCS ARTIFACTS RELATIONS LOGIC PROLOG GRAPHIC IMPLEMENTATION ABSTRACTION GUAM DO-178B
  5. Pedantic theory leads to tool that found problems in software from traceability relations on "work product sections" (artifacts).
  6. Translation into MATHS
    Net
    1. artifact:Sets.
    2. implements: @(artifact,artifact) =given, indicates traceability between artifacts.
    3. |-STRICT_ORDER(strict_relation=>implements, artifact).
    4. l: artifact>->level =given, assigns a level to each artifact.
    5. <: @(level, level) =given.
    6. |-STRICT_ORDER(strict_relation=>(<), level).
    7. dependency: @(artifact, artifact) =goal.
    8. d := dependency.
    9. |- (conceptual_completeness): for x, y, z: artifact((if (x implements y and z) and l(x)<l(y)<l(z) then y d z) and (if (x and y implements z) and l(x)<l(y)<l(z) then x d y))

    10. STRICT_ORDER::= See http://csci.csusb.edu/dick/maths/math_21_Order.html#STRICT_ORDER


    (End of Net)


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]