Specification Language NUJSL Based on JSP and Its Supporting System

摘要

is paper presents the specification languange NUJSL and its supporting system.NUJSL is a modular specification language based on Jackson Program Design Method(JSP).With the module construction,it is convenient to use NUJSL to write larger specifications.The supporting system supports the incremental development of software specification in NUJSL,and implements the transformation both from specification to software procedural description in Jackson Schematic Logic(pseudo code)and from procedural description to PASCAL program.