MECHANICAL LANGUAGES - A COURSE SPECIFICATION

被引:1
|
作者
GORN, S
机构
关键词
D O I
10.1145/364005.364035
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:219 / 222
页数:4
相关论文
共 50 条
  • [42] An adaptive framework for the design of software specification languages
    Neto, JJ
    Silva, PSM
    ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, 2005, : 349 - 352
  • [43] Panel on languages for formal specification of security protocols
    Meadows, C
    10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1997, : 96 - 96
  • [44] A suite of visual languages for statistical survey specification
    Kim, CH
    Hosking, J
    Grundy, J
    2005 IEEE SYMPOSIUM ON VISUAL LANGUAGE AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2005, : 19 - 26
  • [45] Supporting case analysis with algebraic specification languages
    Seino, T
    Ogata, K
    Futatsugi, K
    FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 1073 - 1080
  • [46] ALGEBRAIC SPECIFICATION METHOD OF PROGRAMMING-LANGUAGES
    KITA, H
    SAKABE, T
    INAGAKI, Y
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 220 : 144 - 157
  • [47] AN INVESTIGATION OF REQUIREMENT SPECIFICATION LANGUAGES - THEORY AND PRACTICE
    LEVENE, AA
    MULLERY, GP
    COMPUTER, 1982, 15 (05) : 50 - 59
  • [48] STANDARDS FOR NON-EXECUTABLE SPECIFICATION LANGUAGES
    LARSEN, PG
    PLAT, N
    COMPUTER JOURNAL, 1992, 35 (06): : 567 - 573
  • [49] Comparing Topic Maps Constraint specification languages
    Librelotto, Giovani Rubert
    de Azevedo, Renato Preigschadt
    Ramalho, Jose Carlos
    Henriques, Pedro Rangel
    SCALING TOPIC MAPS, 2008, 4999 : 86 - +
  • [50] Simplified specification languages for flexible and agile modelling
    Lano, K.
    Fang, S.
    Alfraihi, H.
    Kolahdouz-Rahimi, S.
    2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 460 - 467