𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems

✍ Scribed by Dey, Soumyajit; Sarkar, Dipankar; Basu, Anupam

Book ID
126781828
Publisher
IEEE
Year
2013
Tongue
English
Weight
673 KB
Volume
62
Category
Article
ISSN
0018-9340

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Kleene Algebra of Tagged System Actors
A Kleene Algebra of Tagged System Actors
✍ Dey, S.; Sarkar, D.; Basu, A. πŸ“‚ Article πŸ“… 2011 πŸ› Institute of Electrical and Electronics Engineers 🌐 English βš– 155 KB
A fuzzy-based multimodel system for reas
A fuzzy-based multimodel system for reasoning about the number of software defects
✍ Marek Reformat πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 230 KB

Software maintenance engineers need tools to support their work. To make such tools relevant, they should provide engineers with quantitative input, as well as the knowledge needed to understand factors influencing maintenance activities. This article proposes an approach leading to multitechnique k