Formalizing the design of embedded software using sequence diagrams and abstract state machines.

Abdel Ejnioui Carlos E. Otero Abrar A. Qureshi

Published in: RIIT (2013)

Keyphrases

embedded software
sequence diagrams
petri net
embedded systems
uml models
class diagrams
software architecture
intermediate representation
development projects
test cases
case study
database
artificial intelligence
low cost
product development
regression testing