Dr. King has taught courses on software engineering, software testing, software construction, formal methods, computer programming, and comparative languages with high student ratings of instruction. He also serves as the advisor and mentor to a significant number of graduate and undergraduate students.
|
Course Description: This course covers the goals, practices, evaluation, and limitations of software testing and software debugging. Students receive practice in developing and using test plans and various testing and debugging techniques. Number of Students: 9 Required Text: Burnstein, I., Practical Software Testing, Springer, June 24, 2003. ISBN (10-digit) 0387951318, ISBN (13-digit) 978-0387951317. Group Project: This class involved a semester-long group project, which required students to validate the specification, design and implementation of a 2D video game. |
| Instructor Rating | 4.89/5.0 |
| Class Satisfaction | 4.89/5.0 |
Your class was difficult and required hard work, but you were the best in our learning, treatment and everything...
Hopefully I will be able to take a class from you in the future. I really appreciate how you engage us students in class...
|
Course Description: This course covers the goals, practices, evaluation, and limitations of software testing and software debugging. Students receive practice in developing and using test plans and various testing and debugging techniques. Number of Students: 25 Required Text: Burnstein, I., Practical Software Testing, Springer, June 24, 2003. ISBN (10-digit) 0387951318, ISBN (13-digit) 978-0387951317. Group Project: This class involved a semester-long group project, which required students to validate the specification, design and implementation of a student assessment application. |
| Instructor Rating | 4.75/5.0 |
| Class Satisfaction | 4.71/5.0 |
I would like to thank you for the great course. I enjoyed the course and I learnt a lot.
Your class was also one of the best in my collegiate career. It was very challenging while staying practical. I think you handled group problems really well too. Kind yet fair.
|
Description: This course is a high level course with the aim of introducing the use of formal representations during the software development process. The formal representations are based on the theoretical foundations of computer sciences such as set theory, logic, and graph theory. Prerequisites: CSCi 713 Software Development Processes Required Text: Clarke, E.M., Grumberg O., Peled, D.A., Model Checking, The MIT Press, January 7, 1999. ISBN (10-digit) 0262032708, ISBN (13-digit) 978-0262032704. Assignments: This course typically involves individual assignments related to formal specification and verification of software, including the use of a Z specification tool and a model checking tool. |
|
Description: This course covers the fundamentals of software construction including programming and evaluation of the source code. Students receive a good grounding in and extensive practice with the comprehensive libraries associated with a modern programming language. Prerequisites: CSCi 713 Software Development Processes Required Text: McConnell, S., Code Complete 2: A Practical Handbook of Software Construction, Microsoft Press, June 9, 2004. ISBN (10-digit) 0735619670, ISBN (13-digit) 978-0735619678. Project: The on-campus version of this course typically involves a semester-long group project, designed to give students practical experience constructing a medium-sized software system. |
|
Description: This course explains the concept and impact of a block-structured language. Several languages will be compared with respect to application, suitability, syntax and semantics. Prerequisites: CSCi 161 Computer Science II or CSCi 228 Computing Fundamentals II Required Text: Sebesta, R.W., Concepts of Programming Languages (9th Edition), Addison Wesley, April 2, 2009. ISBN (10-digit) 0136073476, ISBN (13-digit) 978-0136073475. Assignments: This course typically involves problem-solving assignments in different language categories including scripting, object-orientation, functional and logic programming. Some assignments can be done in groups of at most two or three persons. |
I would like to thank you for the great course. I enjoyed the course and I learnt a lot.
Your class was also one of the best in my collegiate career. It was very challenging while staying practical. I think you handled group problems really well too. Kind yet fair.
Thanks for teaching us such a wonderful course. It immensely helped me in learning a lot of testing skills, and enhanced my overall knowledge
Your class was difficult and required hard work, but you were the best in our learning, treatment and everything...
Hopefully I will be able to take a class from you in the future. I really appreciate how you engage us students in class...
Your class really opened my eyes on many things that I should be aware of as a computer engineer, and I have learned alot from you during the semester. I believe you will be an excellent professor when you finish your PhD...
I am really proud to have you as my professor for Software Engineering...
