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 条
  • [31] OBJECT-ORIENTED APPROACH TO THE SPECIFICATION OF MANUFACTURING SYSTEMS
    JOANNIS, R
    KRIEGER, M
    [J]. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1992, 5 (02): : 133 - 145
  • [32] Object-oriented specification of automated manufacturing systems
    Mak, KL
    Lau, HYK
    Wong, STW
    [J]. ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1999, 15 (04) : 297 - 312
  • [33] Object-oriented requirements specification for imaging systems
    Laplante, PA
    Neill, CJ
    Russell, DW
    [J]. LOW-LIGHT-LEVEL AND REAL-TIME IMAGING SYSTEMS, COMPONENTS, AND APPLICATIONS, 2003, 4796 : 189 - 199
  • [34] Object-oriented support for specification of distributed protocols
    Sturman, DC
    [J]. PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON OBJECT-ORIENTATION IN OPERATING SYSTEMS, 1996, : 133 - 137
  • [35] MODULAR SPECIFICATION AND VERIFICATION OF OBJECT-ORIENTED PROGRAMS
    LEAVENS, GT
    [J]. IEEE SOFTWARE, 1991, 8 (04) : 72 - 80
  • [36] Object-oriented specification and open distributed systems
    Johnsen, EB
    Owe, O
    [J]. FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 137 - 164
  • [37] Specification and enforcement of object-oriented RBAC model
    Zhang, CN
    Yang, CG
    [J]. CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING 2001, VOLS I AND II, CONFERENCE PROCEEDINGS, 2001, : 301 - 305
  • [38] The object-oriented approach to the specification of geographic applications
    Abrantes, G
    [J]. GEOGRAPHICAL INFORMATION - FROM RESEARCH TO APPLICATION THROUGH COOPERATION, VOLS 1 AND 2, 1996, : 248 - 257
  • [39] Virginity: A contribution to the specification of object-oriented software
    Leino, KRM
    Stata, R
    [J]. INFORMATION PROCESSING LETTERS, 1999, 70 (02) : 99 - 105
  • [40] A behavior-based classification and retrieval technique for object-oriented specification reuse
    Chou, SC
    Chen, JY
    Chung, CG
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1996, 26 (07): : 815 - 832
12345