RAPIDWare: Assurance in Adaptive Systems B. Cheng, L. Dillon, S. Kulkarni, P. McKinley, and K. Stirewalt Software Engineering and Network Systems (SENS) Laboratory
RAFTING. 6. S. E. N. S. Adaptive Software Components. Dynamically adapt at run-time ... RAFTING. 10. S. E. N. S. Resource-based Approach to Feature Interaction ...
Specification of temporal properties. Test oracles. Automated generation of software components ... Separate concerns of designing functionality and fault-tolerance. ...
Philip K. McKinley. Software Engineering and Network Systems Laboratory ... One CompactFlash type I card slot. Ports. One RS-232C serial port. One IrDA port. Battery ...