Mostrar el registro sencillo del ítem

A formal perspective to modelling electronic commerce transactions

dc.creatorEhikioya, Sylvanus A.
dc.date2001-12-01
dc.date.accessioned2022-03-03T19:57:12Z
dc.date.available2022-03-03T19:57:12Z
dc.identifierhttps://revistas.unab.edu.co/index.php/rcc/article/view/1113
dc.identifier.urihttp://test.repositoriodigital.com:8080/handle/123456789/13886
dc.descriptionMany models of e-commerce applications use informal approaches and human intuition although their underlying data model is sound. Consequently, most of the designs contain inconsistencies and some hidden brittle spots that do not manifest until the applications are used. In addition, informal design approaches leave the determination of the correctness of system designs to the intuition of the designers. Informal design approaches do not provide the degree of correctness and reliability required for e- commerce transactions.Keywords: Formal methods, e-commerce, Z.es-ES
dc.formatapplication/pdf
dc.languagespa
dc.publisherUniversidad Autónoma de Bucaramangaes-ES
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1113/1084
dc.rightsDerechos de autor 2001 Revista Colombiana de Computaciónes-ES
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/4.0es-ES
dc.sourceRevista Colombiana de Computación; Vol. 2 No. 2 (2001): Revista Colombiana de Computación (Julio-Diciembre); 1-20en-US
dc.sourceRevista Colombiana de Computación; Vol. 2 Núm. 2 (2001): Revista Colombiana de Computación (Julio-Diciembre); 1-20es-ES
dc.source2539-2115
dc.source1657-2831
dc.titleA formal perspective to modelling electronic commerce transactionses-ES
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion


Ficheros en el ítem

FicherosTamañoFormatoVer

No hay ficheros asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem