Giving Structured Analysis Technologie a Formal and Operational Semantics with KARL.

Dieter Fensel, Jrgen Angele, Rudi Studer

Browse the full RE paper archive.