๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Model checking and code generation for transaction processing software

โœ Scribed by Anakreon Mentis; Panagiotis Katsaros

Book ID
112068926
Publisher
John Wiley and Sons
Year
2012
Tongue
English
Weight
832 KB
Volume
24
Category
Article
ISSN
1532-0626

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Transactions for Software Model Checking
Transactions for Software Model Checking
โœ Cormac Flanagan; Shaz Qadeer ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 214 KB
Real-time control software for transacti
Real-time control software for transaction processing based on colored safe Petri Net model
โœ Tomohiro Murata; Norihisa Komoda ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Springer US ๐ŸŒ English โš– 559 KB

A Petri Net-based real-time control software system for transaction processing is proposed to improve flexibility and maintainability in real-time application software. This software system is named Station Controller (SCR). Transaction processing control programs can be understandably described usi