Методология структурного проектирования SADT


         

в SADT кодируют набор возможных


Правила действия в SADT кодируют набор возможных действий блоков модели. Иногда для какого-либо блока эти правила трудно определить. В этом случае для создания полного набора возможных действий мы советуем использовать методы, применяемые в логическом исчислении. Дополнительная литература Dickover, M., and С. McGowan: "Software Design Using SADT", SofTech Technical paper TP061, August 1977. Mendelson, E.: Introduction to Mathematical Logic, VAn Nostrand Reinhold, New York, 1964. Martin, J., and C. McClure: Diagramming Techniques for Analysts and Programmers, Prentice-Hall, Englewood Cliffs, N.J., 1985. Parnas, D.: "On the Criteria to be Used in Decomposing Systems into Modules", CACM, December 1972. Ross, D.: "An Essay on Activity Diagramming", SofTech Technical Report no. 7104, November 1976. Ross D.: "Structured Analysis (SA): A Language for Communicating Ideas", IEEE Transactions on Software Engineering, vol. 3, no. 1, January 1977. Schoman, K.: "SADT and  PERT", SofTech Deliverable no. CLIN#0-02AG, November 1977. SofTech, Inc.: "The DWS/CS Emergency Preset Structured Specification", Technical Paper no. 1083-1, August 1981. Savith, W.: Abstract Machines and Grammars, Litt;e, Brown, Boston, 1982. Weinberg, G.: An Introduction to General Systems Theory, John Wiley, New York, 1975. Weinberg, G.: Rethinking Systems Analysis and Design, Little Brown, Boston, 1982.
 
Оглавление


Содержание  Назад  Вперед