CSE 705: Rigorous Software Development
This page refers to the Fall 2012 offering of CSE 705 only. The information on this page does not necessarily apply to every offering of CSE 705.
Fall 2012
21700
Software Specifications, Development, Verification, Testing, Debugging.
This seminar is devoted to the study of concepts, methodologies, and tools for rigorous software development. The benefits of a rigorous approach are early error detection, increased programmer productivity, and more reliable software. Towards this end, a number of tools have emerged in the last decade and are being adopted in industry. These tools are based upon static as well as dynamic analysis techniques, such as data-flow analysis, program slicing, model checking, abstract interpretation, symbolic execution, test-case generation, and verification. The reading materials will be drawn from published papers, tutorials, and user manuals of the tools. For more details of the seminar, including requirements, please see the URL below.
Graduate Standing in CSE
Ph.D.: This course does not fulfill core area or core course requirements.
M.S.: This course does not fulfill core area or core course requirements.
