Software SPEC L-PERFECT

It is a tool for accurately writing requirement specifications in simple grammar.

The software requirements specification is a collection of sentences that consist of the requirements that the program should fulfill. The sentences include explanations of the requirements, but ultimately, what needs to be realized is expressed in conditional imperative sentences of the form "if ~, then ~; otherwise, ~" and in unconditional imperative sentences of the form " ~." The "~" represents a sentence that consists of one subject and one predicate, or one object and one imperative predicate (unit sentence). The terms "if" and the negation "otherwise" will be referred to as unit sentence conjunctions. Thus, the specification can be described using unit sentences and unit sentence conjunctions.

Development support tools (ICE, emulators, debuggers, etc.)