Login / Signup
Combining Verification and MDE Illustrated by a Formal Java Development.
Selma Djeddai
Mohamed Mezghiche
Martin Strecker
Published in:
ICTERI (Revised Selected Papers) (2012)
Keyphrases
</>
development environment
open source
software engineering
case study
cross platform
database applications
model checking
life cycle
java virtual machine
database
reusable components
java card
formal methods
face verification
knowledge based systems
object oriented
information technology
neural network
databases