7 Publications
2003
A New Baccalaureate Program in Wireless Engineering
Nelson, Victor PChapman, Richard O and Jaeger, Richard C
2003 ASEE Annual Conference & Exposition: Staying in Tune with Engineering Education; Nashville, TN; USA; 22-25 June 2003. 2003. | Conference Proceeding
2000
A Jini-enabled active badge system
Brooks, RyanCarlisle, HomerChapman, Richard OConfer, AmosLahoti, KaushikMomin, MissamRogers, NealSvidzinksa, Ruslana and Vrishabhendra, Bindu
ACM Southeast Regional Conference: Proceedings of the 38th annual on Southeast regional conference; 07-08 Apr. 2000. 2000. | Conference Proceeding
 
Test scenario generation based on formal specification and usage profile
Chang, Kai HLiao, Shih-SungChapman, Richard O and Chen, Chun-Yu
INT. J. SOFTWARE ENGINEER. KNOWLEDGE ENGINEER, vol. 10, (no. 2), pp. 185-201, 2000. | Journal Article
1999
Test scenario and regression test suite generation from Object-Z formal specification for object-oriented program testing
Chen, Chun-YuChapman, Richard O and Chang, Kai H
ACM Southeast Regional Conference: Proceedings of the 37th annual Southeast regional conference (CD-ROM). 1999. | Conference Proceeding
1998
Testing object-oriented programs: From formal specification to test scenario generation
Chang, Kai HLiao, Shih-SungSeidman, Stephen B and Chapman, Richard O
Journal of Systems and Software, vol. 42, (no. 2), pp. 141-151, 1998. | Journal Article
1994
Ethics in public service // Review
Chapman, Richard
(pp. 798-799). Dec 1994
 
Verified high-level synthesis (Dissertation)
Chapman, Richard O (1994).