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 条
  • [21] Unit Testing of Z Specifications
    Utting, Mark
    Malik, Petra
    ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 309 - +
  • [22] Multi-Model Specifications and their Application to Classification Systems
    Burns, Alan
    Baruah, Sanjoy
    PROCEEDINGS OF 31ST INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS, RTNS 2023, 2023, : 155 - 165
  • [23] A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications
    Siregar, Maria Ulfah
    QUALITY SOFTWARE THROUGH REUSE AND INTEGRATION, 2018, 561 : 256 - 286
  • [24] Deriving programs from their Z specifications
    Cruz, Ricardo Calderon
    CERMA2006: ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE VOL 2, PROCEEDINGS, 2006, : 297 - 302
  • [25] A framework for the pragmatic quality of Z specifications
    Kamthan, Pankaj
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2006, 16 (05) : 769 - 790
  • [26] Transformation of class diagrams into Z specifications
    Napapak, S
    Vatanawood, W
    SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 387 - 392
  • [27] A visual programming environment for Z specifications
    Lam, SWC
    Chan, KCC
    Leung, HKN
    Chung, LML
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 511 - 512
  • [28] Z User Studio: An integrated support tool for Z specifications
    Miao, HK
    Liu, L
    Yu, CJ
    Ming, JJ
    Li, L
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 437 - 444
  • [29] Refactoring object-Z specifications
    McComb, T
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 69 - 83
  • [30] A GUI based editor for Z specifications
    Ishikawa, H
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IV, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS: I, 2004, : 470 - 474
12345