Architectural design in object-z

McComb, T. J. and Smith, G. P. (2004). Architectural design in object-z. In: P. Strooper, Proceedings of the 2004 Australian Software Engineering Conference (ASWEC 2004). The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, (77-86). 13-16 April 2004. doi:10.1109/ASWEC.2004.1290460


Author McComb, T. J.
Smith, G. P.
Title of paper Architectural design in object-z
Conference name The 2004 Australian Software Engineering Conference (ASWEC 2004)
Conference location Melbourne, Australia
Conference dates 13-16 April 2004
Proceedings title Proceedings of the 2004 Australian Software Engineering Conference (ASWEC 2004)
Journal name 2004 Australian Software Engineering Conference, Proceedings
Place of Publication Los Alamitos, California, U.S.A.
Publisher IEEE Computer Society
Publication Year 2004
Sub-type Fully published paper
DOI 10.1109/ASWEC.2004.1290460
ISBN 0-7695-2089-8
ISSN 1530-0803
Editor P. Strooper
Volume 15
Start page 77
End page 86
Total pages 10
Collection year 2004
Language eng
Abstract/Summary We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object-Z. Since the design is derived from the specification, correctness concerns are addressed as pan of the design process. We base our approach on refactoring rules that apply to class structure, and use the rules to implement design patterns. As a motivating example, we introduce a user-interface design that follows the model-view-controller paradigm into an existing specification.
Subjects E1
280402 Mathematical Logic and Formal Languages
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 16 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Fri, 24 Aug 2007, 05:42:59 EST