Login / Signup

A Formal Model for Component-Based Software.

Philip T. CoxBaoming Song
Published in: HCC (2001)
Keyphrases
  • formal model
  • component based software
  • software systems
  • integration testing
  • web applications
  • black box
  • formal models
  • real world
  • object oriented
  • software development
  • test cases
  • source code
  • probabilistic knowledge