USING FORMAL SPECIFICATION FOR PRODUCT DEVELOPMENT

被引：0
|
作者：
LADEAU, BR
FREEMAN, CW
机构：
来源：
HEWLETT-PACKARD JOURNAL | 1991年 / 42卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：46 / 50
页数：5
相关论文
共 50 条
  • [41] Formal Modeling and Specification of Design Patterns Using RtPA
    Wang, Yingxu
    Huang, Jian
    INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE, 2008, 2 (01) : 100 - 111
  • [42] FORMAL SPECIFICATION USING STRUCTURED SYSTEMS-ANALYSIS
    FRANCE, RB
    DOCKER, TWG
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 387 : 293 - 310
  • [43] Compositional Verification Using a Formal Component and Interface Specification
    Xing, Yue
    Lu, Huaixi
    Gupta, Aarti
    Malik, Sharad
    2022 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ICCAD, 2022,
  • [44] Formal specification of Java']JavaSpaces™ architecture using μCRL
    van de Pol, J
    Espada, MV
    COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2002, 2315 : 274 - 290
  • [45] Analyzing a Formal Specification of Mondex Using Model Checking
    Zeng, Reng
    He, Xudong
    THEORETICAL ASPECTS OF COMPUTING, 2010, 6255 : 214 - 229
  • [46] Using a Scenario Model to derive the functions of a formal specification
    Mauco, MV
    Riesco, D
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 329 - 332
  • [47] ON THE FORMAL SPECIFICATION AND VERIFICATION OF CIM ARCHITECTURES USING LOTOS
    BIEMANS, F
    BLONK, P
    COMPUTERS IN INDUSTRY, 1986, 7 (06) : 491 - 504
  • [48] Object modelling and formal specification during realtime system development
    ODonoghue, PG
    Murphy, MH
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 1996, 19 (04) : 335 - 352
  • [49] Formal specification of design pattern combination using BPSL
    Taibi, T
    Ngo, DCL
    INFORMATION AND SOFTWARE TECHNOLOGY, 2003, 45 (03) : 157 - 170
  • [50] Estimating protocol performance using a formal specification model
    Miller, RE
    Chaudhry, ZU
    INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, 1999, 12 (5-6) : 325 - 347
12345