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

#### Bibliographic Item (1.0)

- Daniel Conte de Leon & Jim Alves-Foss
- Hidden implementation dependencies in high assurance and critical computing systems
- IEEE Trans Software Engineering V32n10(Oct 2006)pp790-811
- =CASE STUDY FORMAL HA&CCS ARTIFACTS RELATIONS LOGIC PROLOG GRAPHIC IMPLEMENTATION ABSTRACTION GUAM DO-178B
- Pedantic theory leads to tool that found problems in software from traceability relations on "work product sections" (artifacts).
- Translation into MATHS

Net
- artifact:Sets.
- implements: @(artifact,artifact) =given, indicates traceability between artifacts.

- |-STRICT_ORDER(strict_relation=>implements, artifact).
- l: artifact>->level =given, assigns a level to each artifact.
- <: @(level, level) =given.

- |-STRICT_ORDER(strict_relation=>(<), level).
- dependency: @(artifact, artifact) =goal.
- d := dependency.

- |- (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))

- 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 for a specific bibliographic item by name.

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