LANGUAGE CONSTRUCTS FOR SPECIFYING CONCURRENCY IN CDL

被引：3
|
作者：
SHYAMASUNDAR, RK
THATCHER, JW
机构：
[1] TATA INST FUNDAMENTAL RES,BOMBAY 400005,INDIA
[2] IBM CORP,THOMAS J WATSON RES CTR,DEPT MATH SCI,YORKTOWN HTS,NY 10598
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1989年 / 15卷 / 08期
关键词：
D O I：
10.1109/32.31354
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：977 / 993
页数：17
相关论文
共 50 条
  • [1] CDL: A LANGUAGE FOR SPECIFYING HIGH-LEVEL CROSS-DOMAIN SECURITY POLICIES
    Thomas, Roshan
    Tsang, Simon
    [J]. 2008 IEEE MILITARY COMMUNICATIONS CONFERENCE: MILCOM 2008, VOLS 1-7, 2008, : 1154 - 1160
  • [2] Specifying Generic Depictions of Language Constructs for 3D Visual Languages
    Wolter, Jan
    [J]. 2013 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2013), 2013, : 139 - 142
  • [3] A language for concurrency
    Leake, S
    [J]. DR DOBBS JOURNAL, 2005, 30 (07): : 8 - 8
  • [4] CDL - A COMPONENT DESCRIPTION LANGUAGE FOR REUSE
    GAUTIER, RJ
    OLIVER, HE
    RATCLIFFE, M
    WHITTLE, BR
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (04) : 499 - 518
  • [5] Specifying formative constructs in information systems research
    Petter, Stacie
    Straub, Detmar
    Rai, Arun
    [J]. MIS QUARTERLY, 2007, 31 (04) : 623 - 656
  • [6] A language for specifying hyperdocuments
    Doberkat, EE
    [J]. SOFTWARE-CONCEPTS AND TOOLS, 1996, 17 (04): : 163 - 172
  • [7] A COMPARISON OF THE CONCURRENCY CONSTRUCTS AND MODULE FACILITIES OF CHILL AND ADA
    FIDGE, CJ
    PASCOE, RSV
    [J]. AUSTRALIAN COMPUTER JOURNAL, 1983, 15 (01): : 17 - 27
  • [8] An empirical study on C plus plus concurrency constructs
    Wu, Di
    Chen, Lin
    Zhou, Yuming
    Xu, Baowen
    [J]. 2015 ACM/IEEE INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT (ESEM), 2015, : 257 - 266
  • [9] Understanding of website usability: Specifying and measuring constructs and their relationships
    Lee, Younghwa
    Kozar, Kenneth A.
    [J]. DECISION SUPPORT SYSTEMS, 2012, 52 (02) : 450 - 463
  • [10] CONCURRENCY IN A LANGUAGE EMPLOYING MESSAGES
    HARLAND, DM
    [J]. INFORMATION PROCESSING LETTERS, 1981, 12 (02) : 59 - 62
12345