Simulating the behaviour of software modules by trace rewriting - Wang, Y.; Parnas, D.L. (Proceedings of 1993 15th International Conference on Software Engineering, 1993)
Keywords: Automata; Communication standards; Computational modeling; Computer simulation; Discrete event simulation; Formal specifications; History; Software systems; Software tools; Testing