A source code documentation system for Ada
ACM SIGAda Ada Letters
An experiment in formal software development: using the B theorem prover on a VDM case study
ICSE '90 Proceedings of the 12th international conference on Software engineering
An experiment in formal software development: using the B theorem prover on a VDM case study
Communications of the ACM - Special issue on software engineering
An annotated bibliography of literate programming
ACM SIGPLAN Notices
Communications of the ACM
Literate Programming Simplified
IEEE Software
Nordic Journal of Computing
Documentation threads - presentation of fragmented documentation
Nordic Journal of Computing
Nordic Journal of Computing
Integrated program measurement and documentation tools
ICSE '84 Proceedings of the 7th international conference on Software engineering
Practical applications of a syntax directed program manipulation environment
ICSE '84 Proceedings of the 7th international conference on Software engineering
Document structure and modularity in mentor
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Elucidative Programming in open integrated development environments for Java
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
Maintaining program understanding: issues, tools, and future directions
Nordic Journal of Computing
Model-driven development: the good, the bad, and the ugly
IBM Systems Journal - Model-driven software development
Tool support for crosscutting concerns of API documentation
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Document driven certification of computational science and engineering software
SE-HPCCSE '13 Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering
| Hi-index | 0.02 |
This memo describes how to write programs in the WEB language (Version 2.3, September 1983); and it also includes the full WEB documentation for WEAVE and TANGLE, the programs that read WEB input and produce TEX and PASCAL output, respectively.