Writing solid code: Microsoft's techniques for developing bug-free programs
Writing solid code: Microsoft's techniques for developing bug-free programs
Software Engineering Economics
Software Engineering Economics
Does The Modern Code Inspection Have Value?
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Designing Hypermedia Documentation for Safety Critical Applications
ITCC '00 Proceedings of the The International Conference on Information Technology: Coding and Computing (ITCC'00)
Exstatic: a generic static checker applied to documentation systems
Proceedings of the 22nd annual international conference on Design of communication: The engineering of quality documentation
ICODE: enabling the static checking of programs and their documentation
SIGDOC '06 Proceedings of the 24th annual ACM international conference on Design of communication
Hi-index | 0.00 |
Marked-up text (e.g. HTML and XML) is the format of choice for the delivery of end-user information in pervasive environments. Consistent style and structure of a set of pages can greatly aid their usability and this paper presents a tool called Exstatic to automatically check that a hyperdocument follows site-specific conventions. We describe an example of such an analysis for a live document written in HTML 4.01.