Proceedings of the conference on Software for citical systems - SIGSOFT '91
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By ACM Press

0897914554

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Rigorous development using RAISE

Proceedings of the conference on Software for citical systems - SIGSOFT '91 ◽

10.1145/125083.123049 ◽

1991 ◽

Author(s):

Bent Dandanell

Download Full-text

An exception handling model for parallel programming and its verification

Proceedings of the conference on Software for citical systems - SIGSOFT '91 ◽

10.1145/125083.123058 ◽

1991 ◽

Author(s):

Valérie Issarny

Keyword(s):

Parallel Programming ◽

Exception Handling

Download Full-text

Formal verification of algorithms for critical systems

Proceedings of the conference on Software for citical systems - SIGSOFT '91 ◽

10.1145/125083.123044 ◽

1991 ◽

Author(s):

John Rushby ◽

Friedrich von Henke

Keyword(s):

Formal Verification ◽

Critical Systems

Download Full-text

A real-time transition model for analyzing behavioral compatibility of telecommunications services

Proceedings of the conference on Software for citical systems - SIGSOFT '91 ◽

10.1145/125083.123059 ◽

1991 ◽

Author(s):

E. Jane Cameron ◽

Yow-Jian Lin

Keyword(s):

Real Time ◽

Transition Model ◽

Behavioral Compatibility ◽

Telecommunications Services

Download Full-text

Automated analysis of bounded response time for two NASA expert systems

Proceedings of the conference on Software for citical systems - SIGSOFT '91 ◽

10.1145/125083.123067 ◽

1991 ◽

Author(s):

Chih-Kan Wang ◽

Duu-Chung Tsou ◽

Rwo-Hsi Wang ◽

James C. Browne ◽

Aloysius K. Mok

Keyword(s):

Response Time ◽

Expert Systems ◽

Automated Analysis

Download Full-text

State-based model checking of event-driven system requirements

Proceedings of the conference on Software for citical systems - SIGSOFT '91 ◽

10.1145/125083.123047 ◽

1991 ◽

Author(s):

Joanne Atlee ◽

John Gannon

Keyword(s):

Model Checking ◽

Driven System ◽

Event Driven ◽

System Requirements

Download Full-text

Assessing the fault-detecting ability of testing methods

Proceedings of the conference on Software for citical systems - SIGSOFT '91 ◽

10.1145/125083.123056 ◽

1991 ◽

Author(s):

Phyllis G. Frankl ◽

Elaine J. Weyuker

Keyword(s):

Testing Methods

Download Full-text

The infeasibility of experimental quantification of life-critical software reliability

Proceedings of the conference on Software for citical systems - SIGSOFT '91 ◽

10.1145/125083.123054 ◽

1991 ◽

Author(s):

Ricky W. Butler ◽

George B. Finelli

Keyword(s):

Software Reliability

Download Full-text

A systematic kernel development

Proceedings of the conference on Software for citical systems - SIGSOFT '91 ◽

10.1145/125083.123053 ◽

1991 ◽

Author(s):

Jørgen F. Søgaard-Anderson ◽

Camilla Østerberg Rump ◽

Hans Henrik Løvengreen

Keyword(s):

Kernel Development

Download Full-text

Specifying and verifying requirements of real-time systems

Proceedings of the conference on Software for citical systems - SIGSOFT '91 ◽

10.1145/125083.123051 ◽

1991 ◽

Author(s):

Kirsten M. Hansen ◽

Anders P. Ravn ◽

Hans Rischel

Keyword(s):

Real Time ◽

Real Time Systems ◽

Download Full-text