FORMAL SPECIFICATION AND DECISION-SUPPORT

被引：2

作者：

KRAUSE, PJ ^{[1
]}

BYERS, PJ ^{[1
]}

HAJNAL, S ^{[1
]}

机构：

[1] UNIV SURREY,DEPT MATH & COMP SCI,GUILDFORD GU2 5XH,SURREY,ENGLAND

来源：

DECISION SUPPORT SYSTEMS | 1994年 / 12卷 / 03期

关键词：

DSS DEVELOPMENT; FORMAL SPECIFICATION; SOFTWARE ENGINEERING; KBS VALIDATION;

D O I：

10.1016/0167-9236(94)90003-5

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

To gain widespread acceptance, decision support systems must be built to the highest possible standards. We believe techniques of formal specification and refinement have a valuable role to play in the development of certain components of decision support systems. We present a tutorial study of the use of formal specification focused on a system for maintaining deductive extensions of a knowledge base. The system is specified using an object-oriented variant of the specification language Z. The relationship of the formal specification with existing theoretical work in AI is discussed together with its refinement into a demonstrably correct implementation.

引用

页码：189 / 197

页数：9

共 50 条

[31] INTERACTIVE DECISION-SUPPORT FOR REQUIREMENTS NEGOTIATION
ROBINSON, WN
[J]. CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 1994, 2 (03): : 237 - 251
[32] A system of emotional agents for decision-support
Daviet, S
Desmier, H
Briand, H
Guillet, F
Philippé, V
[J]. 2005 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2005, : 711 - 717
[33] DECISION-SUPPORT IN HEALTH-CARE
CLAYTON, PD
HRIPCSAK, G
[J]. INTERNATIONAL JOURNAL OF BIO-MEDICAL COMPUTING, 1995, 39 (01): : 59 - 66
[34] POLLUTION PREVENTION DECISION-SUPPORT SYSTEM
RISTROPH, JH
MURALIDHARAN, R
MIGLANI, N
ARCURI, KB
KNIGHT, M
[J]. COMPUTERS & INDUSTRIAL ENGINEERING, 1993, 25 (1-4) : 349 - 352
[35] CARDIAC ISCHEMIA DECISION-SUPPORT TOOLS
COREY, GA
[J]. JOURNAL OF FAMILY PRACTICE, 1988, 27 (06): : 576 - 577
[36] ERP plans and decision-support benefits
Holsapple, CW
Sena, MP
[J]. DECISION SUPPORT SYSTEMS, 2005, 38 (04) : 575 - 590
[37] A DECISION-SUPPORT SYSTEM FOR MEDIA PLANNING
MOYNIHAN, GP
KUMAR, ANR
DSOUZA, G
NICHOLS, WG
[J]. COMPUTERS & INDUSTRIAL ENGINEERING, 1995, 29 : 383 - 386
[38] INFORMATION INTEGRATION IN A DECISION-SUPPORT SYSTEM
HUDSON, DL
COHEN, ME
DEEDWANIA, PC
[J]. JOURNAL OF THE AMERICAN MEDICAL INFORMATICS ASSOCIATION, 1994, : 1051 - 1051
[39] DECISION-SUPPORT SYSTEMS DOWNFALL - MANAGEMENT
PACKER, CL
[J]. HOSPITALS, 1989, 63 (06): : 100 - 100
[40] The decision-support characteristics of ERP systems
Holsapple, CW
Sena, MP
[J]. INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, 2003, 16 (01) : 101 - 123

← 1 2 3 4 5 →