OBJECT POINTING SOFTWARE DESIGN SUPPORTING METHOD AND SPECIFICATION VERIFYING METHOD AMONG DIFFERENT DESIGN FORMS AND PROGRAMS OF SOFTWARE

摘要

PURPOSE: To provide a method which can support the software design with higher accuracy and in an easy way by verifying the compatibility of specifications among different software design forms and programs and showing the results of verification to a software producer. ;CONSTITUTION: An editor part 1 produces each software design form and then produces a program by making reference to the software design form on a computer screen. An interpreter part 2 stores the graphic information and the specification information on the software design form in a storage part 3 separately from each other. Then a verifying part 4 verifies the compatible properties between a prescribed software design form and a prescribed program by normalization of the inter-process communication and feeds the result of this verification back to a designer.;COPYRIGHT: (C)1994,JPO&Japio