LANGUAGE FOR FORMAL PROBLEM SPECIFICATION

被引：12
|
作者：
GREIF, I [1 ]
机构：
[1] UNIV WASHINGTON,SEATTLE,WA 98195
来源：
COMMUNICATIONS OF THE ACM | 1977年 / 20卷 / 12期
关键词：
D O I：
10.1145/359897.359904
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：931 / 935
页数：5
相关论文
共 50 条
  • [1] English as a formal specification language
    Schwitter, R
    13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2002, : 228 - 232
  • [2] Alneelain: A Formal Specification Language
    Ali, Nahid A.
    Mirghani, Amal A.
    Ibrahim, Abdelrasoul Y.
    2017 INTERNATIONAL CONFERENCE ON COMMUNICATION, CONTROL, COMPUTING AND ELECTRONICS ENGINEERING (ICCCCEE), 2017,
  • [3] ConSpec - A formal language for policy specification
    Aktug, Irem
    Naliuka, Katsiaryna
    SCIENCE OF COMPUTER PROGRAMMING, 2008, 74 (1-2) : 2 - 12
  • [4] A formal specification language for agent conversations
    Soriano, J
    Alonso, F
    López, G
    MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS, 2003, 2691 : 214 - 225
  • [5] Evaluating a formal KBS specification language
    vanHarmelen, F
    Aben, M
    Ruiz, F
    vandePlassche, J
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1996, 11 (01): : 56 - 62
  • [6] Formal Specification of a Particular Banking Domain with RAISE Specification Language
    Nami, Mohammad Reza
    Malekpour, Abbas
    2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 7 - +
  • [7] A Language for Biochemical Systems: Design and Formal Specification
    Pedersen, Michael
    Plotkin, Gordon D.
    TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XII, 2010, 5945 : 77 - 145
  • [8] ConSpec- A Formal Language for Policy Specification
    Aktug, Irem
    Naliuka, Katsiaryna
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 197 (01) : 45 - 58
  • [9] On the Formal Semantics of MiniMaple and its Specification Language
    Khan, Muhammad Taimoor
    10TH INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT 2012), 2012, : 169 - 174
  • [10] On a GUI based editor for a formal specification language
    Ishikawa, I
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2004, 111 : 241 - 248
12345