1 |
A. Beugnard, J. Jezequel, N. Plouzeau and D. Watkins, Making components contract aware, IEEE Computer, Vol.13, No.7, July, 1999
DOI
ScienceOn
|
2 |
Kang K : Issue in Component-Based Software Engineering, 1999 International Workshop on Component-Based Software Engineering
|
3 |
B. Meyer, Applying Design by Contract, IEEE Computer, pp.40-52, October, 1992
DOI
ScienceOn
|
4 |
C. Canal, E. Pimentel and J. M. Troy. Specification and refinement of dynamic software architectures, In Software Architecture, pp.107-126. Kluwer Academic Publishers, 1999
|
5 |
M. Buchi, W. Weck, The greybox approach : When blackbox specifications hide too much, Technical Report 297, Turku Center for Computer Science, Aug., 1999
|
6 |
D. M. Yellin, R. E. Strom, Protocal specifications and components adaptors, ACM Trans., Vol.19, No.2, pp.292-333, Mar., 1997
DOI
ScienceOn
|
7 |
R. Milner, The Polyadic --calculus : A tutorial, Logic and Algebra of Specification, pp.203-246, Springer-Verlag, 1993
|
8 |
D. Helmbold and D. Luckham, Debugging Ada Tasking Programs, IEEE Software, Vol.2, No.2, pp.47-57, 1985
DOI
ScienceOn
|
9 |
Mary Shaw, Architectural issues in Software Reuse, Proc IEEE Symposium on Software Reusability, April, 1995
DOI
|
10 |
Christine Mingins, Yu Liu, From UML to Design by Contract, JOOP, April, 2001
|
11 |
E. Clarke, J. Wing, et al., Formal methods : State of the art and future directions. ACM Computing Surveys, Vol.28, No.4, pp.626-643, Dec., 1996
DOI
ScienceOn
|