Login / Signup
Compatibility of Software Components - Modeling and Verification.
Donald C. Craig
Wlodzimierz M. Zuberek
Published in:
DepCoS-RELCOMEX (2006)
Keyphrases
</>
software components
software systems
software reuse
software development
building blocks
software modules
java programs
component based development
model checking
development environments
reusable components
formal specification
commercial off the shelf
colored petri nets
database
software engineering
web services