GRIT-an extended REFINE for more executable specifications - Bailes, P.; Chapman, M.; Gong, M.; Peake, I. (Proceedings of 8th Knowledge-Based Software Engineering Conference, 1993)
Keywords: Computer languages; Computer science; Data structures; Functional programming; Laboratories; Prototypes; Reflection; Software engineering; Software prototyping; Technological innovation