Cecil/cesar: specification and static evaluation of sequencing constraints

Authors:
Kurt Michael Olender;Leon J. Osterweil
Affiliations:
-;-
Venue:
Cecil/cesar: specification and static evaluation of sequencing constraints
Year:
1988

Citing 0
Cited 3

Cesar: a static sequencing constraint analyzer

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation

IEEE Transactions on Software Engineering
Language constructs for managing change in process-centered environments

SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments

Quantified Score

Hi-index	0.00

Visualization

Abstract