The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems
type: Item
instance of: scholarly article
title: The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems
zbMATH Open document ID: 1104.68528
author: N. E. Zubov
published in: Electronic Commerce Research
publication date: 2007-01-24T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68U99
zbMATH DE Number: 5118226
zbMATH Keywords: model checking
zbMATH Keywords: software engineering
zbMATH Keywords: software verification
zbMATH Keywords: design methodologies
zbMATH Keywords: design patterns
zbMATH Keywords: model checking patterns
describes a project that uses: NuSMV
MaRDI profile type: Publication
full work available at URL: s10660-006-8676-8
OpenAlex ID: W1998022729
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Q4818818
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Q3026978
cites work: A Theory of Auctions and Competitive Bidding
cites work: Q4412493
DOI: 10.1007/S10660-006-8676-8
description: scientific article; zbMATH DE number 5118226