EECS 118 Introduction to Knowledge Management for Software and Engineering (2015-2016)

EECS 118 Introduction to Knowledge Management for Software and Engineering

(Required for CpE.)
Catalog Data:

EECS 118 Introduction to Knowledge Management for Software and Engineering (Credit Units: 4) Introduction of basic concepts in knowledge engineering and software engineering. Knowledge representation and reasoning, search planning, software life cycle, requirements engineering, software design languages, declarative programing, testing, maintenance, and connections between knowledge engineering and software engineering. Prerequisite: EECS40 or equivalent. Computer Engineering majors have first consideration for enrollment. (Design units: 2)

Required Textbook:
. Edition, , 1969, ISBN-13 978-1558604674.

Recommended Textbook:
. Edition, , 1969, ISBN-13 978-0073376189.


Sheu, Phillip C.-Y., Software Engineering Environments – An Object- Oriented Perspective.

Phillip C.-Y. Sheu
Relationship to Student Outcomes
This course relates to Student Outcomes: EAC a, EAC b, EAC c, EAC g.
Course Learning Outcomes. Students will:

1. Describe the essences of knowledge engineering and its applications to the analysis and design of engineering solutions. (EAC a, EAC c)

2. Describe the steps involved in the design, implementation, testing andmaintenance of software systems. (EAC b, EAC c, EAC g)

3. Describe the use of knowledge engineering to interpret and utilize data. (EAC b, EAC c)

4. Describe the role of knowledge engineering for general problem solving. Conduct literature search. (EAC a, EAC g)

5. Describe the application of predicate calculus. (EAC a)

Prerequisites by Topic

Student should have knowledge of basics of computer systems and experience programming in at least one of C or C++.

Lecture Topics:
  • Predicate Calculus
  • Resolution Refutation Systems
  • Production Systems
  • Search Strategies for Production Systems
  • Rule-Based Deduction Systems
  • Basic Planning Systems
  • Advanced Planning Systems
  • Advanced Knowledge Presentation Schemes
  • Software Life Cycle Models
  • Formal Specification and Verification
  • Program Verification and Testing
  • Software Maintenance
  • Advanced Programming Environments
  • Engineering Applications
Class Schedule:

Meets for 3 hours of lecture, 1 hour of discussion and 1 hour of laboratory each week for 10 weeks.

Computer Usage:


Laboratory Projects:


Professional Component

Contributes toward the Computer Engineering Topics Courses and Major Design experience.

Design Content Description

Approach: General problem solving process. Knowledge representations and reasoning. Lectures: 50% , Assignments 50% Laboratory Portion:

Lectures: 100%
Laboratory Portion: 0%
Grading Criteria:

Home work assignments: 30% Midterm exam: 30% Final exam: 40% 100%

Estimated ABET Category Content:

Mathematics and Basic Science: 0.0 credit units

Computing: 0.0 credit units

Engineering Topics: 4.0 credit units

Engineering Science: 2.0 credit units

Engineering Design: 2.0 credit units

October 27, 2014
Senate Approved:
November 10, 2014
Approved Effective:
2015 Fall Qtr