Hybrid modeling and verification of Java based software.

Konrad Kulakowski

Published in: SET (2006)

Keyphrases

software systems
modeling language
software development
hybrid approaches
formal methods
lightweight
source code
user interface
case study
real time
information systems
test cases
data mining
software maintenance
databases
software design
database