Project

Back to overview

Specifying Logic Programs in Controlled Natural Language

Applicant Fuchs Norbert E.
Number 43540
Funding scheme Project funding (Div. I-III)
Research institution Institut für Informatik Universität Zürich
Institution of higher education University of Zurich - ZH
Main discipline Information Technology
Start/End 01.01.1996 - 31.12.1996
Approved amount 41'727.00
Show all

Keywords (10)

SOFTWARE REQUIREMENTS; LOGIC PROGRAMMING; CONTROLLED NATURAL LANGUA; GE; LEXICAL EDITOR; SOFTWARE SPECIFICATIONS; VIEWS; FEATURE STRUCTURES; EVENT SEMANTICS QUERIES; ALGORITHMS

Responsible applicant and co-applicants

Employees

Name Institute

Associated projects

Number Title Start Funding scheme
37591 Ausführbare Spezifikationen als Grundlage von Software- Entwicklung (Software Development Based on Executable Specifications) 01.10.1993 Project funding (Div. I-III)
47151 Attempto - Controlled English for Requirements Specifications 01.01.1997 Project funding (Div. I-III)

-