SPECIFICATIONS - FORMAL AND INFORMAL - A CASE-STUDY

被引：13
|
作者：
GEHANI, N [1 ]
机构：
[1] BELL TELL LABS INC,PISCATAWAY,NJ 08854
来源：
SOFTWARE-PRACTICE & EXPERIENCE | 1982年 / 12卷 / 05期
关键词：
D O I：
10.1002/spe.4380120505
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：433 / 444
页数：12
相关论文
共 50 条
  • [1] COMBINING TESTING WITH FORMAL SPECIFICATIONS - A CASE-STUDY
    MCMULLIN, PR
    GANNON, JD
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (03) : 328 - 335
  • [2] FORMAL AND INFORMAL TOURISM SECTORS - A CASE-STUDY IN PATTAYA, THAILAND
    WAHNSCHAFFT, R
    [J]. ANNALS OF TOURISM RESEARCH, 1982, 9 (03) : 429 - 451
  • [3] AN INFORMAL APPROACH TO FORMAL (ALGEBRAIC) SPECIFICATIONS
    FURTADO, AL
    MAIBAUM, TSE
    [J]. COMPUTER JOURNAL, 1985, 28 (01): : 59 - 67
  • [4] From informal to formal specifications in UML
    Giese, M
    Heldal, R
    [J]. UML 2004 - THE UNIFIED MODELING LANGUAGE: MODELING LANGUAGES AND APPLICATIONS, PROCEEDINGS, 2004, 3273 : 197 - 211
  • [5] Formal verification and validation of interactive systems specifications -: From informal specifications to formal validation
    Aït-Ameur, Y
    Breholée, B
    Girard, P
    Guittet, L
    Jambon, F
    [J]. HUMAN ERROR, SAFETY AND SYSTEMS DEVELOPMENT, 2004, 152 : 61 - 76
  • [6] Formal Methods for Informal Developers A case-study driven by the French defense agency (DGA)
    Ochem, Quentin
    Perlade, Eric
    [J]. 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2015, : 16 - 16
  • [7] DEVELOPING FORMAL SPECIFICATIONS FROM INFORMAL REQUIREMENTS
    JOHNSON, WL
    BENNER, KM
    HARRIS, DR
    [J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1993, 8 (04): : 82 - 90
  • [8] Deriving formal specifications from informal requirements
    Ilic, Dubravka
    [J]. COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 145 - 152
  • [9] Constructing formal specifications from informal requirements
    Clark, RG
    Moreira, AMD
    [J]. EIGHTH IEEE INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE INCORPORATING COMPUTER AIDED SOFTWARE ENGINEERING, PROCEEDINGS, 1997, : 68 - 75
  • [10] An authoring tool for informal and formal requirements specifications
    Hähnle, R
    Johannisson, K
    Ranta, A
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2306 : 233 - 248
12345