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 条
  • [41] Complementing semi-floral specifications with Z
    Ledru, Y
    PROCEEDINGS OF THE 11TH KNOWLEDGE-BASED SOFTWARE ENGINEERING CONFERENCE, 1996, : 52 - 61
  • [42] A framework for coupling measurement in Z formal specifications
    Wu, FJ
    Yi, T
    CHINESE JOURNAL OF ELECTRONICS, 2005, 14 (04): : 575 - 578
  • [43] Towards an institution for Object-Z specifications
    Bettaz, Mohamed
    Maouche, Mourad
    Mosteghanemi, M'hamed
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2013, 47 (2-3) : 125 - 137
  • [44] Adding a visual dimension to formal specifications in Z
    Duriancik, M
    Navrat, P
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 1998, 48 : 47 - 54
  • [45] Z specifications meet mathematica for exploratory prototyping
    Sherrell, LB
    Paulsen, WH
    4TH INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2000, : 61 - 61
  • [46] Logic programming to facilitate understanding of Z specifications
    Lewis, J.
    International Journal of Environmental Studies A & B, 47 (01):
  • [47] Slicing Object-Z specifications for verification
    Brückner, I
    Wehrheim, H
    ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 414 - 433
  • [48] A prototype on GUI based editor for Z specifications
    Ishikawa, H
    SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 188 - 192
  • [49] Generalized Program Slicing Applied to Z Specifications
    Wu, Fangjun
    2009 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND TECHNOLOGY, VOL I, PROCEEDINGS, 2009, : 338 - 342
  • [50] Forecasting with computer-evolved model specifications: a genetic programming application
    Kaboudan, MA
    COMPUTERS & OPERATIONS RESEARCH, 2003, 30 (11) : 1661 - 1681
12345