Information Technology Reference
In-Depth Information
7. Chen, X., Liu, Z., Mencl, V.: Separation of Concerns and Consistent Integration
in Requirements Modelling. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W.,
Meinel, C., Sack, H., Plasil, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, Springer,
Heidelberg (2007)
8. Chen, Z., Hannousse, A.H., Hung, D.V., Knoll, I., Li, X., Liu, Y., Liu, Z., Nan,
Q., Okika, J., Ravn, A.P., Stolz, V., Yang, L., Zhan, N.: The common component
modelling example in rCOS. In: CoCoME—The Common Component Modelling
Example. LNCS, Springer, Heidelberg (2007)
9. Chen, Z., Liu, Z., Stolz, V., Yang, L., Ravn, A.P.: A Refinement Driven Component-
Based Design. In: Proc. of 12th IEEE Intl. Conf. on Engineering of Complex Com-
puter Systems (ICECCS 07), IEEE Computer Society Press, Los Alamitos (2007)
10. de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.P.: Formal Methods for
Components and Objects. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever,
W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, Springer, Heidelberg (2004)
11. Flanagan, C., et al.: Extended Static Checking for Java. In: Pro. PLDI' 2002 (2002)
12. Fowler, M., et al.: Refactoring: Improving the Design of Existing Code. Addison-
Wesley, Reading (1999)
13. He, J., Li, X., Liu, Z.: Component-Based Software Engineering. In: Van Hung, D.,
Wirsing, M. (eds.) ICTAC 2005. LNCS, vol. 3722, Springer, Heidelberg (2005)
14. He, J., Li, X., Liu, Z.: rCOS: A refinement calculus for object systems. Theoretical
Computer Science 365(1-2), 109-142 (2006)
15. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood
Cliffs (1985)
16. Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Engle-
wood Cliffs (1998)
17. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual.
Addison-Wesley Professional, Reading (2003)
18. Kruchten, P.: The Rational Unified Process—An Introduction. Addison-Wesley,
Reading (2000)
19. Lamport, L.: The temporal logic of actions. ACM Transactions on Programming
Languages and Systems 16(3), 872-923 (1994)
20. Larman, C.: Applying UML and Patterns. Prentice-Hall, Englewood Cliffs (2001)
21. Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. STTT 1(1-2), 134-152
(1997)
22. Leavens, J.L.: JML's rich, inherited specification for behavioural subtypes. In: Liu,
Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, Springer, Heidelberg (2006)
23. Liu, X., Liu, Z., Zhao, L.: Object-oriented structure refinement—a graph transfor-
mational approach (Extended version submitted for journal publication). In: Intl.
Workshop on Refinement (REFINE'06). ENTCS (2006)
24. Liu, Z.: A continuous algebraic semantics of CSP. Journal of Computer Science
and Technology 4(4), 304-314 (1989)
25. Liu, Z., He, J. (eds.): Mathematical Frameworks for Component software: Models
for Analysis and Synthesis. In: Liu, Z., He, J. (eds.) Series on Component-Based
Software Development, vol. 2, World Scientific, Singapore (2006)
26. Liu, Z., Ravn, A., Li, X.: Unifying proof methodologies of duration calculus and
timed linear temporal logic. Formal Aspects of Computing 16(2), 140-154 (2004)
27. Martin, R.C.: Agile Software Development: Principles, Patterns, and Practices.
Prentice-Hall, Englewood Cliffs (2003)
Search WWH ::
Custom Search