Supplementing process-oriented with structure-oriented design explanation within formal object-oriented method

Proceedings - 1998 Australian Software Engineering Conference, ASWEC 1998

Volumn 1998-November, Issue , 1998, Pages 118-132

  Nguyen, Lemai ^a   Swatman, Paul A ^a   Shanks, Graeme ^b  

^a DEAKIN UNIVERSITY   (Australia)

^b MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

ACTION RESEARCH; DESIGN DECISIONS; FORMAL OBJECTS; PROCESS-ORIENTED; REQUIREMENTS SPECIFICATIONS;

OBJECT ORIENTED PROGRAMMING;

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

References (13)

1. Bellotti, V.M.E., MacLean, A. And Moran, T, Generating good design questions, Technical Report EPC-1991-136, Rank Xerox Research Centre Cambridge Laboratory, Cambridge, 1991.
2. Boyle, S., An investigation of heuristics used in the construction of conceptual models from root definition in the Soft Systems Methodology, Master's thesis, Swinburne University of Technology, Melbourne, Australia, 1995.
3. Checkland, P., From framework through experience to learning: the essential nature of action research, in H.-E. Nissen, H. Klein and R. Hirschheim (eds), Contemporary Approaches and Emergent Traditions, IFOP, Elsevier Science Publishers B.V., North-Holland, 1991. Pp. 397-403.
4. Checkland, P. And Scholes, Soft Systems Methodology in Action, John Willey and Sons Ltd, 1990.
5. Conklin, E. J. And Yakemovic, K.B., A process-oriented approach to design rationale, Human Computer-Interaction 6:357-394, 1991.
6. Dix, A., Finlay, J., Abowd, G. And Beale, R., Human- Computer Interaction, Prentice Hall International (UK) Ltd, Cambridge, 1993, chapter 5, pp.180-190.
7. Duke, R. And Rose, G., Formal Object-Oriented Specification and Design Using Object-Z, Software Verification Research Centre, Department of Computer Science, University of Queensland, 1995.
8. Fischer, G., Lemke, A.C., McCall and Morch, A.I. Making argumentation serve design, Human-Computer Interaction 6: 393-419, 1991.
9. Fowler, D.C. Formal Methods in a Commercial Information Systems Setting: the FOOM Method, PhD Thesis, Centre for Information Systems Research, Swinburne University of technology, Melbourne, Australia, 1996.
10. Fowler, D.C. And Swatman, P.A., FOOM: Structure and Process, Proceedings of the Second Australian Requirements Engineering Workshop, Sydney, Australia, 1997, pp. 3-14.
11. Fowler, D.C., Swatman P.A. And Wafula, E.N., Formal methods in the IS domain: Introducing a notation for presenting Object-Z specifications, Object-Oriented Systems 2(2): 99-127, 1995.
12. Henderson-Sellers, B. And Edwards, J., BOOK TWO of Object-Oriented Knowledge: The Working Object, Prentice Hall International Ltd, 1994.
13. Johnson, C. Literate specification: Using design rationale to support formal methods in the development of humancomputer interfaces, Human-Computer Interaction Journal, 1996, 11(4): 291-320.