The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...
Component based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and s...
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...