1 |
Smith, G., The Object Specification Language, Kluwer Academic Publisher, 1999
|
2 |
Kang, K., 'Issues in Component-Based Software Engineering,' International Workshop on Component-Based Software Engineering 1999
|
3 |
Lee, S. D., Yang, Y. J., Cho, E. S., Kim, S. D., 'COMO : A UML-Based Component Development Methodology,' Asia-Pacific Software Engineering Conference(APSEC99), Takamachu, Japan, PP. 54-61, Dec. 7-10, 1999
DOI
|
4 |
Herzum, P., Sims, O., Business Component Factory A Comprehensive Overview of Component-Based Development for the Enterprise, Wiley & Sons, 2000
|
5 |
D'Souza, D. F., and Wills, A. G., Objects, Components, and Frameworks with UML, Addison Wesley, 1999
|
6 |
Sterling Software, 'The COOL:Gen Component Standard3.0,' Sept.1999
|
7 |
Jacobson, I., Griss, M., Jonsson, P., Software Reuse Architecture Process and Organization for Business Success, ACM Press, 1997
|
8 |
Allen, P., Realizing e-Business with Components, Addison-Wesley, 2000
|
9 |
Allen, P., Frost, S., Component-Based Development for Enterprise Systems, Cambridge, 1998
|
10 |
Atkinson, C., Component-Based Product Line Engineering with UML, Addison Wesley, 2002
|
11 |
Jacobson, I., Booch, G., Rumbaugh, J., The Unified Software Development Process, Addison Wesley, 1999
|
12 |
Bergner, K., Rausch, A., Sihling, M., Vilbig, A., Broy, M., 'A Formal Model for Componentware,' Foundations of Component-based System, pp. 189-210, Cambridge, 2000
|
13 |
Spivey, J.M., The Z Notation A Reference Manual, URL : http://spivey.oriel.ox.ac.uk/~mike/zrm/, 1992
|
14 |
Garlan, G., Monroe, R. T, Wile, D., 'Acme: Architectural Description of Component-Based Systems,' Foundations of Component-based Systems, pp. 47-67, Cambridge, 2000
|
15 |
Finkbeiner, B., Kruger, I., 'Using Message Sequence Charts for Component-based Formal Verification,' OOPSLA, October 2001
|
16 |
Warmer, J. B., Kleppe, A. G., The Object Constraint Language:Precise Modeling with UML, Addison-Wesley, 1999
|
17 |
Smith, G., The Object-Z Specification Language, Kluwer Academic Publishers, 2000
|
18 |
Leavens, G. T., Sitraman, M., Foundation of Component-based Systems, Cambridge, 2000
|
19 |
Hopkins, J., 'Component Primer,' Communication of the ACM Vol. 43, No. 10, October 2000
DOI
ScienceOn
|
20 |
Heineman, G. T., Councill, W. T., Component-based Software Engineering, Addison Wesley, 2001
|
21 |
Mahony, B., Jin, S.D., 'Timed Communicating Object Z,' IEEE Transaction on Software Engineering, Vol.26, No.2, February 2000
DOI
ScienceOn
|
22 |
Achermann, F., Lumpe, M., Schneider, J., Nierstrasz, O., 'Piccola - a Small Composition Language,' Formal Methods for Distributed Processing - A Survey of Object-Oriented Approaches, Howard Bowman and John Derrick (Eds.), pp. 403-426, Cambridge University Press, 2001
|
23 |
UML Specification v1.4, OMG,Inc., September, 2001
|