Publisher's Synopsis
This pack contains Units 9-12 which make up Block 3.Unit 9 Logic in PracticeIn this unit you will develop skills to help you to move between natural language expressions and their formal counterparts. You will develop techniques for rewriting formal expressions in ways that lead to code that is well-structured and consequently more straightforward to maintain. This unit is primarily concerned with developing formal logical ideas that help to achieve these aims.Unit 10 Logic and LanguageThis unit is about the relationship between natural language and formal logic. The use of formal logic helps people to develop correct software.Unit 11 DatabasesThis unit considers the form of databases known as relational databases. These are one of the main forms of information storage.Unit 12 A Case StudyThe purpose of this unit is to bring together ideas that have been introduced in this block, and show how they can be used in the process of developing and testing a small software system. This is done by considering a case study about the development of an appointment system for a medical practice.It is recommended that you purchase the Building Blocks of Software CD-ROM (order code M263/CDR1027) if you wish to complete the activities in each unit.