A DEVELOPMENT MODEL - APPLICATION TO Z-SPECIFICATIONS

被引：0
|
作者：
DARIMONT, R
SOUQUIERES, J
机构：
[1] CRIN, CNRS, F-54506 VANDOEUVRE LES NANCY, FRANCE
[2] INRIA LORRAINE, F-54506 VANDOEUVRE LES NANCY, FRANCE
来源：
INFORMATION SYSTEM DEVELOPMENT PROCESS | 1993年 / 30卷
关键词：
SOFTWARE ENGINEERING; REQUIREMENTS/SPECIFICATIONS; TOOLS AND TECHNIQUES; PROGRAMMING ENVIRONMENTS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper describes a model for supporting the process of specification construction. The model encompasses planification of development activities, incremental construction of specifications and development operators. The operators are independant of the specification language. An operator instantiated to Z is presented and the approach is illustrated on the development of a Z specification.
引用
收藏
页码：247 / 264
页数：18
相关论文
共 50 条
  • [1] INCREMENTAL PROCESSING OF Z-SPECIFICATIONS
    DEVASCONCELOS, AML
    MCDERMID, JA
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 10 : 53 - 69
  • [2] TEMPORAL LOGIC AND Z-SPECIFICATIONS
    DUKE, R
    SMITH, G
    AUSTRALIAN COMPUTER JOURNAL, 1989, 21 (02): : 62 - 66
  • [3] Maintaining formal specifications - Decomposition of large Z-specifications
    Bollin, A
    ICSM 2005: PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2005, : 443 - 452
  • [4] THE DATE REFINEMENT CALCULATOR FOR Z-SPECIFICATIONS
    JOSEPHS, MB
    INFORMATION PROCESSING LETTERS, 1988, 27 (01) : 29 - 33
  • [5] FROM Z-SPECIFICATIONS TO FUNCTIONAL IMPLEMENTATIONS
    SANDERS, P
    JOHNSON, M
    TINKER, R
    BRITISH TELECOM TECHNOLOGY JOURNAL, 1989, 7 (04): : 47 - 63
  • [6] EZ - A SYSTEM FOR AUTOMATIC PROTOTYPING OF Z-SPECIFICATIONS
    DOMA, V
    NICHOLL, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 189 - 203
  • [7] HOL-Z 2.0: A proof environment for Z-specifications
    Brucker, AD
    Rittinger, F
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (02): : 152 - 172
  • [8] SOFTWARE-DEVELOPMENT - 2 APPROACHES TO ANIMATION OF Z-SPECIFICATIONS USING PROLOG
    WEST, MM
    EAGLESTONE, BM
    SOFTWARE ENGINEERING JOURNAL, 1992, 7 (04): : 264 - 276
  • [9] Support for Model Checking Z Specifications
    Siregar, Maria Ulfah
    PROCEEDINGS OF 2016 IEEE 17TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IEEE IRI), 2016, : 241 - 248
  • [10] Towards more flexible development of Z specifications
    Fu, Zheng
    Smith, Graeme
    TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 281 - 288
12345