TermWare

TermWare is a rule processing engine intended for embedding into Java applications. TermWare implements terminal systems concept. Main range of applications: * problem-oriented languages (or DSL, from domain-specific) development. * computer algebra systems. * various formal models analysis and transformation. * software engineering.