iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
In the software development life cycle, unit testing is an important phase that helps in early detection of bugs. A unit test case consists of two parts: a test input, which is of...
Data collected from five years of developing e-service applications at USC-CSE reveals that an increasing fraction have been commercial-off-the-shelf (COTS)Based Application (CBA)...
Barry W. Boehm, Daniel Port, Ye Yang, Jesal Bhuta,...
This paper presents the RTExpressTM environment which is a software tool that assists a user in rapidly developing real-time embedded systems. RTExpressTM is a compiler and runtim...
Milissa M. Benincasa, Richard Besler, Diane Brassa...
A key obstacle hampering fielding of AI planning applications is the considerable expense of developing, verifying, updating, and maintaining the planning knowledge base (KB). Pla...