Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818692219

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Error and failure analysis of a UNIX server

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731618 ◽

2002 ◽

Cited By ~ 4

Author(s):

R. Lal ◽

G. Choi

Keyword(s):

Failure Analysis

Download Full-text

Integrated architectural modeling and analysis for high-assurance command and control system design

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731627 ◽

2002 ◽

Author(s):

Yi Deng ◽

Jiacun Wang

Keyword(s):

Control System ◽

System Design ◽

Command And Control ◽

Control System Design ◽

Modeling And Analysis ◽

High Assurance ◽

Architectural Modeling ◽

And Control ◽

Command And Control System

Download Full-text

Human-centered virtual machine of problem solving agents, software agents, intelligent agents and objects

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731636 ◽

2002 ◽

Cited By ~ 1

Author(s):

R. Khosla

Keyword(s):

Problem Solving ◽

Virtual Machine ◽

Intelligent Agents ◽

Software Agents

Download Full-text

Analytical partition of software components for evolvable and reliable MEMS design tools

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731611 ◽

2002 ◽

Author(s):

C.L. Hoover ◽

P.K. Khosla

Keyword(s):

Software Components ◽

Design Tools

Download Full-text

Automatic verification on the large

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731605 ◽

2002 ◽

Cited By ~ 9

Author(s):

Farn Wang ◽

Pao-Ann Hsiung

Keyword(s):

Automatic Verification

Download Full-text

Verification in concurrent programming with Petri nets structural techniques

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731604 ◽

2002 ◽

Cited By ~ 6

Author(s):

K. Barkaoui ◽

J.-F. Pradat-Peyre

Keyword(s):

Petri Nets ◽

Concurrent Programming

Download Full-text

Incremental development of a high integrity compiler: experience from an industrial development

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731606 ◽

2002 ◽

Cited By ~ 3

Author(s):

S. Stepney

Keyword(s):

Industrial Development ◽

Incremental Development ◽

High Integrity

Download Full-text

The application of fuzzy enhanced case-based reasoning for identifying fault-prone modules

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731599 ◽

2002 ◽

Cited By ~ 4

Author(s):

D.F. Schenker ◽

T.M. Khoshgoftaar

Keyword(s):

Case Based Reasoning ◽

Case Based

Download Full-text

Log-logistic software reliability growth model

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731593 ◽

2002 ◽

Cited By ~ 41

Author(s):

S.S. Gokhale ◽

K.S. Trivedi

Keyword(s):

Growth Model ◽

Software Reliability ◽

Reliability Growth ◽

Software Reliability Growth Model ◽

Software Reliability Growth

Download Full-text

Formal specification in collaborative design of critical software tools

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731590 ◽

2002 ◽

Cited By ~ 6

Author(s):

D. Coppit ◽

K.J. Sullivan

Keyword(s):

Formal Specification ◽

Collaborative Design ◽

Software Tools

Download Full-text

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Error and failure analysis of a UNIX server

Integrated architectural modeling and analysis for high-assurance command and control system design

Human-centered virtual machine of problem solving agents, software agents, intelligent agents and objects

Analytical partition of software components for evolvable and reliable MEMS design tools

Automatic verification on the large

Verification in concurrent programming with Petri nets structural techniques

Incremental development of a high integrity compiler: experience from an industrial development

The application of fuzzy enhanced case-based reasoning for identifying fault-prone modules

Log-logistic software reliability growth model

Formal specification in collaborative design of critical software tools

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)
Latest Publications