ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software
暂无分享,去创建一个
[1] David Lorge Parnas,et al. A technique for software module specification with examples , 1972, CACM.
[2] Michael Jackson,et al. Principles of program design , 1975 .
[3] Ernest A. Hershey,et al. PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems , 1976, IEEE Transactions on Software Engineering.
[4] Jochen Ludewig,et al. Überblick und Vergleich verschiedener Mittel für die Spezifikation und den Entwurf von Software , 1978 .
[5] Jochen Ludewig. PCSL - a process control software specification language , 1980 .
[6] J. Ludewig. PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation , 1981 .