The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

ISSN： 1389-5753

Source： Electronic Commerce Research, Vol.6, Iss.3-4, 2006-10, pp. : 265-303

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A framework and methodology for evaluating e-commerce Web sites

By van der Merwe Rian Bekker James

Internet Research: Electronic Networking Applications and Policy, Vol. 13, Iss. 5, 2003-10 ,pp. : 330-341

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Views and Patterns in E-Commerce Application Design

By Markiewicz M.E.

Annals of Software Engineering, Vol. 13, Iss. 1-4, 2002-06 ,pp. : 111-140

Springer Publishing Company

Access to resources Recommend Favorite

Critical design factors for successful e-commerce systems

By Kim Jinwoo Lee Jungwon

Behaviour and Information Technology, Vol. 21, Iss. 3, 2002-05 ,pp. : 185-199

Taylor & Francis Ltd

Access to resources Recommend Favorite

V-Market: A framework for agent e-commerce systems

By Ripper P.S. Fontoura M.F. Neto A.M. de Lucena C.J.P.

World Wide Web, Vol. 3, Iss. 1, 2000-01 ,pp. : 43-52

Springer Publishing Company

Access to resources Recommend Favorite

A familiarity-based trust model for effective selection of sellers in multiagent e-commerce systems

By Zhang Jie Ghorbani Ali Cohen Robin

International Journal of Information Security (IJIS), Vol. 6, Iss. 5, 2007-09 ,pp. : 333-344

Springer Publishing Company

Access to resources Recommend Favorite