Architectural design in object-Z

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2004, Issue , 2004, Pages 77-86

  McComb, Tim ^a   Smith, Graeme ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CASE STUDIES; MICROSOFT (CO); MODEL-VIEW CONTROLLER;

COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER PROGRAMMING LANGUAGES; CONTROL EQUIPMENT; DATA PROCESSING; JAVA PROGRAMMING LANGUAGE; MACHINE ORIENTED LANGUAGES; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS; USER INTERFACES;

SOFTWARE ENGINEERING;

EID: 2942592142     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.2004.1290460     Document Type: Conference Paper

References (19)

1. Sun Java technology, http://java.sun.com/, 2003.
2. M. Comelio, A. Cavalcanti, and A. Sampaio. Refactoring by Transformation. In Proc. of REFINE'2002, Electronic Notes in Theoretical Computer Science. Elsevier, July 2002.
3. J. Derrick and E. Boiten. Refinement in Z and Object-Z: Foundations and Advanced Applications. FACIT Series. Springer, May 2001.
4. R. G. Dromey. From requirements to design: Formalizing the key steps. In Intl. Conference on Software Engineering and Formal Methods (SEFM '03), pages 2-11. IEEE Computer Society Press, 2003.
5. E. Eide, A. Reid, J. Regehr, and J. Lepreau. Static and dynamic structure in design patterns. In Proc. of the International Conference on Software Engineering (ICSE), pages 208-218, Orlando, FL, May 2002. ACM Press.
6. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.
7. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
8. S. Goldsack and K. Lano. Annealing and data decomposition in VDM. ACM Sigplan Notices, 31(4):32-38, Apr. 1996.
9. S. Goldsack and K. Lano. Invariants as design templates in object-based systems. In VDM in Practice, pages 13-27, Sept. 1999.
10. D. Hazel, P. Strooper, and O. Traynor. Possum: An animator for the SUM specification language. In W. Wong and K. Leung, editors, Asia Pacific Software Engineering Conference (APSEC 97), pages 42-51. IEEE Computer Society, 1997.
11. T. Hopkins and B. Horan. Smalltalk: An Introduction to Application Development Using VisualWorks. Prentice-Hall, 1995.
12. D. Kruglinski, S. Wingo, and G. Shephard. Programming Microsoft Visual C++. Microsoft Press, 5 edition, 1998.
13. K. Lano. Formal Object-oriented Development. Springer Verlag, 1995.
14. K. Lano and S. Goldsack. Refinement of distributed object systems. In Proc. of Workshop on Formal Methods for Open Object-based Distributed Systems. Chapman and Hall, 1996.
15. K. Lano and N. Malik. Mapping procedural patterns to object-oriented design patterns. Automated Software Engineering: An International Journal, 6(3):265-289, July 1999.
16. J. Lu. Introducing data decomposition into VDM for tractable development of programs. ACM SIGPLAN Notices, 30(9), Sept. 1995.
17. T. McComb. Refactoring Object-Z specifications. In FASE '04: Fundamental Approaches to Software Engineering. In press, Springer-Verlag, 2004.
18. T. Mikkonen. Formalizing design patterns. In Proc. of the 1998 International Conference on Software Engineering, pages 115-124. IEEE Comput. Soc, 1998.
19. G. Smith. The Object-Z Specification Language. Kluwer, 2000.