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 条
  • [31] Increasing assurance with literate programming techniques
    Moore, AP
    Payne, CN
    [J]. COMPASS '96 - PROCEEDINGS OF THE ELEVENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY, PROCESS SECURITY, 1996, : 187 - 198
  • [32] AOPS - AN ABSTRACTION-ORIENTED PROGRAMMING SYSTEM FOR LITERATE PROGRAMMING
    SHUM, S
    COOK, C
    [J]. SOFTWARE ENGINEERING JOURNAL, 1993, 8 (03): : 113 - 120
  • [33] A HYPERTEXT SYSTEM FOR LITERATE C++ PROGRAMMING
    SAMETINGER, J
    POMBERGER, G
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1992, 4 (08): : 24 - &
  • [34] A Modular Plugin Architecture for Literate Programming Editors
    Adhikari, Suman
    Jones, Bryan A.
    [J]. 2019 IEEE SOUTHEASTCON, 2019,
  • [35] Modelling of uncertain systems via linear programming
    Gustafsson, TK
    Makila, PM
    [J]. AUTOMATICA, 1996, 32 (03) : 319 - 335
  • [36] Unifying Modelling and Programming: A Systems Biology Perspective
    Kugler, Hillel
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 131 - 133
  • [37] Dynamic systems modelling using genetic programming
    Hinchliffe, MP
    Willis, MJ
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 2003, 27 (12) : 1841 - 1854
  • [38] Literate programming in quantum chemistry: A simple example
    Quiney, HM
    Wilson, S
    [J]. INTERNATIONAL JOURNAL OF QUANTUM CHEMISTRY, 2005, 104 (04) : 430 - 445
  • [39] Experience with a literate approach to computer science
    Thain, Douglas
    Poellabauer, Christian
    [J]. 36TH ANNUAL FRONTIERS IN EDUCATION, CONFERENCE PROGRAM, VOLS 1-4: BORDERS: INTERNATIONAL, SOCIAL AND CULTURAL, 2006, : 155 - +
  • [40] BECOMING AND STAYING LITERATE - THE POLISH EXPERIENCE
    POLTURZYCKI, J
    [J]. PROSPECTS, 1987, 17 (02) : 267 - 275
12345