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 条
  • [31] THE DEVELOPMENT AND PROOF OF A FORMAL SPECIFICATION FOR A MULTILEVEL SECURE SYSTEM
    GLASGOW, JI
    MACEWEN, GH
    ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1987, 5 (02): : 151 - 184
  • [32] A formal specification language for domain specific software development
    Basu, A
    Bhattacharya, S
    TENCON 2004 - 2004 IEEE REGION 10 CONFERENCE, VOLS A-D, PROCEEDINGS: ANALOG AND DIGITAL TECHNIQUES IN ELECTRICAL ENGINEERING, 2004, : B322 - B325
  • [33] Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
    Leitao, P
    Colombo, AW
    Restivo, F
    Schoop, R
    INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS, 2003, : 263 - 272
  • [34] TOWARDS A FORMAL BASIS FOR THE FORMAL DEVELOPMENT METHOD AND THE INA JO SPECIFICATION LANGUAGE.
    Berry, Daniel M.
    IEEE Transactions on Software Engineering, 1987, SE-13 (02) : 184 - 201
  • [35] Formal Specification of Bounded Buffer using Stream Functions
    Hu, Gongzhu
    PROCEEDINGS OF THE 2009 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2008, : 230 - 235
  • [36] Formal semantics, modular specification, and symbolic verification of product-line behaviour
    Classen, Andreas
    Cordy, Maxime
    Heymans, Patrick
    Legay, Axel
    Schobbens, Pierre-Yves
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 80 : 416 - 439
  • [37] Using Reo for formal specification and verification of system designs
    Razavi, Niloofar
    Sirjani, Marjan
    FOURTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2006, : 113 - +
  • [38] THE FORMAL SPECIFICATION FOR THE INVENTORY SYSTEM USING Z LANGUAGE
    Bakri, Siti Halimah
    Harun, Hanis
    Alzoubi, Amera
    Ibrahim, Rosziati
    COMPUTING & INFORMATICS, 4TH INTERNATIONAL CONFERENCE, 2013, 2013, : 419 - 425
  • [39] Formal Specification of Spanning Tree Protocol Using ACP
    Juan Roig, Pedro
    Alcaraz, Salvador
    Gilly, Katja
    ELEKTRONIKA IR ELEKTROTECHNIKA, 2017, 23 (02) : 84 - 91
  • [40] Formal specification and representation of design patterns using RTPA
    Huang, Jian
    Wang, Yingxu
    PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, VOLS 1 AND 2, 2006, : 370 - 379
12345