Publications and Keynotes
-
1. PAPERS IN REFEREED JOURNALS
How to Derive Aristotle’s Categories from First Principles, van Polanen Petal H. P. and Reed K. Axiomathes V. 31 Sep 2021 (version here has p.30 rotated to show table correctly) DOI 10.1007/s10516-021-09591-2
-
-
"Software Engineering in Australia.... A Brief Overview" Invited paper. Journal of the Inf. Proc. Soc. Japan Vol. 35 Extra Edition December 1995 pp (part of joint set of publications by IEEE Software, SEJ and JIPSJ). (Also a panel session at APSEC 1994).
2. THESES
THE SHORT ADDRESS PROBLEM ON DIGITAL COMPUTERS, MSc Thesis, Department of Computer Science, Monash University, 1983. (Supervisor, Prof. C.S. W Wallace, Monash University).
FACTORS INFLUENCING THE DESIGN AND PERFORMANCE OF LINKING LOADERS, MSc Prelim Thesis, Dept. Computer Science, Monash University,1976. (Supervisor, Prof. C.S. Wallace, Monash University)
PROBLEMS, METHODOLOGY AND PHILOSOPHY IN THE EVALUATION OF INFORMATION RETRIEVAL SYSTEMS, Honours Paper, Dept. Computer Science, Monash University, 1974. (Supervisor, Dr K. van Rijsbergen).
3. BOOK CHAPTERS
Representing and validating Digital Business Processes, Bodenstaff, L; Ceravolo,P; Damiani,E; Fugazza,C; Reed,K and Wombacher,A In Web -Dillon, T.; Chang, E.; Meersman, R.; Sycara, K. (Eds.)Advances in Web Semantics I: Ontologies, Web Services and Applied Semantic Web, Springer Verlag 2008 pp. 219-246, LCNS Information Systems and Applications, incl. Internet/Web, and HCI Vol 4891
4. REFEREED MAGAZINE ARTICLES
5. REFEREED CONFERENCE PROCEEDINGS
THE IMPLEMENTATIONS OF A PROTOTYPE OFFICE AUTOMATION SYSTEM UNDER UNIX (with .E. D. E. Sivies and V.H. Obelt) Proceedings of the 1st Pan Pacific Computer Conference, September 1985, Melbourne, pp 604-616.
EXPERIENCE WITH A PROJECT ORIENTED COURSE IN SOFTWARE ENGINEERING (with V.B. Ciesielski and J.L. Cybulski) Proc. Australian Software Engineering Conference 1988 pp. 125-131.
A FIRST YEAR SOFTWARE ENGINEERING COURSE, Proc. ASWEC 1990 , The Fifth Australian Software Engineering Conference 1990: Proceedings, The; pp. 235-240. Edgecliff, N.S.W.: Institution of Radio and Electronic Engineers, Australia,” May 1990
PROTRACT: A COMPUTERISED TOOL FOR TRACKING SOFTWARE DEVELOPMENT USING EVENT BASED ACTIVITY SPECIFICATIONS Proc Australian Software Engineering Conference 1993, Sydney (Cleary, D.C and Reed,K).
COCOMO-Based Effort Estimation for Incremental Software Development SQM 03, Glasgow, April 2003 [Benediktsson, O, Dalcher, D. , Reed, K. and Woodman, W] (re published in SQJ..)
Agile management of uncertain requirements via generalizations: a case study, [Reed, K; Damiani, E; Gianni,G.; and Colombo, A]. Proceedings of the 2004 workshop on Quantitative techniques for software agile process, Newport Beach, California, 2004, pp. 40-45
Towards Describing Black-Box Testing Methods as Atomic Rules Murnane,T., Hall, R. and Reed .K.29th Annual International Computer Software and Applications Conference (COMPSAC'05) IEEE Press Edinburgh, Scotland July 2006 Volume 1 pp 437-442
Tailoring of Black-Box testing Methods Proc. Australian Software Engineering Conference 2006,IEEE Sydney April 2006 [Murnane, Reed and Hall] Sydney, Australia, April 18-21,pp. 292-299
HERMES: A XML-Based Environment for Flexible Requirements Management. [Colombo, A. Damiani., E;Marconi,R and Reed,K ] (2006). Proceedings Emerging Trends and Challenges in Information Technology Management:2006 Information Resources Management Association International Conference, Washington DC USA May 21-24, 2006.
Factors on Multimedia Project and Process Management - Survey Findings, Hannington A and Reed, K, Proc. Australian software Engineering Conference, ASWEC 2007, April 2007, pp. 379-388
On the Learnability of Two Representations of Equivalence Partitioning and Boundary Value Analysis Murnane, T, Hall, R. and Reed, K Proc. Australian software Engineering Conference, ASWEC 2007, April 2007, pp. 274-283
Assessing business process security awareness: a service-oriented approach Fugini, Mariagrazia; Damiani, Ernesto and Reed, Karl Proceeding Americas Conference on Information Systems (AMCIS) 2007 Paper 89 (http://aisel.aisnet.org/amcis2007/89/).
Enforcing and Monitoring Company Policies on Business Process Orchestrations. Ceravolo, P. Fugazza., C and Reed,K. Proceedings IEEE International Conference on Digital Ecosystems and Technologies, Phitsanulok, Thailand, Feb. 2008 pp. 65-70.
The use of a meta-model to support multi-project process measurement. [A. Colombo, E. Damiani., Fulvio Frati, Sergio Oltolina, Karl Reed, and Gabriele Ruffatti (2008).]Proc. Asian Pacific Software Engineering Conference 2008, December, Beijing, pp. 503-510.
Integrating global aviation data with temporal and spatial weather information. Rusu, L.I., Rahayu, W., Torabi, T., Puersch, F., Taylor Harris, A. and Reed, K. (2010), Australasian Transport Research Forum (ATRF 2010), Canberra, Australia, vol. 1, pp. 1-18.
Cross Product Line Reuse in Component-Based Software Engineering, Liu, Y., Nguyen K., Witten M. and Reed K., Proceedings of the 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) 22-24 Oct. 2010 Taiyun China pp. V9-427 - V9-434
Quantitative Risk Analysis for Mobile Cloud Computing: a Preliminary Approach and a HealtH Application Case Study,Samad. J, Loke S. and Reed K. Proceedings of the 12th IEEE International Conference on Ubiquitous Computing and Communications (IUCC-2013), Melbourne, Australia.
6. REFEREED WORKSHOP PROCEEDINGS
EXAMINATIONS IN SOFTWARE ENGINEERING FROM THE BACHELOR OF COMPUTER SYSTEMS/BACHELOR OF SCIENCE/GRADUATE DIPLOMA/ADVANCED GRADUATE DIPLOMA, Department of Computer Science and Computer Engineering, La Trobe University in SOFTWARE ENGINEERING RESOURCES, Proc. of ACM/IEEE International Workshop on Software Engineering Education, Sorrento, May 1994
On The Issue of Architecture-Preserving Methodologies and Their Identification in Methods and Techniques for Software Architecture Review and Assessment, ICSE 2002 Workshop, May 19th 2002 Orlando (with Baragry)
Agile management of uncertain requirements via generalizations: a case study (2004) . Reed, K. Damiani, E;Gaianni,G and Colombo,A Proceedings of the 2004 workshop on Quantitative techniques for software agile process co-located with SIGSOFT/Foundations of Software Engineering, Newport Beach, CA,USA, ACM.
Evolvable Software as Equivalent Agile Development When Dealing With Uncertain Requirements - The Contraction of Generality. [Reed, K. , Damiani, E and Gaianni,G (2004).]Agile Methods for Software Production-MAPS Workshop co-located with ACM SIGSOFT 2004/FSE-12 Newport Beach, CA – USA October 31 - November 5.
7. INVITED KEYNOTE PAPERS AND ADDRESSES, OTHER MAJOR CONFERENCE EVENTS
7.1 Keynote Invitations
THE ROLE OF GOVERNMENT POLICY IN THE DEVELOPMENT OF HIGH TECHNOLOGY INDUSTRY - THE IMPLICATIONS OF THE 1983-84 BUDGET, "Saturday Guest", broadcast nationally ABC Radio, 29/8/1983.
SESSION CHAIRMAN, INTERNATIONAL SESSION, 1983 Japanese Software Industry Association Conference, Tokyo
THE AUSTRALIAN SOFTWARE INDUSTRY AT THE SERVICE OF THE AUSTRALIAN COMPUTING INDUSTRY ICL Users Conference, October 1983 (KEYNOTE).
DEVELOPMENTS IN INFORMATION TECHNOLOGY, Royal Maintenance Engineering Agency Seminar, May 1984 (KEYNOTE).
THE JAPANESE SOFTWARE INDUSTRY, SPAARC, the HP Users Conference, Nov. 1984 (KEYNOTE).
COMMERCIAL SOFTWARE ENGINEERING, THE WAY FORWARD, The Australian Software Engineering Conference, 1987 May 1987 (KEYNOTE).
WITHER THE AUSTRALIAN INFORMATION TECHNOLOGY INDUSTRIES - A BICENTENNIAL LAMENT, after dinner speech, Building Electronics Conference, the Project Managers Forum Conference, New Parliament House, Canberra ACT March 1988.
THE ORIGINS OF TRANSPORTABILITY, opening keynote presentation, PICKLAB 1989.
THE IMPACT OF GOVERNMENT POLICY ON DIRECTIONS IN SOFTWARE ENGINEERING RESEARCH Invited keynote Address, TRIADA Conference, San Jose, CA. Oct 1991
SOFTWARE INDUSTRY POLICY FOR THE NEWLY EMERGING ECONOMIES ON THE PACIFIC RIM Invited presentation UNESCO Work Shop on Software Engineering, May 9-10 Melbourne 1992
GOVERNMENT POLICY SETTINGS FOR SOFTWARE ENGINEERING RESEARCH FOR EMERGING ECONOMIES IN THE PACIFIC RIM Workshop on Asia Approaches for Software Engineering, April 23, 1995, Seattle (Sponsored by the Software Engineers Association of Japan (an ICSE-17 Co-Located event)
7.2 Invited Papers
SOFTWARE ENGINEERING, PROBLEMS PROSPECTS AND FUTURES International Appications of Prolog Sysmposium, Tokyo, October 1996
NEW TECHNOLOGIES - WHAT ARE THE NEW WEAPONS, The Australian Computer Abuse Inaugural Conference, Melbourne, June 1989 (invited presentation).
ANZAAS 1987, (The Role of a Professional Association in the Evolution of Technology Policy).
QUEENSLAND COMPUTER HARDWARE AND SOFTWARE INDUSTRY FORUM, Surfers Paradise, December 1985.
ANZAAS, 1982
7.3 Session Chairs (Major)
International Industry Reporting Session, Japanese Software Industry Association Conference, Shinju Ku, Tokyo, Japan, October 1983
8. UNREFEREED CONFERENCE PROCEEDINGS
PRACTICAL METHODS OF COMPARING COMPUTER BUREAU COSTS, Proceedings of Victoria Branch of the Australian Computer Society Professional Development Seminar "Cost-Effective Computing", 29-31 August 1975.
ECONOMIC FACTORS IN USING PRIVATE SOFTWARE SERVICES, Proceedings of "Soft-where, Soft-why, Soft-how, Australian Computer Society S.I.C. Seminar:, July 1976.
THE RANGE OF SERVICES THE PRIVATE SOFTWARE INDUSTRY HAS TO OFFER, Proceedings of "Soft-where, Soft-why, Soft-how, Australian Computer Society S.I.C. Seminar", June 1977.
SOFT-WHERE, SOFT-WHY, SOFT-HOW, Proceedings of the First Annual Conference, Queensland Branch, Australian Computer Society, 1977.
RESOURCE ACCOUNTING FOR PERFORMANCE PLANNING, Proceedings of Victorian Branch Australian Computer Society PDW12 "Computer Performance Evaluation" August 1979.
A PROGRAM FOR THE PROMOTION FOR A COMMERCIALLY VIABLE A.I. INDUSTRY, Proceedings of the National Expert System Workshop, May 1987.
SE workshop Seattle 1998
Graduate software engineering education in australia, a brief summary Intl. Workshop on Software Engineering Education, (in conjunction with the ICSE) Kyoto, April 15 1998, Opening and only major presentation
9. CONFERENCE PANELS
IMPACT OF COOPERATIVE R & D ON FUTURE TRENDS IN SOFTWARE TECHNOLOGY, Panel, IEEE Compsac Conference, October 1987, Chairman.
PRACTICAL SOFTWARE ENGINEERING EDUCATION, Panel IEEE Compsac Conference, October 1987.
SOFTWARE ENGINEERING DEVELOPMENT IN THE ASIA PACIFIC, Plenary Panel, 10th International Conference on Software Engineering, Singapore April 1988.
THE PERFECT COMPUTER CRIME - "HYPOTHETICAL PANEL CASE STUDY", The ACARB, June 1989.
SOFTWARE ENGINEERING HYPOTHETICAL, panelist, ASWEC 1990 Computer Abuse Inaugural Conference, Melbourne June 1989.
FORMAL METHODS AS A BASIS FOR SOFTWARE ENGINEERING EDUCATION panelist, ICSE14, May 1992 Melbourne
PANELIST, NATIONAL TRAINING COUNCIL WORKSHOP ON MICROELECTRONICS AND INFORMATION INDUSTRY TRAINING, Canberra, September, 1983.
PANELIST, NATIONAL SYMPOSIUM ON LEGAL PROTECTION OF COMPUTER SOFTWARE, Canberra, April 1984.
PANELIST, "Software Enginereirng in the Aisa Pacific Region" JOINT JAPANESE
KOREAN SOFTWARE ENGINEERING CONFERENCE, FUKUOKA NOV.1993
PANELIST "Special Session: Software Engineering in Asia and Pacific - Looking Back and Looking Forward" First Asian Pacific Software Engineering Conference, Tokyo, December 1994
PANELIST "Do we have software Enginering", Second Asian Pacific Software Engineering Conference, Brisbane, 1995
PANELIST "Formal Methods" Australian Software Engineering Conference, Melbourne July 1996,
PANELIST "Java and Software Engineering" Australian Software Engineering Conference, Sydney September 1997
PANELIST "How Can We Conduct Software Engineering Research" Asian-Pacific Software Engineering Conference Taipei, ROC, December 1998.
"How Can We Solve the Y2K Problem" Asian-Pacific Software Engineering Conference Taipei, ROC, December 1998.(Panel Chair)
10. PAPERS IN UNREFEREED PUBLICATIONS
THE EVOLUTION OF RISC, US Computer World Indepth, Jan. 12, 1987
REPORT ON THE ACM SIGSOFT/SIGPLAN SOFTWARE ENGINEERING SYMPOSIUM ON PRACTICAL SOFTWARE ENGINEERING ENVIRONMENTS, ACM Sigsoft Software Engineering Notes, January 1987.
THE JAPANESE COMPUTER INDUSTRY, Australian Computer Bulletin, November 1984.
THE AUSTRALIAN SOFTWARE INDUSTRY 1978-1979 (with A. Warman), Australian Computer Bulletin, Vol. 5 No. 2, March 1981.
THE WAY FORWARD IN COMPUTER ARCHITECTURE RESEARCH, ACM Sigarch Computer Architecture News, Vol. 8 No. 7 Dec. 1980 pp 3-7.
AN INITIAL ESTIMATE OF THE IMPORTANCE OF THE ELECTRONIC DATA PROCESSING INDUSTRY Australian Computer Bulletin, Vol. 4 No. 10, Nov. 1980, pp. 9-10.
PROFESSIONAL ETHICS - AN ESSAY ON THE COMPUTER INDUSTRY, Australian Computer Bulletin Vol. 3 No. 6 July 1979 pp. 6-9 (Also presented as Invited lecture, NSW Australian Computer Society Branch Conference, Terrigal, Nov. 1978).
SOME UN-EDITED NOTES ON SOFTWARE TOOLS, Australian Computer Society Bulletin (Victorian Branch) April 1978 pp. 8-11.
11. TECHNICAL REPORTS
JUMP TABLES - A DIFFERENT APPROACH, X/Mxd 186 Ue, L.M. Ericsson Stockholm, 1970.
POSSIBLE USES FOR THE DGV (with F. Stepchovic), P/Yx - PD 1652, L.M. Ericsson Glenroy, 1973.
MPC AND GV3 CENTRAL PROCESSOR - GENERALITY AND ALTERNATIVES, P/Yx - PD 1926, L M Ericsson Glenroy, 1973.
SOURCE LANGUAGE SPECIFICATION (FOR A BLOCK STRUCTURED ASSEMBLER), P/YX - PD 1818, L.M. Ericsson Glenroy, 1973.
PROTECTION PROBLEMS IN DEDICATED REAL-TIME SYSTEMS, P/YX - PD 1854, L.M. Ericsson Glenroy, 1973.
COMMENT ON I/O STRUCTURE FOR EPA/MIMI OR HOW TO GET EVERYTHING FOR NOTHING, P/Yx - PD 1882, L.M. Ericsson, Glenroy, 1974
SIMPLIFICATION OF THE TWO-WORD PROBLEM IN THE ASDP-161 ASSEMBLER, P/YX - PD 1961, L M Ericsson Glenroy, 1974.
A SOLUTION TO A PROBLEM IN THE INTERRUPT HANDLING , P/.Yx - POD 2086, L.M. Ericsson Glenroy, 1974
PRELIMINARY SPECIFICATION FOR A LINKAGE, P/Yx - PD2283, L.M. Ericsson Glenroy, 1975.
SYNTAX UPDATE PROPOSALS FOR EPASS I,P/YX - PD 2340, L.M. Ericsson Glenroy, 1975.
A TECHNIQUE FOR IMPLEMENTING BUS-MEMORY PARITY ON A SMALL CPU, P/Yx - PD 2394, L.M. Ericsson Glenroy, 1975.
Yxk PROPOSAL FOR AN APN 162 CONCENTRATOR FOR FRONT-END AND RJE USE,P/YX - PP 1185, L.M. Ericsson Glenroy, 1975.
A PROPOSAL FOR A SIMPLE FORM OF MEMORY MANAGEMENT, P/Yx - PD 2400, L.M. Ericsson, 1975.
POSSIBLE PROBLEMS WITH IEEE ASCII BUS, P/Yx - PD 2420, L.M. Ericsson, 1975.
COMMENTS ON THE APN 162 MARKET SURVEY, P/Yx - PP 1194, L.M. Ericsson, 1975.
DETRACT: A Design TRACking Tool Tool , Torabi and Reed, AAITP Technical Report TR028 1993
Building Testable Software (With Zucconi) Technical Report No. 4/95, March 1995,Department of Computer Science and Computer Engineering, La Trobe University,.
-
11. WORKING PAPERS FOR THE TAME PROJECT, DEPARTMENT OF COMPUTER SCIENCE,
UNIVERSITY OF MARYLAND,COLLEGE PARK
REQUIREMENTS DOCUMENT for TAME (TOOLS FOR AN ADA MEASUREMENT ENVIRONMENT) (with V.R. Basili, M. Daskalantonakis, A.Delis, D. Doubleday, L. Mark, H.D. Rombach, D. Stotts, J.A. Turner, S. Wang, and S. Xiao-Hong, TAME- TR-2 1986 Department of Computer Science University of Maryland College Park, MD 20742 Dec. 1986.
INTERFACING APSE TO AN ADA MEASUREMENT ENVIRONMENT, October 1986.
AN ADAPTABLE ACCESS CONTROL SYSTEM FOR AN EVALUATION ENVIRONMENT (with D.P. Stotts), October 1986
12 , UNPUBLISHED NOTES AND DRAFTS
This pair of Notes relates to what I called “Analysis-synthesis approach to program design. The original paper
(Reed, 1980) Modularity-Processing on an Linked List Ordered is a Lecture note for the subject CS380 Software Engineering I at RMIT. The second paper
(Cooper 1993) Analysis-Synthesis Approach to Design was an interpretation using a more readable approach.
ARTC The Adoptable RepeatableTeachable and Costable Requirement of Methodologies, (Reed,2008,2009)
ZAIA-Zero Adoption Impact Applications-A Research Proposal by Karl Reed (2006)