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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

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

Cited By ~ 4

Author(s):

Bent Dandanell

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 ◽

Cited By ~ 10

Author(s):

John Rushby ◽

Friedrich von Henke

Keyword(s):

Formal Verification ◽

Critical Systems

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 ◽

Cited By ~ 7

Author(s):

Valérie Issarny

Keyword(s):

Parallel Programming ◽

Exception Handling

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 ◽

Cited By ~ 11

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 14

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 ◽

Cited By ~ 9

Author(s):

Phyllis G. Frankl ◽

Elaine J. Weyuker

Keyword(s):

Testing Methods

Download Full-text

A systematic kernel development

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

10.1145/125083.123053 ◽

1991 ◽

Cited By ~ 1

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 ◽

Cited By ~ 12

Author(s):

Kirsten M. Hansen ◽

Anders P. Ravn ◽

Hans Rischel

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

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 ◽

Cited By ~ 44

Author(s):

Ricky W. Butler ◽

George B. Finelli

Keyword(s):

Software Reliability

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Rigorous development using RAISE

Formal verification of algorithms for critical systems

An exception handling model for parallel programming and its verification

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

Automated analysis of bounded response time for two NASA expert systems

State-based model checking of event-driven system requirements

Assessing the fault-detecting ability of testing methods

A systematic kernel development

Specifying and verifying requirements of real-time systems

The infeasibility of experimental quantification of life-critical software reliability

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