COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0780305795

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Z specifications in category partition testing

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance ◽

10.1109/cmpass.1992.235766 ◽

2003 ◽

Cited By ~ 14

Author(s):

N. Amla ◽

P. Ammann

Keyword(s):

Partition Testing

Download Full-text

The use of Ada PDL as the basis for validating a system specified by control flow logic

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance ◽

10.1109/cmpass.1992.235760 ◽

2003 ◽

Author(s):

R.B. Mead

Keyword(s):

Control Flow

Download Full-text

An analysis of selected software safety standards

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance ◽

10.1109/cmpass.1992.235757 ◽

2003 ◽

Cited By ~ 2

Author(s):

D.R. Wallace ◽

D.R. Kuhn ◽

L.M. Ippolito

Keyword(s):

Software Safety ◽

Safety Standards

Download Full-text

A formal approach for security evaluation

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance ◽

10.1109/cmpass.1992.235762 ◽

2003 ◽

Cited By ~ 3

Author(s):

J.A. McDermid ◽

Q. Shi

Keyword(s):

Security Evaluation ◽

Formal Approach

Download Full-text

Modular verification of Ada library units

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance ◽

10.1109/cmpass.1992.235764 ◽

2003 ◽

Author(s):

C. Marceau ◽

W. Polak

Keyword(s):

Modular Verification

Download Full-text

A review of computer controlled systems safety and quality assurance concerns for acquisition managers

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance ◽

10.1109/cmpass.1992.235758 ◽

2003 ◽

Author(s):

J.R. Friend

Keyword(s):

Quality Assurance ◽

Controlled Systems ◽

Computer Controlled

Download Full-text

A probabilistic approach to assurance of database design

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance ◽

10.1109/cmpass.1992.235763 ◽

2003 ◽

Cited By ~ 1

Author(s):

L. Russell

Keyword(s):

Probabilistic Approach ◽

Database Design

Download Full-text

Verification of numerical programs using Penelope/Ariel

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance ◽

10.1109/cmpass.1992.235765 ◽

2003 ◽

Author(s):

S. Prasad

Download Full-text

A case study in process representation using MVP-L

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance ◽

10.1109/cmpass.1992.235756 ◽

2003 ◽

Cited By ~ 4

Author(s):

C.D. Klingler ◽

M. Nevaiser ◽

A. Marmor-Squires ◽

C.M. Lott ◽

H.D. Rombach

Keyword(s):

Process Representation

Download Full-text

Software safety and economics

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance ◽

10.1109/cmpass.1992.235759 ◽

2003 ◽

Author(s):

J.B. Michael ◽

E.A. Addy ◽

S.C. Fortier ◽

B. Junk ◽

J. McHugh

Keyword(s):

Software Safety

Download Full-text

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer AssuranceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Using Z specifications in category partition testing

The use of Ada PDL as the basis for validating a system specified by control flow logic

An analysis of selected software safety standards

A formal approach for security evaluation

Modular verification of Ada library units

A review of computer controlled systems safety and quality assurance concerns for acquisition managers

A probabilistic approach to assurance of database design

Verification of numerical programs using Penelope/Ariel

A case study in process representation using MVP-L

Software safety and economics

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance
Latest Publications