Linking requirements and design data for automated functional evaluation

Computers in Industry

Volumn 30, Issue 1, 1996, Pages 13-25

  Frezza, Stephen T ^a,b,d,e   Levitan, Steven P ^{b,e,f,g,h,i,j,k}   Chrysanthis, Panos K ^c,e,h,l  

^a GANNON UNIVERSITY   (United States)

^b UNIVERSITY OF PITTSBURGH   (United States)

^c Learning Research and Development Ctr

^d Lutron Electronics Westinghouse E

^e IEEE

^f University of Pittsburgh

^g CASE WESTERN RESERVE UNIVERSITY   (United States)

^h UNIVERSITY OF MASSACHUSETTS   (United States)

ⁱ Xylogic Systems

^j HEWLETT PACKARD COMPANY   (United States)

^k University of Massachusetts

^l UNIVERSITY OF ATHENS   (Greece)

more..

Author keywords

Black box testing; Design data management; Design process modeling; Traceability

Indexed keywords

AUTOMATION; COMPUTER AIDED DESIGN; DATA STRUCTURES; EVALUATION; LARGE SCALE SYSTEMS; QUALITY ASSURANCE; SYSTEMS ANALYSIS; TESTING;

BLACK BOX TESTING; COMPLEX HIERARCHICAL DESIGNS; DESIGN DATA MANAGEMENT; DESIGN PROCESS MODELING; DESIGN QUALITY; SEMANTIC GRAPH DATA MODEL; TRACEABILITY;

COMPUTER SIMULATION;

EID: 0042540360     PISSN: 01663615     EISSN: None     Source Type: Journal    
DOI: 10.1016/0166-3615(96)00018-8     Document Type: Article

References (25)

1. M. Alford, "Software requirements engineering methodology (SREM) at the age of eleven: Requirements driven design", In: Modern Software Engineering: Foundations and Current Perspectives, Ch. 11, Van Nostrand Reinhold, New York, 1990, pp. 351-377.
2. American National Standards Institute and the IEEE Standards Board, IEEE Standard for Binary Floating-Point Arithmetic, ANSI/IEEE Std 754-1985, ANSI/IEEE, New York, 1985.
3. B. Beizer, Black-Box Testing, John Wiley and Sons, New York, 1995.
4. F.P. Brooks, Jr., "No silver bullet: Essence and accidents of software engineering", IEEE Computer 20(4) (1987) 10-19.
5. S., Dar, N. Gehani and H. Jagadish, "ODE object database and environment", Technical report, AT and T Bell Laboratories, CTR Lab, 1991.
6. A., Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein and M. Goedicke, "Viewpoints: A framework for integrating multiple perspectives in system development", Int. J. of Software Engineering and Knowledge Engineering 2(1) (1992) 31-58.
7. S. Frezza, S. Levitan and P. Chrysanthis, "Requirements-based functional evaluation", 32nd ACM/IEEE Design Automation Conf. (DAC '95), pp. 76-81, June, 1995.
8. S.T. Frezza, "Requirements based design evaluation methodology", Ph.D. thesis, Department of Electrical Engineering, University of Pittsburgh, Pittsburgh, PA, 1995.
9. O. Gotel and A. Finkelstein, "Modeling the contribution structure underlying requirements", Proc. of the 1st Int. Conf. on Requirements Engineering (ICRE), pp. 94-101, April, 1994.
10. J.L. Hennessey and D.A. Patterson, Computer Architecture: A Quantitative Approach, Morgan Kaufmann, San Mateo, CA, 1990.
11. IEEE, IEEE Standard VHDL Language Reference Manual. IEEE Std 1076-1993, IEEE Press, New York, NY, 1993.
12. M. Jackson and P. Zave, "Domain descriptions", Proc. of the IEEE Int. Symp. on Requirements Engineering, pp. 56-64, January 1993.
13. M. Jacome and S. Director, "A formal basis for design process planning and management", IEEE/ ACM Int. Conf. on CAD-94, pp. 516-521, November, 1994.
14. R.H. Katz, "Toward a unified framework for version modeling in engineering databases", ACM Computing Surveys 22(4) (1990) 375-408.
15. P. Kollaritsch, S. Lusky, D. Matzke, D. Smith and P. Stanford, "A unified design representation can work", 26th ACM/IEEE Design Automation Conf., pp. 811-813, June 1989.
16. I. Koren, Computer Arithmetic Algorithms, Prentice Hall, Englewood Cliffs, NJ, 1993.
17. J.A. McDermid, "Requirements analysis: Orthodoxy, fundamentalism and heresy", In: Requirements Engineering - Social and Technical Issues, pp. 17-40, Academic Press, New York, 1994.
18. G.J. Myers, The Art of Software Testing, John Wiley and Sons, New York, 1979.
19. L.W. Nagel, "Spice2: A computer program to simulate semiconductor circuits", Technical report ERL-M520, University of California at Berkeley, Berkeley, CA, May, 1975.
20. J.K. Ousterhout, Cornerstiching: A data-structuring technique for VLSI layout tools, IEEE Transactions on Comp. Aided Design 3(1) (1984) 87-100.
21. B. Ramesh and M. Edwards, "Issues in the development of a requirements traceability model", Proc. of the IEEE Int. Symp. on Requirements Engineering, pp. 256-259, January, 1993.
22. T. Smithers, "Design as exploration: Puzzle-making and puzzle-solving", Workshop on Search-Based and Exploration-Based Models of Design Process, 2nd Int. Conf. on Artificial Intelligence in Design, pp. 1-21, June, 1992.
23. I. Sommerville, Software Engineering, 3rd edition, Addison-Wesley, Reading, MA, 1989.
24. D.E. Webster, "Mapping the design information representation terrain", IEEE Computer 21(12) (1988) 8-23.
25. E.F. Weller, "Using metrics to manage software projects", IEEE Computer 27(9) (1994) 27-33.