IFB104 Lecture Notes - Lecture 12: Test-Driven Development, Integrated Development Environment, Software Verification

141 views3 pages
16 Nov 2018
School
Course
Professor

Document Summary

Topic 12 - how to build an it system. What the heck was this unit about? (cid:862)buildi(cid:374)g it (cid:455)ste(cid:373)s(cid:863) ai(cid:373)ed to gi(cid:448)e (cid:455)ou a (cid:271)(cid:396)oad, shallo(cid:449) o(cid:448)e(cid:396)(cid:448)ie(cid:449) of the te(cid:272)h(cid:374)i(cid:395)ues (cid:374)eeded to construct software systems. It was intended as a taster to help you decide what areas to study in depth in later teaching units. What did we see: basic programming/scripting concepts, assignment, sequence, choice, iteration, functions. Integers, floats, strings, lists: graphical interfaces, widgets, data querying, pattern matching, tools to help us code our solutions, an interactive development environment for program code, an interactive interface to a relational database. What didn"t we cover: more programming/scripting languages. System development processes: algorithm design, stepwise refinement, test-driven development. Software engineering theory: program semantics, software verification (correctness proofs, software complexity (efficiency) analysis, program compilation principles. A classic plan driven waterfall: requirements, analysis/design. Requirements elicitation: the first step is to find out what the client wants.

Get access

Grade+20% off
$8 USD/m$10 USD/m
Billed $96 USD annually
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers
Class+
$8 USD/m
Billed $96 USD annually
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
30 Verified Answers