Simulating the behaviour of software modules by trace rewriting

Authors:
Yabo Wang;David Lorge Parnas
Affiliations:
Communications Research Laboratory, Department of Electrical and Computer Engineering, McMaster University, Hamilton, Ontario, Canada;Communications Research Laboratory, Department of Electrical and Computer Engineering, McMaster University, Hamilton, Ontario, Canada
Venue:
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Year:
1993

Thue systems as rewriting systems

Journal of Symbolic Computation
Termination of rewriting

Journal of Symbolic Computation
An exception handling method for constructive algebraic specifications

Software—Practice & Experience
Confluent term rewriting systems with membership conditions

1st international workshop on Conditional Term Rewriting Systems
An overview of LP, the larch power

RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
Term rewriting systems

Handbook of logic in computer science (vol. 2)
Principles of OBJ2

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Trace Rewriting Systems

CTRS '92 Proceedings of the Third International Workshop on Conditional Term Rewriting Systems

Visual software engineering with rules

ACM SIGSOFT Software Engineering Notes
On testing of classes in object-oriented programs

CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Illuminating software specifications

CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Augmenting sequence enumeration with string-rewriting for requirements analysis and behavioral specification

FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Applying string-rewriting to sequence-based specification

Formal Methods in System Design

Hi-index	0.00