ECE 650Methods and Tools for Software Engineering

Software Systems - Systems programming and operating systems, scripting, system calls, libraries, compilers and interpreters. Mathematical logic - propositional & predicate logic, and some higher-order logics, syntax, semantics, entailment, deduction, use of logic in software. Data structures - lists, stacks, queues, heaps, trees, graphs, and algorithms to manipulate such data structures. Graduate students who have previously taken ECE 750 with the topic title Methods and Tools for Software Engineering are not eligible to take ECE 650.