Now showing items 1-10 of 15
Implementing Successful Electronic Markets: Identifying Success and Failure Factors
Despite the growth of research interest into electronic markets, there is still little information available on the ways in which an electronic market can be successfully developed. This article reports the development of ...
Extending the Useful Application Domain for Formal Methods
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
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 ...
Introducing Multi-purpose, Multi-function Smart Cards to Australian Universities
(1st Annual CollECTeR Workshop on Electronic Commerce, 1997)
As their application area and the number of applications supported increase, the benefits of card technologies (and, in particular, of smart cards) become more widely accepted. These benefits are especially relevant to ...
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 ...
Formal Methods in a Commercial Information Systems Setting: the FOOM Method
(Hawthorn, Vic. : Swinburne University of Technology, Centre for Information Systems Research, 1996)
A Model of EDI Integration and Strategic Business Reengineering
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
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 ...