Search
Now showing items 81-85 of 85
Applying Metrics to Cross-Technical Evaluations
Ernst, Dietmar; Houdek, Frank; Coombes, H.; Hooft van Huysduynen, M.; Peeters, B. (1998)
Beitrag zu einer Konferenz
TkGofer: A Functional GUI Library
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo; Wirsing, M.; Nivat, M. (1996)
Beitrag zu einer Konferenz
Transformational derivation of (parallel) programs using skeletons
Boiten, E. A.; Geerling, A. M.; Partsch, H. A. (1993)
Beitrag zu einer Konferenz
The VSE Development Method - A Way to Engineer High-Assurance Software Systems
Hutter, D. et al.; Gotzheim, B. (1995)
Beitrag zu einer Konferenz
System Support for the Interactive Transformation of Functional Programs
Partsch, Helmuth; Schulte, Wolfram; Vullinghs, Ton (1999)
Beitrag zu einer Konferenz