CSCI
326
Software Methods
Spring 2020
Division III
Quantative/Formal Reasoning
This is not the current course catalog
Class Details
Sophisticated software systems play a prominent role in many aspects of our lives, and while programming can be a very creative and exciting process, building a reliable software system of any size is no easy feat. Moreover, the ultimate outcome of any programming endeavor is likely to be incomplete, unreliable, and unmaintainable unless principled methods for software construction are followed. This course explores those methods.
Specific topics include: software processes; specifying requirements and verifying correctness; abstractions; design principles; software architectures; concurrentand scalable systems design; testing and debugging; and performance evaluation.
The Class:
Format: lecture/laboratory
Limit: 24
Expected: 24
Class#: 3653
Grading: no pass/fail option, no fifth course option
Limit: 24
Expected: 24
Class#: 3653
Grading: no pass/fail option, no fifth course option
Requirements/Evaluation:
homework, programming assignments, group work, presentations, exams
Prerequisites:
CSCI 136, and at least one of CSCI 237, 256, or 334
Enrollment Preferences:
current or expected Computer Science majors
Distributions:
Division III
Quantative/Formal Reasoning
Class Grid
-
HEADERS
Column header 1
CLASSESColumn header 2DREQColumn header 3INSTRUCTORSColumn header 4TIMESColumn header 5CLASS#
-
CSCI 326 - 01 (S) LEC Software Methods
CSCI 326 - 01 (S) LEC Software MethodsDivision III Quantative/Formal ReasoningTR 9:55 am - 11:10 am
Chemistry 2063653 -
CSCI 326 - 02 (S) LAB Software Methods
CSCI 326 - 02 (S) LAB Software MethodsDivision III Quantative/Formal ReasoningR 1:10 pm - 2:25 pm
3654 -
CSCI 326 - 03 (S) LAB Software Methods
CSCI 326 - 03 (S) LAB Software MethodsDivision III Quantative/Formal ReasoningR 2:35 pm - 3:50 pm
4083
Megamenu Social