Search
Now showing items 1-10 of 13
Extending the Useful Application Domain for Formal Methods
(Springer-Verlag, 1991)
Research into the industrial application of formal methods has concentrated almost exclusively on the specification of software systems in high-risk or safety critical applications Thus, attention has been directed to ...
THE URGENT CASE FOR EDI STANDARDS
(Australian Computer Conference (MOSAIC '91), 1991)
Electronic Data Interchange (EDI) provides a method for organisations to send and receive standardised business communications quickly, flexibly, cheaply and in a secure manner. It is EDI's document translation standards ...
The Need for an Electronic Document Exchange Infrastructure for Supply Chain Management
(1999)
Established supply chain management techniques such Just-In-Time inventory (JIT), Quick Response (QR) and Efficient Consumer Response (ECR) have proven that re-organising a business' processes to take advantage of the ...
Formal Methods in the IS Domain: Introducing a Notation for Presenting Object-Z Specifications
(Centre for Information Systems Research, Swinburne University of Technology, 1995)
The evaluation of an information systems development method [Swatman & Swatman, 1992] synthesised from research into: the object oriented approach mathematically formal specification languages socio-organisational contextual ...
Building Information Systems Development Methods: Synthesizing from a Basis in both Theory and Practice
(IEEE Computer Society, 1998)
In this paper, we discuss some methodological issues associated with research into requirements engineering, and describe the benefits afforded to us by using action research to explore issues associated with requirements ...
Aligning Multiple Knowledge Perspectives in a Health Services System
(Idea Group, 2004)
This chapter reports the results of a feasibility study into electronic collection of service data at “point of delivery” for disability programs. The investigation revealed that while the proposed system would have produced ...
A Proposed Smart-Card Solution for Australian Health Services: The Problems Encountered
(Idea Group, 2004)
This case study describes the experience of a state government health department in evaluating the use of smart card technology to redesign health benefits programs for the disabled in Australia. The social and political ...
A Model of EDI Integration and Strategic Business Reengineering
(Elsevier, 1994)
Early research into electronic data interchange (EDI) stressed the greater speed, efficiencies and cost savings available from electronic document exchange. Despite EDI's cooperative focus, much of this research also ...
A Requirements Engineering Process for OPEN Development
(1999)
The impact of forces such as the internet and the rise of e-commerce has led to an increasingly distributed and diverse style of systems development environment. With this change has come the call for methods suited to ...
Building Information Systems Development Methods: Synthesising from a Basis in both Theory and Practice
(IEEE, 2002)
In this paper, we discuss some methodological issues associated with research into requirements engineering, and describe the benefits afforded to us by using action research to explore issues associated with requirements ...