Multiple views analysis of software designs

International Journal of Software Engineering and Knowledge Engineering

Volumn 10, Issue 5, 2000, Pages 557-579

  Belkhouche, Boumediene ^a   Lemus Olalde, Cuauhtémoc ^a  

^a TULANE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA FLOW ANALYSIS; ENGINEERING RESEARCH; FORMAL LOGIC; GRAPHIC METHODS; QUALITY FUNCTION DEPLOYMENT;

DATA FLOW DIAGRAM; DESIGN QUALITY; FORMAL DESIGN REPRESENTATION; MULTIPLE VIEWS ANALYSIS; STRUCTURE CHART;

SOFTWARE ENGINEERING;

EID: 0034290426     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0218-1940(00)00033-X     Document Type: Article

References (17)

1. D. Budgen, Software Design, International Computer Science Series, Addison-Wesley, 1994.
2. D. Marca, SADT: Structured Analysis and Design Technique, McGraw-Hill, New York, 1988.
3. J. C. S. do Prado Leite and P. A. Freeman, "Requirements validation through view-point resolution", IEEE Trans. on Software Engineering 17 (1991) 1253-1269.
4. B. Nuseibeh, J. Kramer and A. Finkelstein, "A framework for expressing the relations between multiple views in requirements Specification", IEEE Trans. on Software Engineering, October 1994, pp. 760-773.
5. S. P. Reiss, "PECAN: Program development systems that support multiple views", IEEE Trans. on Software Engineering 11 (1985) 276-285.
6. M. R. Lowry and R. D. McCartney, Chapter 5 in Automating Software Design, MIT Press, 1991.
7. S. Easterbrook, "Domain modeling with hierarchies of alternative viewpoints", IEEE Int. Symp. on Requirements Engineering, January 1993, pp. 65-72.
8. S. D. Meyers, Representing Software Systems in Multiple-View Development Environments, PhD dissertation, Department of Computer Science, Brown University, May 1993, CS-93-18.
9. T. Tse, "The application of Prolog to structured design", Software Practice and Experience 24 (1994) 659-676.
10. S. Hekmatpour and M. Woodman, "Formal specification of graphical notations and graphical software tools", Proc. 1st European Software Engineering Conference, September 1987, pp. 297-305.
11. D. Harel, "On Visual Formalisms", Communications of the ACM 31 (1988) 514-530.
12. T. Tse and L. Pong, "Towards a formal foundation for DeMarco data flow diagrams", Computer Journal 32 (1989) 1-12.
13. Y. Tao and C. Kung, "Formal definition and verification of data flow diagrams", Journal of Systems Software 16 (1991) 29-36.
14. B. Ellington, "An Automated System for Multiple Views Analysis", Master's thesis, Department of Computer Science, Tulane University, August 1998.
15. C. Lemus-Olalde, Abstract Interpretation of Multiple Views in Software Design, PhD dissertation, Department of Computer Science, Tulane University, May 1996.
16. P. Cousot, and R. Cousot, "Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixpoints", Proc. 4th ACM Symposium Principles of Programming Languages, pp. 238-252, 1977.
17. R. Pressman, Software Engineering: A Practioner's Approach, 3rd ed., McGraw-Hill, 1992.