Rigorous development using RAISE

Authors:
Bent Dandanell
Affiliations:
Computer Resources International A/S (CRI), Bregnerødvej 144, DK-3460 Birkerød, Denmark
Venue:
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Year:
1991

Citing 3
Cited 2

Communicating sequential processes

Communicating sequential processes
The RAISE specification language

The RAISE specification language
Social processes and proofs of theorems and programs

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Modular Pluggable Analyses for Data Structure Consistency

IEEE Transactions on Software Engineering
An overview of the Jahob analysis system: project goals and current status

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing

Quantified Score

Hi-index	0.00

Visualization

Abstract