[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Bruce I Blum
- A Taxonomy of Software Development Methods
- Commun ACM V37n11(Nov 1994)pp82-94 CR9602-0143
- history(pp84-90) methods
Design methods include analysis...code.
All based on ideas started in 1968-1977.
No clear dividing lines between successive activities
shift from life cycle to process
Destinguishes: descriptive models("conceptual")(give guidance) from prescriptive models("formal")(establish criteria).
and: problem oriented(focus on understanding the problem/solution) from product oriented(correct transformation from a prescription to a maintainable implementation).
problem oriented prescriptive models have potential
automatic support for product oriented formal
problem oriented tend to be descriptive and prescriptive tend to be product oriented.
Mentions levels of abstraction, virtual machines, SWR, functional decomposition, structured design, coupling, cohesion, structure chart, information hiding, structured programming, proofs of correctness, algebraic specification, ADTs, structured analyisi, DFDs PSL/PSA, ERM(ERD), STD. petrie nets, warnier LCS (not LCP), JSP, JSD, VDM (not Z), OOP, OOA, Modern structured analysis, no silver bullets.
?? mathematical means top-down?
isomorphism between problem and solution
tension in development between need for subjective designs and formal programs.... top-down vs outside in, data flow vs data structure.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]