Working with UML: A software design process based on inspections for the unified modeling language

Advances in Computers

Volumn 54, Issue C, 2002, Pages 35-98

  Travassos, Guilherme H ^a   Shull, Forrest ^b   Carver, Jeffrey ^b  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^b UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35248899528     PISSN: 00652458     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0065-2458(01)80015-2     Document Type: Article

References (73)

1. Leite J.C.S.P., and Freeman P.A. Requirements validation through viewpoint resolution. IEEE Transactions on Software Engineering 17 (1991) 1253-1269
2. In: Finkelstein A., Krammer J., and Nuseibeth B. (Eds). Software Process Modeling and Technology (1994), Wiley
3. IEEE. Standard 830-1993. Recommended Practice for Software Requirements Specifications (1993), Software Engineering Standards Committee of the IEEE Computer Society, New York
4. Pfleeger S. Software Engineering: Theory and Practice (1998), Prentice Hall, New Jersey, USA
5. Irvine, CA. Lockman A., and Salasin J. A procedure and tools for transition engineering. Proceedings of the 4th ACM SIGSOFT Symposium on Software Development Environments (1990) 157-172
6. Meyer B. Object-Oriented Software Construction. second edition (1997), Prentice Hall, New Jersey, USA
7. Pressman R. Software Engineering: A Practitioner's Approach. fourth edition (1997), McGraw-Hill, USA
8. Jalote P. An Integrated Approach to Software Engineering. second edition (1997), Springer-Verlag, New York Inc., USA
9. Rumbaugh J., Blaha M., Premerlani W., Eddy F., and Lorenson W. Object-Oriented Modeling and Design (1992), Prentice Hall, USA
10. Booch G. Object-Oriented Analysis and Design (1994), Addison-Wesley, USA
11. Booch G., Rumbaugh J., and Jacobson I. The Unified Modeling Language User Guide, Addison-Wesley Object Technology Series (1999), Addison-Wesley, USA
12. (revised printing). Jacobson I., Christerson M., Jonsson P., and Övergaard G. Object-Oriented Software Engineering: A Use Case Driven Approach (1992), Addison-Wesley, USA
13. Coleman D., Bodoff S., and Arnold P. Object-Oriented Development: The Fusion Method (1993), Prentice Hall, New Jersey, USA
14. Kitchenham B.A., Travassos G.H., von Mayrhauser A., Niessink F., Shneidewind N.F., Singer J., Takada S., Vehvilainen R., and Yang H. Towards an ontology of software maintenance. Journal of Software Maintenance: Research and Practice 11 (1999) 365-389
15. OMG-Object Management Group, Inc. Unified Modeling Language Specification, Version 1.3 (1999). http://www.omg.org
16. Conallen J. Modeling web application architectures with UML. Communications of the ACM 42 (1999) 63-70
17. Larsen G. Designing component-based frameworks using patterns in the UML. Communications of the ACM 42 (1999) 38-45
18. Shroff M., and France R.B. Towards a formalization of UML class structures in Z. Proceedings of COMPSAC'97-21st International Computer Software and Applications Conference. France (1997)
19. Uemura T., Kusumoto S., and Inoue K. Function point measurement tool for UML design specification. Proceedings of the 6th International Symposium on Software Metrics (1998) 62-69
20. Travassos G., Shull F., Fredericks M., and Basili V. Detecting defects in object-oriented designs: using reading techniques to improve software quality. Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications. (OOPSLA), Denver, Colorado (1999) 47-56
21. Toulouse, France. Jäger D., Schleicher A., and Westfechtel B. Using UML for software process modeling. Proceedings of the 7th European Engineering Conference held jointly with the 7th ACM SIGSOFT symposium on Foundations of Software Engineering (1999) 91-108
22. Evans A., and Kent S. Core meta-modeling semantics of UML: the pUML approach. Proceedings of the 2nd International Conference on the Unified Modeling Language-UML'99. Fort Collins, Colorado (1999)
23. Morisio M., Travassos G.H., and Stark M. Extending UML to support domain analysis. Proceedings of the 15th IEEE International Conference on Automated Software Engineering. Grenoble, France (2000)
24. Selic B. A generic framework for modeling resources with UML. IEEE Computer (2000) 64-69
25. Fairfax, VA. Epstein P., and Sandhu R. Towards a UML based approach to role engineering. Proceedings of the 4th ACM Workshop on Role-Based Access Control (1999) 135-143
26. D'Souza D.F., and Willis A.C. Objects, Components, and Frameworks with UML: The Catalysis Approach (1998), Addison-Wesley
27. Krutchen P. The Rational Unified Process: An Introduction (1999), Addison-Wesley, Reading, Mass
28. Jacobson I., Booch G., and Rumbaugh J. The Unified Software Development Process (1999), Addison-Wesley, Reading, Mass.
29. Graham I.M., Henderson-Sellers B., and Younessi H. The OPEN Process Specification (1997), Addison-Wesley, Harlow
30. Booch G. UML in action. Communications of the ACM 42 (1999) 26-28
31. Kobryn C. UML 2001: "A standardization odyssey". Communications of the ACM 42 (1999) 29-37
32. Fowler M., and Scott K. UML Distilled: A Brief Guide to the Standard Object Modeling Language. second edition (2000), Addison-Wesley
33. Rumbaugh J., Jacobson I., and Booch G. The Unified Modeling Language Reference Manual, Addison-Wesley Object Technology Series (1999), Addison-Wesley
34. Warmer J.B., and Kleppe A.G. Object Constraint Language: Precise Modeling With UML (1999), Addison-Wesley
35. Eriksson H., and Penker M. UML Toolkit (1997), Wiley
36. Douglass B.P. Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks and Patterns (1999), Addison-Wesley
37. Wirfs-Brock R., wilkerson B., and Wiener L. Designing Object-Oriented Software (1990), Prentice Hall
38. (CD-ROM Issue), Special Issue of the Proceedings of the 7th International Conference on Computer and Information ICCI'95, Peterborough, Ontario, CA. Cangussu J.W.L., Penteado R.A.D., Masiero P.C., and Maldonado J.C. Validation of statecharts based on programmed execution. Journal of Computing and Information (1995)
39. Perry W. Effective Methods for Software Testing. second edition (2000), Wiley
40. Software Engineering Standards (1987), IEEE Computer Society
41. van Solingen R., and Berghout E. The Goal/Question/Metric Method: A Practical Guide for Quality Improvement of Software Development (1999), McGraw-Hill
42. Coad P., and Yourdon E. Object-Oriented Design. Yourdon Press Computing Series (1991)
43. Clunie C., Werner C., and Rocha A. How to evaluate the quality of object-oriented specifications. Proceedings of the 6th International Conference on Software Quality. Ottawa, Canada (1996) 283-293
44. Lorenz M., and Kidd J. Object-Oriented Software Metrics (1994), Prentice Hall
45. Chidamber S.R., and Kemerer C.F. A metrics suite for object oriented design. IEEE Transactions on Software Engineering 20 (1994)
46. Lie W., and Henry S. Object-oriented metrics that predict maintainability. Journal of Systems and Software 23 (1993) 111-122
47. Basili V.R., Briand L.C., and Melo W.L. A validation of object-oriented design metrics as quality indicators. IEEE Transactions on Software Engineering 22 (1996) 751-761
48. Fagan M. Design and code inspections to reduce errors in program development. IBM Systems Journal 15 (1976) 182-211
49. Fagan M. Advances in software inspections. IEEE Transactions on Software Engineering 12 (1986) 744-751
50. Gilb T., and Graham D. Software Inspection (1993), Addison-Wesley, Reading, MA
51. Greenbelt, MD. Basili V., Caldiera G., Lanubile F., and Shull F. Studies on reading techniques. Proceedings of the 21st Annual Software Engineering Workshop. SEL-96-002 (1996) 59-65
52. NASA. Software Formal Inspections Guidebook. Report NASA-GB-A302 (1993), National Aeronautics and Space Administration. Office of Safety and Mission Assurance
53. Votta Jr. L.G. Does every inspection need a meeting?. ACM SIGSOFT Software Engineering Notes 18 (1993) 107-114
54. Porter A., Votta Jr. L., and Basili V. Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Transactions on Software Engineering 21 (1995) 563-575
55. ANSI. IEEE guide to software requirements specifications. Standard Std 830-1984 (1984)
56. On line at. Shull F., Travassos G.H., Carver J., and Basili V.R. Evolving a Set of Techniques for OO Inspections. Technical Report CS-TR-4070, UMIACS-TR-99-63 (1999), University of Maryland. http://www.cs.umd.edu/Dienst/UI/2.0/Describe/ncstrl.umcp/CS
57. Beizer B. Black-Box Testing: Techniques for Functional Testing of Software and Systems (1995), Wiley
58. Binder R.V. Testing Object-Oriented Systems: Models, Patterns, and Tools (1999), Addison-Wesley
59. Kung C., Hsia P., Gao J., and Kung D.C. Testing object-oriented software. IEEE Computer Society (1998)
60. Washington, DC. Offutt J. Practical mutation testing. Proceedings of the 12th International Conference on Testing Computer Software (1995) 99-109
61. Delamaro M.E., and Maldonado J.C. Integration testing using interface mutation. Proceedings of the 7th International Symposium on Software Reliability Engineering. ISSRE. White Plains, NY (1996) 112-121
62. Chung L., Nixon B.A., Yu E., and Mylopoulos J. Non-Functional Requirements in Software Engineering (1999), Kluwer Academic Publishers
63. Juristo N., Moreno A.M., and López M. How to use linguistic instruments for object-oriented analysis. IEEE Software (2000) 80-89
64. Harel D., and Naamad A. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology 5 (1996) 293-333
65. Vieira M.E.R., and Travassos G.H. An approach to perform behavior testing in object-oriented systems. Proceedings of the Technology of Object-Oriented Languages-TOOLS 27. Beijing, China (1998), IEEE Computer Society
66. Offutt J., and Abdurazik A. Generating tests from UML specifications. Proceedings of the 2nd International Conference on the Unified Modeling Language (UML99). Fort Collins, CO (1999)
67. Henderson-Sellers B. Object-Oriented Metrics: Measures of Complexity (1996), Prentice Hall
68. Travassos G.H., and Andrade R.S. Combining metrics, principles and guidelines for object oriented complexity reduction. Workshop on quantitative Approaches in Object Oriented Software Engineering, ECOOP'99. Lisbon, Portugal (1999)
69. Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software (1995), Addison-Wesley
70. Buschmann F., Meunier R., Rohnert H., Sommeerlad P., and Stahl M. Pattern-Oriented Software Architecture: A System of Patterns (1996), Wiley, New York
71. Markosian L., Newcomb P., Brand R., Burson S., and Kitzmiller T. Using an enabling technology to reengineer legacy systems. Communications of the ACM 37 (1994) 58-70
72. Yakimovitch D., Travassos G.H., and Basili V.R. A classification of components incompatibilities for COTS integration. Proceedings of the 24th Annual Software Engineering Workshop. NASA/SEL, Greenbelt, USA (1999)
73. Clark D. Are too many programmers too narrowly trained?. IEEE Computer 33 (2000) 12-15