Experience with literate programming in the modelling and validation of systems

被引：0
|
作者：
Ruys, TC [1 ]
Brinksma, E [1 ]
机构：
[1] Univ Twente, Fac Comp Sci, NL-7500 AE Enschede, Netherlands
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS | 1998年 / 1384卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper discusses our experience with literate programming tools in the realm of the modelling and validation of systems. We propose the use of literate programming techniques to structure and control the validation trajectory. The use of literate programming is illustrated by means of a running example using Promela and Spin. The paper can also be read as a tutorial on the application of literate programming to formal methods.
引用
收藏
页码：393 / 408
页数：16
相关论文
共 50 条
  • [1] Literate programming for mathematical modeling of battery systems
    Spotnitz, RM
    Nagarajan, GS
    Van Zee, JW
    Newman, JS
    [J]. PROCEEDINGS OF THE SYMPOSIUM ON ADVANCES IN MATHEMATICAL MODELING AND SIMULATION OF ELECTROCHEMICAL PROCESSES AND OXYGEN DEPOLARIZED CATHODES AND ACTIVATED CATHODES FOR CHLOR-ALKALI AND CHLORATED PROCESSES, 1998, 98 (10): : 14 - 28
  • [2] LITERATE PROGRAMMING
    GROSCH, HRJ
    [J]. COMPUTER JOURNAL, 1984, 27 (04): : 377 - 377
  • [3] LITERATE PROGRAMMING
    KNUTH, DE
    [J]. COMPUTER JOURNAL, 1984, 27 (02): : 97 - 111
  • [4] Literate programming
    Spotnitz, R
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 1998, 22 (12) : 1745 - 1747
  • [5] LITERATE PROGRAMMING - AN ASSESSMENT
    VANWYK, CJ
    [J]. COMMUNICATIONS OF THE ACM, 1990, 33 (03) : 361 - &
  • [6] A HYPERTEXT FOR LITERATE PROGRAMMING
    BROWN, M
    CZEJDO, B
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 468 : 250 - 259
  • [7] ANNOUNCING LITERATE PROGRAMMING
    DENNING, PJ
    [J]. COMMUNICATIONS OF THE ACM, 1987, 30 (07) : 593 - 593
  • [8] Reverse literate programming
    Knasmuller, M
    [J]. PROCEEDINGS OF THE 5TH SOFTWARE QUALITY CONFERENCE, 1996, : 97 - 105
  • [9] LITERATE PROGRAMMING SIMPLIFIED
    RAMSEY, N
    [J]. IEEE SOFTWARE, 1994, 11 (05) : 97 - 105
  • [10] Formalization and 'literate' programming
    Anderson, H
    [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 39 - 44
12345