Page 157 - Software and Systems Requirements Engineering in Practice

n
t
m
e
M
o
s

e
q
C h a p t e r 4 :
R
r
e
u
i
d
n
g
C h a p t e r 4 : R e q u i r e m e n t s M o d e l i n g 123 123
e
l
i
Chung, L. and Subramanian, N., “Process-Oriented Metrics for Software Architecture
Adaptability,” Fifth IEEE International Symposium on Requirements Engineering
(RE ’01), Toronto, ON, August 2001, pp. 310–311.
Cox, K., “Taking to Scenarios to Improve the Requirements Process: an Experience
Report,” IEE Seminar: Scenarios Through the System Life Cycle, London, UK, 2000,
pp. 1–10.
Creighton, O., Ott, M., and Bruegge, B., “Software Cinema-Video-Based Requirements
Engineering,” Proceedings of the 14th IEEE International Requirements Engineering
Conference (RE ’06), 2006, pp. 109–118.
Crochemore, M., Verin, R., “Direct Construction of Compact Directed Acyclic
Word Graphs,” 8th Annual Symposium, CPM 97, Aarhus, Denmark, 1997,
pp. 116–129.
Dulac, N., Viguier, T., Leveson, N., and Storey, M., “On the Use of Visualization
in Formal Requirements Specification,” IEEE Joint International Conference
on Requirements Engineering (RE ’02), Essen, Germany, September 2002,
pp. 71–80.
Fowler, M., UML Distilled, Addison-Wesley, Boston, MA, 2004.
France, R.B. and Bruel, J.M., “A UML Profile for Rigorous Requirements Modeling,”
Proceedings of 2000 Conference on Software Engineering and Applications, M.H.
Hamza, ed., Las Vegas, NV, USA, 2000, pp. 86–91.
Gamma, E., Helm, R., Johnson, R., and Vlissides, J., Design Patterns: Elements of
Reusable Object-Oriented Software, Addison-Wesley, Boston, 1994.
Gane, C., Structured Systems Analysis: Tools and Techniques, Prentice-Hall, Englewood
Cliffs, NJ, 1979.
Hartmann, J., Vieira, M., and Ruder, A., “UML-Based Test Generation and
Execution,” Proceedings of the 21st Workshop on Software Test, Analyses and
Verification (GI-FG TAV), Berlin, June 2004.
Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., and Chen, C., “Formal
Approach to Scenario Analysis,” IEEE Software, IEEE, Piscataway, NJ, USA,
March 1994, pp. 33–41.
IEEE, IEEE Standard for Conceptual Modeling Language Syntax and Semantics for
IDEF1X (IDEF object ), IEEE Standard 1302.2-1998.
97
Jackson, M., “Formalism and Informality in RE,” Fifth IEEE International Symposium
on Requirements Engineering (RE ’01), Toronto, Canada, August 2001, p. 269.
Jacobson, I., Booch, G., and Rumbaugh, J., The Unified Software Development Process,
Addison Wesley Longman, Massachusetts, 1999.
Jarke, M., “CREWS: Towards Systematic Usage of Scenarios, Use Cases and Scenes,”
Wirtschaftsinformatik 99, Springer Aktuell, Saarbrücken, Germany, March
1999.
Jarke, M., “Scenarios for Modeling,” Communications of the ACM, Vol 42, No. 1,
Association for Computing Machinery, January, 1999, pp. 47–48.
Karner, G., “Metrics for Objectory,” Diploma thesis, University of Linköping,
Sweden, No. LiTHIDA-Ex-9344:21, December 1993.
Kosters, G., Six, H., and Winter, M., “Coupling Use Cases and Class Models as
a Means for Validation and Verification of Requirements Specifications,”
Requirements Engineering, Vol. 6, No. 1, Springer-Verlag, London, UK, 2001.
Lau, Y.-T., “Service-Oriented Architecture and the C4ISR Framework,” Crosstalk,
September 2004.
Li, X., Liu, Z., and He, J., “Formal and Use-Case Driven Requirement Analysis in
UML,” 25th Annual International Computer Software and Applications Conference,
Chicago, IL, 2001, pp. 215–224.
Lorenz, M., and Kidd, J., Object-Oriented Software Metrics: A Practical Guide, Prentice-
Hall, NJ, 1994.
Muthig, J.D., Sody, P., and Tolzmann, E., “Efficient and Systematic Software
Evolution Through Domain Analysis,” IEEE Joint International Conference
on Requirements Engineering (RE ’02), Essen, Germany, September 2002,
pp. 237–246.
NRC/ERB-1072, January 2000, NRC 43619.
Rational Rose Enterprise Edition is a product of IBM Corporation, www.ibm.com.