Login / Signup
PetShop: a tool for the formal specification of CORBA systems.
Rémi Bastide
Published in:
OOPSLA Addendum (2000)
Keyphrases
</>
formal specification
formal methods
software components
object oriented design
specification languages
distributed systems
specification language
distributed object
key features
high level
object oriented
response time
lightweight
building blocks
concurrent systems