On the polynomial dynamic system approach to software development
zbMath1186.93046MaRDI QIDQ866095
Kai-Yuan Cai, Yong-Chao Li, Xiang-Yun Wang
Publication date: 20 February 2007
Published in: Science in China. Series F (Search for Journal in Brave)
invariancereachabilitysoftware developmentsoftware cyberneticsdiscrete event dynamic systempolynomial dynamic systemreactive system
Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
This page was built for publication: On the polynomial dynamic system approach to software development
