The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems
From MaRDI portal
Publication:862581
DOI10.1007/s10660-006-8676-8zbMath1104.68528OpenAlexW1998022729MaRDI QIDQ862581
Publication date: 24 January 2007
Published in: Electronic Commerce Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10660-006-8676-8
model checkingsoftware verificationsoftware engineeringdesign methodologiesdesign patternsmodel checking patterns
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
Cites Work
This page was built for publication: The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems