Literate specifications

Software Engineering Journal

Volumn 11, Issue 4, 1996, Pages 225-237

  Johnson, C W ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; COMPUTER SYSTEMS; DATABASE SYSTEMS;

LITERATE SPECIFICATIONS; Z SCHEMA CALCULUS;

SOFTWARE ENGINEERING;

EID: 0030196839     PISSN: 02686961     EISSN: None     Source Type: Journal    
DOI: 10.1049/sej.1996.0028     Document Type: Article

References (39)

1. CRAIGEN, D., GERHART, S., and RALSTON, T., 'An international survey of industrial applications of formal methods'. Technical Report NISTGCR 93/626, US Department of Commerce, National Institute Of Standards And Technology, Githersburg, USA, 1993
2. AUSTIN, S., and PARKIN, G.I.: 'Formal methods: a survey'. Technical report, Division Of Information Technology And Computing, The National Physical Laboratory, Teddington, UK, 1993
3. BOWEN, J., and STAVRIDOU, V.: 'Safety-critical systems, formal methods and standards', Softw. Eng. J., 8, (4), pp. 189-209
4. JOHNSON, C.W.: 'Specifying and prototyping dynamic human-computer interfaces for stochastic applications', In ALTY, J.L., DIAPER, D., and GUEST, S. (Eds.): 'People and computers VIII' (Cambridge University Press, Cambridge, UK, 1993), pp. 233-248
5. DIX, A.J.: 'Formal methods for interactive systems' (Academic Press, London, UK, 1991)
6. 'Advanced orbiting systems - architectural specification for the CCSDS secretariat'. NASA, Washington DC, USA, 1989
7. 'Requirements for the Procurement of Safety Critical Software'. MOD DEF-STAN 00-55, Ministry of Defence, London, UK, 1991
8. BOWEN, J., and HINCHEY, M.: 'Formal methods and safety-critical standards', Computer, 1993, 26, (8)
9. CARRINGTON, D., and STOCKS, P.: 'A tale of two paradigms - formal methods and software testing'. Proc. Z Users Meeting, 1994 (Springer-Verlag, Berlin, Germany)
10. KLEIN, M.: 'Capturing design rationale in concurrent engineering teams', Computer, 1993, 26, (1), pp. 39-47
11. JOHNSON, C.W.: 'Using Z to support the design of interactive, safety-critical systems', Softw. Eng. J., 1995, 10, (2), pp. 49-60
12. JOHNSON, C.W.: 'A probabilistic logic for the development of safety-critical interactive systems', Int. J. Man.Mach. Studies, 1993, 39, (2), pp. 333-351
13. CONKLIN, J., and BEGEMAN, M.L.: 'gIBIS: a tool for all reasons', J. Am. Soc. Inform. Sci., 1989, pp. 200-213
14. BUCKINGHAM SHUM, S.: 'Analysing the usability of a design rationale notation', in MORAN, T.P., and CARROLL, J.M. (Eds.): 'Design rationale concepts, techniques and use' (Lawrence Erlbaum, Hillsdale, New Jersey, USA, 1995)
15. BUCKINGHAM SHUM, S.: 'Cognitive dimensions of design rationale', in DIAPER, D., and HAMMOND, N. (Eds.): People And Computers VI: Proc. HCI'91 (Cambridge University Press, Cambridge, UK, 1991)
16. MACLEAN, A., YOUNG, R.M., BELLOTTI, V.M.E., and MORAN, T.P.: 'Questions, options, and criteria: elements of design space analysis', Human-Computer Interaction, 1991, 6, (3-4), pp. 201-50
17. YAKEMOVIC, K.C.B., and CONKLIN, J.: 'Report on a development project use of an issue based information system', Proc. CSCW'90: Computer Supported Cooperative Work, New York, USA, 1990 (ACM Press), pp. 105-118
18. DAVIES, K.R.: 'Techniques for the identification and assessment of major accident hazards', In BURGOYNE, J. (Ed.): The assessment and control of major hazards' (Pergamon Press, Oxford, UK, 1985), pp. 289-308
19. JOHNSON, C.W., MCCARTHY, J.C., and WRIGHT, P.C: 'Using a formal language to support natural language in accident reports', Ergonomics, 1995, 38, (6), pp. 1265-1283
20. JOHNSON, C.W.: 'Documenting the design of safety-critical, user interfaces', Interacting With Computers, 1995
21. JOHNSON, C.W.: The economics of interface design', in NORDBY, K., HELMERSEN, P.H., GILMORE, D., and ARNESEN, S.A. (Eds.): 'Human computer interaction-Interact '95'. London, UK, 1995. (Chapman and Hall), pp. 19-25
22. SERGOT, M.: 'Applications of normative reasoning', in HARRISON, M., and ZAVE, P. (Eds.): IEEE Int. Symp. On Requirements Engineering '95 (IEEE Press, New York, USA, 1995), p. 98
23. KNUTH, D.E.: 'Literate programming', Computer J., 1984, 27, (2), pp. 97-111
24. THIMBLEBY, H.W.: 'User interface design' (Addison Wesley, Wokingham, UK, 1990)
25. SIU, N., and ACOSTA, C.: 'Dynamic event tree analysis - an application to SGTR', in APOSTOLAKIS, G. (Ed.): 'Probabilistic safety assessment and management' (Elsevier, London, UK, 1991), Vol. 1, pp. 413-418
26. KIRKPATRICK, M., and MALLORY, K.: 'Substitution error potential in nuclear power plant control rooms', in SUGARMAN, R.C. (Ed.): 'Proc. 25th Annual Meeting Of The Human Factors Society, Santa Monica, USA, 1981, pp. 163-167
27. BARRINGER, H., KUIPER, R., and PNUELI, A.: 'Now you may compose temporal logic specification'. ACM Symp. On The Theory Of Computing, New York, USA, 1985 (ACM Press), pp. 51-63
28. JOHNSON, C.W., and GRAY, P.: 'A critical analysis of interface specification notations'. Technical Report TR-1995-6, Department of Computer Science, University of Glasgow, UK
29. MOSZKOWSKI, B.: 'Some very compositional temporal properties'. Technical Report TR-466, Department of Computing Science, University of Newcastle Upon Tyne, UK, 1993
30. SPIVEY, J.M.: 'The Z notation: a reference manual' (Prentice-Hall, London, UK, 1989) 2nd edn.
31. BUCKINGHAM SHUM, S., and HAMMOND, N.: 'Argumentation-based design rationale: what use at what cost?' Int. J. Human-Mach. Stud., 1994, 40, (4), pp. 603-652
32. MORGAN, C.: 'Programming from specifications' (Prentice-Hall, London, UK, 1990)
33. PEW, R.M., MILLER, D.C., and FEEHRER, C.E.: 'Evaluating nuclear control room improvements through analysis of critical operator decisions', in SUGARMAN, R.C. (Ed.): Proc. 25th Ann. Meeting Of The Human Factors Society, Santa Monica, USA, 1981, pp. 100-14
34. DUNCAN, K.D.: 'Fault diagnosis training for advanced continuous process installations', in RASMUSSEN, J., DUNCAN, K., and LEPLAT, J. (Eds.): 'New technology and human error' (J. Wiley and Sons, New York, USA, 1987), pp. 209-221
35. JOHNSON, C.W.: 'Literate specification: using design rationale to support formal methods in the development of human-machine interfaces', ACM Trans. Human Computer Interaction, 1996
36. CHAN, T.: 'A graphical tool to support the QOC notation'. Technical report, Department of Computer Science, University of York, York, UK, 1994
37. JOHNSON, C.W.: 'Time and the web: representing temporal properties of interaction with distributed systems', in KIRBY, M.A.R., DIX, J.A., and FINLAY, J.E. (Eds.): 'People and computers X'. Glasgow, 1995. (Cambridge University Press), pp. 39-50
38. FISCHER, G., LEMKE, A.C., MCCALL, R., and MORCH, A.H.J.: 'Making argumentation serve design', Human Computer Interaction, 1991, 6, (3 and 4), pp. 393-419
39. COCKTON, G., GRAY, P., CLARKE, S., and JOHNSON, C: 'Literate development', in 'Critical issues for user interfaces' (Springer-Verlag, Berlin, Germany, 1995)