Precise specification of behavior in object-oriented standardization activities

被引：0
|
作者：
Kilov, Haim [1 ]
机构：
[1] Bellcore, Piscataway, United States
来源：
Computer Standards and Interfaces | 1993年 / 15卷 / 2-3期
关键词：
American National Standards Institute - Behavior - Information modeling - Managed objects - Object oriented database task group - Open distributed processing - Semantics - Specification - Standards compatibility;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：275 / 285
相关论文
共 50 条
  • [1] PRECISE SPECIFICATION OF BEHAVIOR IN OBJECT-ORIENTED STANDARDIZATION ACTIVITIES
    KILOV, H
    [J]. COMPUTER STANDARDS & INTERFACES, 1993, 15 (2-3) : 275 - 285
  • [2] AN OBJECT-ORIENTED SPECIFICATION FOR COMPILER
    WU, PC
    WANG, FJ
    [J]. SIGPLAN NOTICES, 1992, 27 (01): : 85 - 94
  • [3] Collective specification and verification of behavior models and object-oriented implementations
    Yi, Qing
    Niu, Jianwei
    Marneni, Anitha R.
    [J]. ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies, 2011, 2 : 15 - 24
  • [4] COLLECTIVE SPECIFICATION AND VERIFICATION OF BEHAVIOR MODELS AND OBJECT-ORIENTED IMPLEMENTATIONS
    Yi, Qing
    Niu, Jianwei
    Marneni, Anitha R.
    [J]. ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, 2011, : 15 - 24
  • [5] OBJECT-ORIENTED SPECIFICATION IN LOTOS AND Z, OR MY CAT REALLY IS OBJECT-ORIENTED
    CUSACK, E
    LAI, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 489 : 179 - 202
  • [6] Process algebra for object-oriented specification
    Liebert, SJ
    [J]. ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING, 1996, : 145 - 155
  • [7] AN OBJECT-ORIENTED REQUIREMENTS SPECIFICATION METHOD
    BAILIN, SC
    [J]. COMMUNICATIONS OF THE ACM, 1989, 32 (05) : 608 - 623
  • [8] Object-oriented specification of protocols for reusability
    Prinz, A
    Schwarz, M
    [J]. TELECOMMUNICATIONS AND BEYOND: THE BROADER APPLICABILITY OF SDL AND MSC, 2003, 2599 : 90 - 102
  • [9] Object-oriented software specification language
    Quan, Bingzhe
    Jin, Chunzhao
    [J]. Ruan Jian Xue Bao/Journal of Software, 1995, 6 (12):
  • [10] FORMAL SPECIFICATION AND OBJECT-ORIENTED DESIGN
    BUCHANAN, M
    BRITTON, C
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 19 - 22
12345