Experience with literate programming in the modelling and validation of systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1384, Issue , 1998, Pages 393-408

  Ruys, Theo C ^a   Brinksma, Ed ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

LITERATE PROGRAMMING; MODELLING AND VALIDATION; PROMELA;

FORMAL METHODS;

EID: 84947929060     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0054185     Document Type: Conference Paper

References (20)

1. Don Bolinger and Tan Bronson. Applying RCS and SCCS. O'Reilly & Associates, Inc., Sebastopol, 1995.
2. Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, and G. Jan Tretmans. The Bounded Retransmission Protocol must be on time! (Full Version). CTIT Technical Report Series 97-03, Centre for Telematics and Information Technology, University of Twente, Enschede, The Netherlands, 1997. Also available from URL: http://wntios.cs.utwente.nl/~dargenio/brp/
3. Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, and G. Jan Tretmans. The Bounded Retransmission Protocol must be on time! In Ed Brinksma, editor, Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TAGAS'97), number 1217 in Lecture Notes in Computer Science (LNCS), pages 416-431, University of Twente, Enschede, The Netherlands, April 1997. Springer Verlag, Berlin.
4. Christopher W. Fraser and David R. Hanson. A Retargetable C Compiler: Design and Implementation. Addison-Wesley, 1995.
5. Gerard J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs, New Jersey, 1991.
6. Gerard J. Holzmann. The Theory and Practice of a Formal Method: NewCore. In Proceedings of the IFIP World Congress, Hamburg, Germany, August 1994. Also available from URL: http://cm.bell-labs.com/cm/cs/doc/94/indez.html.
7. Gerard J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997. See also URL: http://netlib.bell-labs.com/netlib/spin/vhatispin.html.
8. Johan Jeuring and Erik Meijer, editors. Advanced Functional Programming - Tutorial Text of the First International Spring School on Advanced Functional Programming Techniques, number 925 in Lecture Notes in Computer Science (LNCS), Båstad, Sweden, May 1995. Springer Verlag, Berlin.
9. Andrew L. Johnson and Brad C. Johnson. Literate Programming using noveb. Linux Journal, pages 64-69, October 1997.
10. Pirn Kars. The Application of PROMELA and SPIN in the BOS Project. In Jean-Charles Grégoire, Gerard J. Holzmann, and Doron A. Peled, editors, Proceedings of SPIN96, the Second International Workshop on SPIN (published as "The Spin Verification System), volume 32 of DIM ACS Series in Discrete Mathe- matics and Theoretical Computer Science, Rutgers University, New Jersey, August 1996. American Mathematical Society. Also available from URL: http://netlib.bell-labs.com/netlib/spin/ws96/Ka.ps.Z.
11. Donald E. Knuth. Literate Programming. The Computer Journal, 27(2):97-111, May 1984.
12. Donald E. Knuth. Literate Programming. Number 27 in CSLI Lecture Notes. Center for the Study of Language and Information (CSLI), Stanford University, California, 1992.
13. Kim G. Larsen, Paul Pettersson, and Wang Yi. UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology Transfer (STTT), 1(1/2), October 1997.
14. Josh MacDonald. PRCS - Project Revision Control System. Available from URL: http://www.zcf.berkeley.edu/"jmacd/prcs.html.
15. Roger S. Pressman. Software Engineering - A Practioner's Approach. McGraw-Hill, New York, third edition, 1992.
16. Norman Ramsey, noweb - homepage. Available from URL: http://www.cs.Virginia.edu/"nr/noweb/
17. Norman Ramsey. Literate Programming Simplified. IEEE Software, 11(5):97-105, September 1994.
18. Theo C. Ruys and Rom Langerak. Validation of Bosch' Mobile Communication-Network Architecture with SPIN. In Proceedings of SPIN97, the Third International Workshop on SPIN, University of Twente, Enschede, The Netherlands, April 1997. Also available from URL: http://netlib.bell-labs.com/netlib/spin/ws97/ruys.ps.Z.
19. J.M. Spivey. The Z Notation - A Reference Manual. Prentice Hall, New York, second edition, 1992.
20. Walter F. Tichy. RCS - A System for Version Control. Software, Practice & Experience, 15(7):637-654, July 1985.