MECHANICAL LANGUAGES - A COURSE SPECIFICATION

被引：1
|
作者：
GORN, S
机构：
来源：
COMMUNICATIONS OF THE ACM | 1964年 / 7卷 / 04期
关键词：
D O I：
10.1145/364005.364035
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：219 / 222
页数：4
相关论文
共 50 条
  • [31] On Checking Controllability of Specification Languages for DES
    Davydov, Artem
    Larionov, Aleksandr
    Nagul, Nadezhda
    2020 43RD INTERNATIONAL CONVENTION ON INFORMATION, COMMUNICATION AND ELECTRONIC TECHNOLOGY (MIPRO 2020), 2020, : 1151 - 1156
  • [32] On equality predicates in algebraic specification languages
    Masaki, Nakamura
    Kokichi, Futatsugi
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2007, PROCEEDINGS, 2007, 4711 : 381 - +
  • [33] Integration of specification languages using viewpoints
    Bujorianu, MC
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 421 - 440
  • [34] AN AXIOMATIC APPROACH TO SEMANTICS OF SPECIFICATION LANGUAGES
    MAHR, B
    MAKOWSKY, JA
    LECTURE NOTES IN COMPUTER SCIENCE, 1982, 145 : 211 - 219
  • [35] A family of languages for architecture constraint specification
    Tibermacine, Chouki
    Fleurquin, Regis
    Sadou, Salah
    JOURNAL OF SYSTEMS AND SOFTWARE, 2010, 83 (05) : 815 - 831
  • [36] COMMUNICATION PRIMITIVES IN PROGRAMMING AND SPECIFICATION LANGUAGES
    HENNESSY, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 248 : 223 - 251
  • [37] Methodology to evaluate the functionality of specification languages
    Gasperovic, Jelena
    Caplinskas, Albertas
    INFORMATICA, 2006, 17 (03) : 325 - 346
  • [38] Paradigm integration in a specification course
    Martins, Manuel A.
    Madeira, Alexandre
    Barbosa, Luis Soares
    Neves, Renato
    2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 492 - 499
  • [39] 2015 Forun on Specification and Design Languages (FDL)
    Forum Specifi. Des. Lang.,
  • [40] A review of SLA specification languages in the Cloud Computing
    Maarouf, Adil
    Marzouk, Abderrahim
    Haqiq, Abdelkrim
    2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS: THEORIES AND APPLICATIONS (SITA), 2015,
12345