Page Preview: 46

Course Title[Course Code]:Logic Programming[CSW 352]

Faculty: Computers and Artificial Intelligence
Department: Artificial Intelligence
Program: Computers System
Compulsory / Elective:Compulsory
Undergraduate(Third Year-First Semester)
Hours:
Lecture:( 3 ) Practical / Clinical:( 2 ) Tutorial:( - )

Course Description:
The course aims at introducing the Introduction: Well-engineered software, the software process, software evolution, and software reliability. Human factors in software engineering: Human diversity, knowledge processing, group working. Software specification and system modeling: The software requirements document, requirements evolution, system contexts, viewpoint analysis, model description, real-time system modeling, data modeling. Requirements definition and specification: Requirements specification, nonfunctional requirements definition. Requirements validation and prototyping: The prototyping process, prototyping techniques. Formal specifications, algebraic specification. Model based specification. Software design: Top-down design, systems design, design decomposition, software design quality, design description languages.