Demonstrates how Nitpick, a specification checker, can be applied to the design of a style mechanism for a word processor.
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor.
Oct 22, 2024 · Demonstrates how Nitpick, a specification checker, can be applied to the design of a style mechanism for a word processor.
Elements of style: analyzing a software design feature with a counterexample detector. Share on. Authors: Daniel Jackson.
Abstract-We demonstrate how Nitpick, a specification checker, can be applied to the design of a style mechanism for a word processor. The design IS cast, ...
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. Authors: Daniel Jackson and Craig Damon.
Elements of style: analyzing a software design feature with a counterexample detector · D. Jackson, C. Damon · Published in International Symposium on… 1 May 1996 ...
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. Jackson, D. & Damon, C. IEEE Trans. Software Eng., 22(7):484-495, ...
We illustrate the application of a checking tool to the design of a style mechanism for a word processor. The design is cast, along with some expected ...
BibSLEIGH — Elements of Style: Analyzing a Software Design ...
bibtex.github.io › ISSTA-1996-JacksonD
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector ISSTA, 1996. ISSTA 1996 · DBLP · Scholar · DOI. Full names. Links ISxN.