OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing.

Published in: TACAS (1998)

Keyphrases

software architecture
object oriented software
software engineering
software systems
artificial intelligence
model checking
reference model
description language
formal verification
distributed systems
sar images
functional requirements
architectural design
embedded software