pes@inmet.UUCP (09/10/88)
A significant portion of _A_Practical_Handbook_for_Software_Development_,
by N.D. Birrell and M.A. Ould, Cambridge University Press, 1985,
is devoted to overviews of many of these techniques (and others), and
to showing how each could be used in the development of an example system.
The techniques surveyed (grouped roughly by phase) include:
cost estimation techniques (IBM, SLIM, PRICE-S, COCOMO)
requirements definition techniques
PSL/PSA, Structured Analysis (SA),
Structured Analysis and Design Technique (SADT),
Controlled Requirements Expansion (CORE),
Software Requirements Engineering Methodology (SREM),
Finite State Machines (FSM),
Petri Nets,
Jackson System Development (JSD),
RSRE Software Development System (SDS/RSRE)
design techniques
Structured Design (SD),
Jackson Structured Programming (JSP),
System Architect's Apprentice (SARA),
MASCOT,
Formal Development Methodology (FDM),
Hierarchical Development Methodology (HDM),
Higher Order Software (HOS)
Paul Slonaker (pes@inmet)
Intermetrics, Inc. 733 Concord Ave. Cambridge, MA USA