From English to formal specifications

被引：0
|
作者：
机构：
[1] Vadera, Sunil
[2] Meziane, Farid
来源：
Vadera, Sunil | 1600年 / Oxford Univ Press, Oxford, United Kingdom卷 / 37期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] FROM ENGLISH TO FORMAL SPECIFICATIONS
    VADERA, S
    MEZIANE, F
    COMPUTER JOURNAL, 1994, 37 (09): : 753 - 763
  • [2] 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
    HUMAN ERROR, SAFETY AND SYSTEMS DEVELOPMENT, 2004, 152 : 61 - 76
  • [3] From formal specifications to QoS monitors
    Saudrais, Sebastien
    Barais, Olivier
    Duchien, Laurence
    Plouzeau, Noel
    JOURNAL OF OBJECT TECHNOLOGY, 2007, 6 (11): : 7 - 24
  • [4] SIMULATING MICROPROCESSORS FROM FORMAL SPECIFICATIONS
    HALL, KM
    WINDLEY, PJ
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 20 : 507 - 525
  • [5] Automatic testing from formal specifications
    Satpathy, Manoranjan
    Butler, Michael
    Leuschel, Michael
    Ramesh, S.
    TESTS AND PROOFS, 2007, 4454 : 95 - +
  • [6] From informal to formal specifications in UML
    Giese, M
    Heldal, R
    UML 2004 - THE UNIFIED MODELING LANGUAGE: MODELING LANGUAGES AND APPLICATIONS, PROCEEDINGS, 2004, 3273 : 197 - 211
  • [7] Crossing the borderline - From formal to semi-formal specifications
    Bollin, Andreas
    SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY, 2006, 227 : 73 - 84
  • [8] From the formal specifications of users tasks to the automatic generation of the HCI specifications
    Mahfoudhi, A
    Abed, M
    Tabary, D
    PEOPLE AND COMPUTERS XV - INTERACTION WITHOUT FRONTIERS, 2001, : 331 - 347
  • [9] Developing communication systems from formal specifications
    De Man, J.
    Loyer, B.
    Nirschl, H.
    San Martin, P.
    Electrical communication, 1990, 64 (04): : 313 - 320
  • [10] DEVELOPING FORMAL SPECIFICATIONS FROM INFORMAL REQUIREMENTS
    JOHNSON, WL
    BENNER, KM
    HARRIS, DR
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1993, 8 (04): : 82 - 90
12345