scientific article; zbMATH DE number 1949598

zbMath1015.68576MaRDI QIDQ4412493

S. V. A. Campos, Adriano M. Pereira, Gustavo Gorgulho, Mark A. J. Song, Wagner jun. Meira

Publication date: 15 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2495/24950180.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal verificationmodel checkingelectronic commerceproperty patternsdesign specification

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (2)

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems ⋮ Modeling and monitoring of E-commerce workflows

This page was built for publication: