Electronic Commerce for services and intangible goods

被引：0

作者：

Ehikioya, SA ^{[1
]}

Suresh, J ^{[1
]}

机构：

[1] Univ Manitoba, Dept Comp Sci, Winnipeg, MB R3T 2N2, Canada

来源：

IC'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING | 2000年

关键词：

Electronic Commerce; formal design specification;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A key requirement in the development of robust and fail-safe systems is the need for a formal model of such system. This is vital particularly when there is the potential for great loss and need to guarantee correctness, consistency, reliability, and graceful recovery in case of any failure. This paper presents a formal design aspects of Electronic Commerce, focussing on the formal specification and design techniques to realize a correct, reliable, and secure and fail-safe system / framework for trading in intangible goods and services. The benefits are that the specification controls the software complexity and enhances the quality and reliability of the system.

引用

页码：261 / 267

页数：7