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 条
  • [1] Using formal specification language in industrial software development
    Jiang, H
    Lin, D
    Xie, XR
    1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1847 - 1851
  • [2] Formal specification for quality in software development
    Currie, E
    MilankovicAtkinson, M
    PROCEEDINGS OF THE 5TH SOFTWARE QUALITY CONFERENCE, 1996, : 252 - 260
  • [3] Experience of using a lightweight formal specification method for a commercial embedded system product line
    Breen, M
    REQUIREMENTS ENGINEERING, 2005, 10 (02) : 161 - 172
  • [4] Experience of using a lightweight formal specification method for a commercial embedded system product line
    Michael Breen
    Requirements Engineering, 2005, 10 : 161 - 172
  • [5] Product performance and specification in new product development
    Osteras, T
    Murthy, DNP
    Rausand, M
    JOURNAL OF ENGINEERING DESIGN, 2006, 17 (02) : 177 - 192
  • [6] Formal specification using interaction diagrams
    Lano, K.
    SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 293 - 301
  • [7] Formal Specification of Multisimulations using Maude
    Jalali, Leila
    Talcott, Carolyn
    Venkatasubramanian, Nalini
    Mehrotra, Sharad
    THEORY OF MODELING AND SIMULATION: DEVS INTEGRATIVE M&S SYMPOSIUM 2012 (DEVS 2012), 2012, 44 (04): : 39 - 46
  • [8] Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines
    Schmitt, Anna
    Bettinger, Christian
    Rock, Georg
    TRANSDISCIPLINARY ENGINEERING METHODS FOR SOCIAL INNOVATION OF INDUSTRY 4.0, 2018, 7 : 665 - 673
  • [9] Product Model Derivation from Feature Model and Formal Specification
    Wang, Xi
    Wang, Weiwei
    Liu, Hongbo
    APPLIED SCIENCES-BASEL, 2022, 12 (12):
  • [10] A formal specification for the collaborative development of learning objects
    AlfredoSanchez, J.
    Perez-Lezama, Claudia
    Starostenko, Oleg
    4TH WORLD CONFERENCE ON EDUCATIONAL TECHNOLOGY RESEARCHES (WCETR-2014), 2015, 182 : 726 - 731
12345