Towards dependable development tools for embedded systems: a case study in software verification.

Published in: J. Exp. Theor. Artif. Intell. (2000)

Keyphrases

embedded systems
development tools
development environment
application development
low cost
software developers
application developers
software systems
case study
object oriented programming
exception handling
rapid development
emerging technologies
fault tolerant
object oriented
database
database server
end users