OBJECT ORIENTATION AND FORMAL TECHNIQUES

被引：0
|
作者：
DAHL, OJ
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 428卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 11
页数：11
相关论文
共 50 条
  • [31] A FORMAL SEMANTICS FOR OBJECT MODEL DIAGRAMS
    BOURDEAU, RH
    CHENG, BHC
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (10) : 799 - 821
  • [32] Formal methods in object oriented analysis
    Wilson, J.C.R.
    British Telecom technology journal, 1993, 11 (03): : 18 - 31
  • [33] Object-oriented formal specifications
    Periyasamy, K
    TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, : 428 - 441
  • [34] Object orientation in the literature and in education
    Berges, Marc
    IT-INFORMATION TECHNOLOGY, 2018, 60 (02): : 69 - 77
  • [35] Object-orientation in the UTP
    Santos, Thiago
    Cavalcanti, Ana
    Sampaio, Augusto
    UNIFYING THEORIES OF PROGRAMMING, 2006, 4010 : 18 - 37
  • [36] OBJECT ORIENTATION IN COMMUNICATIONS ENGINEERING
    CUSACK, EL
    CORDINGLEY, ES
    BT TECHNOLOGY JOURNAL, 1993, 11 (03): : 9 - 17
  • [37] Object orientation in educational software
    Tait, B
    INNOVATIONS IN EDUCATION AND TRAINING INTERNATIONAL, 1997, 34 (03): : 167 - 173
  • [38] Object orientation and web services
    Zirpins, C
    Piccinelli, G
    Lamersdorf, W
    Finkelstein, A
    OBJECT-ORIENTED TECHNOLOGY, 2004, 3344 : 1 - 9
  • [39] OMG STUMPS FOR OBJECT ORIENTATION
    WILLIAMS, T
    COMPUTER DESIGN, 1989, 28 (10): : 28 - +
  • [40] OBJECT ORIENTATION IN MULTIDATABASE SYSTEMS
    PITOURA, E
    BUKHRES, O
    ELMAGARMID, A
    ACM COMPUTING SURVEYS, 1995, 27 (02) : 141 - 195
12345