Browsing by Author Chen, HY

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 7 of 7
TitleAuthor(s)Issue Date
 
The Application of prolog to structured design
Journal:Software - Practice and Experience
1994
 
Automatic generation of normal forms for testing object-oriented software
Proceeding/Conference:Proceedings - International Conference on Quality Software
2009
 
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software
Proceeding/Conference:Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003
2003
 
2005
 
Transformation of UML interaction diagrams into contract specifications for object-oriented testing
Proceeding/Conference:Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
2007
 
2008
 
Western Boxing and Health
Book:Martial Arts for Health: Translating Research into Practice
2014