An analytical software design system arranged to receive informal system design specifications and to convert them into verified design specifications for use in creating source code and carrying out implementation testing of the source code is described. The system comprises a verified black box specification generator arranged to process the received informal system design specifications to create formal specifications; to generate from the formal specifications mathematical models representing the system behaviour; to analyse the mathematical models to determine if they have the required behaviour; to adjust the formal specifications until the required behaviour is achieved; and to derive the required verified design specifications from the mathematical models.
申请公布号
WO2005106649(A2)
申请公布日期
2005.11.10
申请号
WO2005GB01704
申请日期
2005.05.05
申请人
SILVERDATA LIMITED;BROADFOOT, GUY, HAMPSON;HOPCROFT, PHILIPPA, JANE