Login / Signup
Detecting Design Flaws in UML State Charts for Embedded Software.
Janees Elamkulam
Ziv Glazberg
Ishai Rabinovitz
Gururaja Kowlali
Satish Chandra Gupta
Sandeep Kohli
Sai Dattathrani
Claudio Paniagua Macia
Published in:
Haifa Verification Conference (2006)
Keyphrases
</>
deductive databases
embedded software
sequence diagrams
software architecture
embedded systems
databases
user interface
software engineering
development projects
information systems
case study
software development
design process
modeling language
goal oriented