AMOEBA-RT: Run-Time Verification of Adaptive Software.

Heather Goldsby Betty H. C. Cheng Ji Zhang

Published in: MoDELS (Workshops) (2007)

Keyphrases

software development
software systems
formal methods
formal verification
software tools
software packages
computer systems
software architecture
software maintenance
hardware designs
software package
software components
personal computer
database
gray scale
software engineering
user interface
e learning