Group:
requirement specification
Group:
types of programming languages
Topic:
automated tests of specifications and designs
Topic:
CADES structural modeling with holons
Topic:
design documentation
Topic:
formal methods and languages
Topic:
object-oriented modelling language
Topic:
programming language design
Topic:
pseudocode design
Topic:
software documentation
Topic:
specification and design of distributed systems
| |
Subtopic: design language needed 
| Quote: we need an external model to portray the properties of a complex system; the model itself is a system [»handP_1981]
| | Quote: formal and natural language descriptions of a system should fit well together [»handP_1981]
| | Quote: should be able to describe systems naturally; requires description of alternate views [»handP_1981]
|
Subtopic: examples
| QuoteRef: bergGD10_1981 ;;A guided tour of program design methodologies
| | Quote: DELTA language is for communication between analysts and users, analysts and trade unions, programmers and scientists [»handP_1981]
|
Subtopic: design methods
| Quote: JSD is applicable to sequential systems where partial ordering by time is critical; e.g., keeping accounts at a bank [»jackMA2_1984]
| | Quote: designers use Structured Analysis tools but not its rules and procedures [»bansJP4_1993]
| | Quote: in Denmark, Yourdon's and DeMarco's Structured Analysis is widely used for developing business applications [»bansJP4_1993]
| | Quote: Structural modeling uses the systems description language, SDL, to code high level narratives [»pearDJ7_1973]
| | Quote: structured analysis is for communicating units of thought expressed in other languages [»rossDT1_1977]
|
Subtopic: meta programming
| Quote: meta-programs specify programming tasks; primary communication from meta-programmer to technicians [»simoC12_1976]
|
Subtopic: database schema
Quote: arbitrary changes to database schemas are needed for a design environment
[»zdonSB10_1986]
|
Related Topics
Group: requirement specification (11 topics, 307 quotes)
Group: types of programming languages (29 topics, 611 quotes)
Topic: automated tests of specifications and designs (12 items)
Topic: CADES structural modeling with holons (24 items)
Topic: design documentation (43 items)
Topic: formal methods and languages (53 items)
Topic: object-oriented modelling language (6 items)
Topic: programming language design (53 items)
Topic: pseudocode design (43 items)
Topic: software documentation (64 items)
Topic: specification and design of distributed systems
(14 items)
|
