Combining formal specification and CORE: an experimental investigation

被引：0
|
作者：
机构：
来源：
Software Eng J | / 2卷 / 31-42期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] COMBINING FORMAL SPECIFICATION AND CORE - AN EXPERIMENTAL INVESTIGATION
    MOULDING, M
    SMITH, L
    SOFTWARE ENGINEERING JOURNAL, 1995, 10 (02): : 31 - 42
  • [2] On combining semi-formal and formal object specification techniques
    Gogolla, M
    Richters, M
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1998, 1376 : 238 - 252
  • [3] FORMAL SPECIFICATION IS AN EXPERIMENTAL SCIENCE
    BJORNER, D
    PROGRAMMING AND COMPUTER SOFTWARE, 1991, 17 (06) : 316 - 335
  • [4] Combining formal specification methods and informal specification methods for requirement analysis
    Zhang, LC
    1997 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING, VOLS 1 AND 2: PACRIM 10 YEARS - 1987-1997, 1997, : 444 - 447
  • [5] TOWARDS A FORMAL SPECIFICATION OF REVISABLE CORE - ALLOWING FOR CHANGE
    STOKES, DA
    SOFTWARE ENGINEERING JOURNAL, 1992, 7 (06): : 393 - 408
  • [6] System fault tolerance specification: Proposal of a method combining semi-formal and formal approaches
    Dondossola, G
    Botti, O
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 82 - 96
  • [7] Combining graphical representations and formal notations in software specification: A case study
    Dascalu, S
    Hitchcock, P
    Vert, G
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 483 - 489
  • [8] Combining UML, ASTD and B for the formal specification of an access control filter
    Milhau, J.
    Idani, A.
    Laleau, R.
    Labiadh, M. A.
    Ledru, Y.
    Frappier, M.
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2011, 7 (04) : 303 - 313
  • [9] FORMAL SPECIFICATION
    BROKATE, K
    COMPUTER JOURNAL, 1988, 31 (02): : 190 - 190
  • [10] A formal specification and prototyping language for multi-core system management
    Iliasov, A.
    Rafiev, A.
    Xia, F.
    Gensh, R.
    Romanovsky, A.
    Yakovlev, A.
    23RD EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2015), 2015, : 696 - 700
12345