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 条
  • [21] Modular specification of encapsulated object-oriented components
    Poetzsch-Heffter, Arnd
    Schaefer, Jan
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 313 - 341
  • [22] A requirements specification model for object-oriented methodologies
    Adamo, VP
    [J]. ENTELEC '96, TECHNICAL PAPERS: TO EDUCATE AND INFORM, 1996, : 137 - 140
  • [23] Sequence specification for concurrent object-oriented applications
    Wang, YM
    Vishnuvajjala, RV
    Tsai, WT
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1998, 8 (03) : 361 - 383
  • [24] AN OBJECT-ORIENTED SPECIFICATION TOOL FOR GRAPHICAL INTERFACES
    SOUSA, JP
    SERNADAS, C
    SERNADAS, A
    [J]. COMPUTERS & GRAPHICS, 1990, 14 (01) : 29 - 40
  • [25] Object-oriented modelling and specification using SHE
    Geilen, MCW
    Voeten, JPM
    van der Putten, PHA
    van Bokhoven, LJ
    Stevens, MPJ
    [J]. COMPUTER LANGUAGES, 2001, 27 (1-3): : 19 - 38
  • [26] REASONING AND REFINEMENT IN OBJECT-ORIENTED SPECIFICATION LANGUAGES
    LANO, K
    HAUGHTON, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 615 : 78 - 95
  • [27] An object-oriented specification of a flexible manufacturing cell
    Mak, KL
    Lau, HYK
    [J]. INTERNATIONAL JOURNAL OF OPERATIONS & PRODUCTION MANAGEMENT, 2000, 20 (5-6) : 534 - 548
  • [28] Advanced object-oriented requirements specification methods
    Wieringa, R
    [J]. RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, 1997, : 266 - 266
  • [29] Sequence specification for concurrent object-oriented applications
    Wang, YM
    Vishnuvajjala, RV
    Tsai, WT
    [J]. THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 163 - 170
  • [30] Object-oriented model for the specification of manufacturing systems
    Wong, S.T.W.
    Mak, K.L.
    Lau, H.Y.K.
    [J]. Computers and Industrial Engineering, 1999, 36 (03): : 655 - 671
12345