USING CCS FOR THE SPECIFICATION OF INHERITANCE

被引：0
|
作者：
BUCHANAN, M [1 ]
DICKERSON, B [1 ]
BRITTON, C [1 ]
LOOMES, M [1 ]
机构：
[1] UNIV HERTFORDSHIRE,SCH INFORMAT SCI,HATFIELD AL10 9AB,HERTS,ENGLAND
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1993年 / 39卷 / 2-5期
关键词：
D O I：
10.1016/0165-6074(93)90064-R
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：93 / 96
页数：4
相关论文
共 50 条
  • [31] Modern rail production using CCS and Railcool technology
    Svejkovsky, Ulrich
    Nerzak, Thomas
    STAHL UND EISEN, 2007, 127 (08): : 55 - +
  • [32] A2CCS - ATOMIC ACTIONS FOR CCS
    GORRIERI, R
    MARCHETTI, S
    MONTANARI, U
    THEORETICAL COMPUTER SCIENCE, 1990, 72 (2-3) : 203 - 223
  • [33] Using a Specification Data Model for Specification of Black-Box Software Components
    Ackermann, Joerg
    ENTERPRISE MODELLING AND INFORMATION SYSTEMS ARCHITECTURES-AN INTERNATIONAL JOURNAL, 2007, 2 (01): : 3 - 13
  • [34] Component Specification Using Event Classes
    Bickford, Mark
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5582 : 140 - 155
  • [35] IMAGE SEGMENTATION USING HISTOGRAM SPECIFICATION
    Thomas, Gabriel
    2008 15TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-5, 2008, : 589 - 592
  • [36] Using SDL diagrams in a DEVS specification
    Fonseca, P
    Casanovas, J
    PROCEEDINGS OF THE FIFTH IASTED INTERNATIONAL CONFERENCE ON MODELLING, SIMULATION, AND OPTIMIZATION, 2005, : 67 - 72
  • [37] Steganography using image histogram specification
    Zhang Guicang
    Yang Jun
    Chen Wanghu
    Yang Xiaodong
    3RD INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 1, PROCEEDINGS, 2005, : 226 - 231
  • [38] Using XML as a questionnaire specification language
    Bethke, Albert D.
    PROCEEDINGS IEEE SOUTHEASTCON 2007, VOLS 1 AND 2, 2007, : 127 - 131
  • [39] Formal specification using interaction diagrams
    Lano, K.
    SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 293 - 301
  • [40] USING FORMAL SPECIFICATION FOR PRODUCT DEVELOPMENT
    LADEAU, BR
    FREEMAN, CW
    HEWLETT-PACKARD JOURNAL, 1991, 42 (05): : 46 - 50
12345