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 条
  • [31] CONTRACT CHECKING USING Z SPECIFICATIONS
    Negreanu, Lorina
    Mocanu, Irina
    ANNALS OF DAAAM FOR 2009 & PROCEEDINGS OF THE 20TH INTERNATIONAL DAAAM SYMPOSIUM, 2009, 20 : 301 - 302
  • [32] Animation of object-Z specifications using a Z animator
    McComb, T
    Smith, G
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 191 - 200
  • [33] A rule-based approach to producing Z specifications from Jackson system development
    Lee, J
    Pan, JI
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1998, 13 (07) : 587 - 611
  • [34] Experiences with the application of symbolic model checking to the analysis of software specifications
    Anderson, RJ
    Beame, P
    Chan, W
    Notkin, D
    PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 460 - 469
  • [35] ENVIRONMENTAL-MODEL CALIBRATION UNDER DIFFERENT SPECIFICATIONS - AN APPLICATION TO THE MODEL SED
    VANDERMOLEN, DT
    PINTER, J
    ECOLOGICAL MODELLING, 1993, 68 (1-2) : 1 - 19
  • [36] Executable Specifications for Model-Based Development of Automotive Software
    Bodenstein, Christoph
    Lohse, Frank
    Zimmermann, Armin
    2010 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2010), 2010,
  • [37] TIN APPLICATION AND SPECIFICATIONS
    HALSALL, P
    METALL, 1988, 42 (09): : 915 - 918
  • [38] Polymorphic extensions to Object-Z specifications
    Waheed, Tabinda
    Khan, Muhammad Uzair
    Nadeem, Aamer
    TENCON 2006 - 2006 IEEE REGION 10 CONFERENCE, VOLS 1-4, 2006, : 1971 - 1974
  • [39] Metrics for quantifying evolutionary changes in Z specifications
    Bollin, Andreas
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2013, 25 (09) : 1027 - 1059
  • [40] Proving the existence of initial state in Z specifications
    Miao, Huaikou
    McDermid, John
    Toyn, Ian
    Ruan Jian Xue Bao/Journal of Software, 1995, 6 (12):
12345