Toward a formalization of OO analysis

被引：0
|
作者：
Odell, J [1 ]
Ramackers, G [1 ]
机构：
[1] INTELLICORP INC,MT VIEW,CA 94040
来源：
JOURNAL OF OBJECT-ORIENTED PROGRAMMING | 1997年 / 10卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：64 / 68
页数：5
相关论文
共 50 条
  • [1] Toward a formalization of emergence
    Kubík, A
    [J]. ARTIFICIAL LIFE, 2003, 9 (01) : 41 - 65
  • [2] Toward the Formalization of BPEL
    Boumlik, Laila
    Mejri, Mohamed
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2015 WORKSHOPS, 2016, 9586 : 157 - 167
  • [3] TOWARD A FORMALIZATION OF DIALECTICAL LOGIC
    THOMASON, SK
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 204 - 204
  • [4] Toward Formalization of Software Security Issues
    Dimitrov, V.
    [J]. PHYSICS OF PARTICLES AND NUCLEI, 2024, 55 (03) : 371 - 374
  • [5] Toward the logical formalization of approximate reasoning
    Fujito, ET
    Ohsato, A
    [J]. FUZZ-IEEE '96 - PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, 1996, : 892 - 898
  • [6] Toward the Formalization of Business Process Model and Notation
    Hounwanou, Honore
    Boumlik, Laila
    Mejri, Mohamed
    [J]. NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2021, 337 : 248 - 264
  • [7] Toward a formalization of affordance modeling for engineering design
    Cormier, Phillip
    Olewnik, Andrew
    Lewis, Kemper
    [J]. RESEARCH IN ENGINEERING DESIGN, 2014, 25 (03) : 259 - 277
  • [8] Toward a formalization of affordance modeling for engineering design
    Phillip Cormier
    Andrew Olewnik
    Kemper Lewis
    [J]. Research in Engineering Design, 2014, 25 : 259 - 277
  • [9] FORMALIZATION OF CLUSTER ANALYSIS
    WRIGHT, WE
    [J]. PATTERN RECOGNITION, 1973, 5 (03) : 273 - 282
  • [10] A generic OO architecture language for semantics analysis of OO specification
    Xia, F
    [J]. PROCEEDINGS OF THE 28TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATION CONFERENCE, WORKSHOP AND FAST ABSTRACTS, 2004, : 8 - 9
12345