Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) (PDF)

Hase 2000 Organizing Committees (PDF)

Disruptive Technologies (PDF)

Engineering Ethics: Principles and Practical Maxims (PDF)

null (PDF)

Constructions of Behaviour Observation Schemes in Software Testing (Abstract)

Determining the Expected Time to Unsafe Failure (Abstract)

Analysis of Software Cost Models with Rejuvenation (Abstract)

Integration of System Dependability and Software Reliability Growth Models for E-Commerce Systems (Abstract)

null (PDF)

How Can Symposia Be Structured to Benefit Both Industry and Academia? (PDF)

Issues Concerning the Future of Computer Science (PDF)

Four Areas of Overlapping Interest (PDF)

On How Symposia Can Be Structured to Benefit Academia and Industry (PDF)

null (PDF)

A Stochastic Extension of a Behavioural Subset of UML Statechart Diagrams (Abstract)

Capturing an Application's Temporal Properties with UML for Real-Time (Abstract)

The DADSim Air Defense Simulation Environment (Abstract)

Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models (Abstract)

Disappearing Formal Methods (PDF)

null (PDF)

A Flexible Real-Time Architecture (Abstract)

An Embedded System for Safe, Secure and Reliable Execution of High Consequence Software (Abstract)

Application of the B Formal Method to the Proof of a Type Verification Algorithm (Abstract)

Generating Evidence for Certification of Modern Processors for Use in Safety-Critical Systems (Abstract)

null (PDF)

Do Formal Methods Really Belong in the Toolbox of the Practicing Engineer? (PDF)

Reliable Software Construction: A Logic Programming Based Methodology (PDF)

The Use of Formal Methods in Hardware and Software Cannot Be Abandoned (PDF)

null (PDF)

Automatic Abstractions of Real-Time Specifications (Abstract)

Safety Analysis of an Evolving Software Architecture (Abstract)

Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher (Abstract)

The Synthesis of Real-Time Systems from Processing Graphs (Abstract)

null (PDF)

Providing Convincing Evidence of Safety in X-by-Wire Automotive Systems (Abstract)

The Experience of Auditing Software for Safety Critical Railway Signalling Equipment (Abstract)

Providing Guaranteed Assurance to Connection-Oriented Group Communications Using Disjoint Routing (PDF)

A Layered Framework Strategy for Deploying High Assurance VPNs (Abstract)

Formal Specification Techniques as a Catalyst in Validation (Abstract)

High Assurance Software Testing in Business and DoD (Abstract)

GSU Middleware Architecture Design (Abstract)

First Principles Applied to Software Safety — The Novel Use of Silicon Machinery (Abstract)

null (PDF)

Structured Language for Specifications of Quantitative Requirements (Abstract)

Safety Validation of Embedded Control Software Using Z Animation (Abstract)

Modeling with Extended Fault Trees (Abstract)

Analysis of Group Communication Protocols to Assess Quality of Service Properties (Abstract)

null (PDF)

Measuring and Assessing Software Test Processes Using Test Data (Abstract)

A High-Assurance Measurement Repository System (Abstract)

Assurance System Architecture for Information Service by Utilizing Autonomous Mobile Agents (Abstract)

Prediction of Software Faults Using Fuzzy Nonlinear Regression Modeling (Abstract)

null (PDF)

null (PDF)

On the Sensitivity of NMR Unreliability to Non-Exponential Repair Distributions (Abstract)

Using Product, Process, and Execution Metrics to Predict Fault-Prone Software Modules with Classification Trees (Abstract)

An Exception Handling Software Architecture for Developing Fault-Tolerant Software (Abstract)

Bayesian Framework for Reliability Assurance of a Deployed Safety Critical System (Abstract)

Author Index (PDF)