| 
|
QuoteRef: hoffDM_2001
topics >
all references >
Topic:
writing
Topic:
information hiding
Topic:
history of programming
Topic:
interface between program modules
Topic:
separate a module's interface specification from its implementation
Topic:
path expression
Topic:
formal methods and languages
Topic:
software documentation
Topic:
limitations of formalism
Topic:
exceptions and undesired events
Topic:
software review
Group:
program design
Topic:
education
Reference
, in Hoffman, D.M. Weiss, D.M. (ed.), Software Fundamentals. Collected Papers of David L. Parnas, Boston, Massachusetts USA, Addison-Wesley, 2001. Google
xix ;;Quote: outline a technical paper as a list of questions for each section
xxi ;;Quote: an abstract interface provides a service without revealing its implementation
1 ;;Quote: describe software by its construction, behaviour, and specification; the behavioural description should match the behavioural specification
2 ;;Quote: describe behavior as valid traces of externally visible events; less intuitive than preconditions and postconditions; the Trace Assertion Method
5 ;;Quote: readable, precise documentation is required; e.g., as input to tools
5+;;Quote: formal methods are less understandable than actual program text
229 ;;Quote: Parnas and Wurges pioneered undesired events and exception handling of distributed applications
337 ;;Quote: an active review consists of questions to be answered using the documentation; mostly individual work; generated a wealth of comments
337 ;;Quote: identify questions first to avoid being satisfied with the easy answers
Topic: writing (32 items)
Topic: information hiding (50 items)
Topic: history of programming (91 items)
Topic: interface between program modules (55 items)
Topic: separate a module's interface specification from its implementation (86 items)
Topic: path expression (14 items)
Topic: formal methods and languages (53 items)
Topic: software documentation (64 items)
Topic: limitations of formalism (93 items)
Topic: exceptions and undesired events (29 items)
Topic: software review (80 items)
Group: program design (13 topics, 454 quotes)
Topic: education (35 items)