| 
|
QuoteRef: cheaTE_1979
topics >
all references >
ThesaHelp:
references c-d
Topic:
programming style
Topic:
examples of programming environments
Topic:
import/export lists for defining an interface
Topic:
Thesa data model
Topic:
attribute-value pairs as information
Topic:
programming environment
Topic:
language extension via macros
Topic:
stepwise refinement
Reference
Cheatham, T.E., Jr., Townley, J.A., Holloway, G.H., "A system for program refinement", Proceedings International Conference on Software Engineering, IEEE, pp. 53-62, 1979. Google
53 ;;Quote: PDS is a programming environment that does not enforce a programming discipline; but hopefully it encourages good programming practices
53 ;;Quote: an interface specifies its imports (what entities it assumes to exist) and its exports (what entities it provides)
54 ;;Quote: with attributes, can incrementally define procedures, data, etc.
54 ;;Quote: PDS uses a database about the program that gives its modules and entities, their interdependence and refinement history
55 ;;Quote: rewrite facility for program transformations by parameterized pattern-replacement rules
56 ;;Quote: PDS maintains the refinement history of a module and the user's reasons for a refinement and its implications for other modules
56+;;Quote: program refinement is in general a process of trial and error
ThesaHelp: references c-d (337 items)
Topic: programming style (47 items)
Topic: examples of programming environments (17 items)
Topic: import/export lists for defining an interface (20 items)
Topic: Thesa data model (58 items)
Topic: attribute-value pairs as information (53 items)
Topic: programming environment (46 items)
Topic: language extension via macros (23 items)
Topic: stepwise refinement (25 items)