Tool Demonstration: CHET: Checking Specifications in Java Systems.

Steven P. Reiss

Published in: IWPC (2005)

Keyphrases

management system
complex systems
high level
object oriented
distributed systems
computer systems
neural network
artificial intelligence
open source
intelligent systems
building blocks
database applications
software tools
distributed object