Undergraduate Handbook - School of Computing and Informatics ...

Reference Books:
i. A. Koenig and B. E. Moo, Accelerated C++: Practical Programming by Example, Addison-Wesley, 2008.
ii. J. Friesen, Beginning Java SE 6 Platform: From Novice to Professional, , Apress October 2007,
iii. S. Karam, and R. Freeman, Easy Oracle Jumpstart: Oracle Database Management Concepts and
Administration.
iv. S. Feuerstein, B. Pribyl and C. Dawes, Oracle PL/SQL Language Pocket Reference, 4th edition, OReilly,
2007.
BSE 2102: Software Development Principles II (4 CU)
Course Description: Upon successful completion of the course, the candidate should be: Able to describe the
history of software development and software life cycle management; Able to address various challenges of user
interface design and adaption; Demonstrate ability to carry out system feasibility study and document requirements;
Able to carry out software modularization using one of the most popular software design tools; Show ability to
manage a software development process; Able to design, implement and deploy a software product; and Able to
performance software correctness and testing with minimum difficulties.
Indicative Content: History of software design and development, Software crisis, Software life cycle Management
issues, User interfacing, Documentation, Requirements Analysis and Definition, Feasibility study, System
specification, Functional software specification Methods, Tools, Design Methodologies: structured design,
functional decomposition, data-flow (data-driven), data structure (Jackson), object-oriented design, Tools:
abstraction, structure chart, data-flow diagram, Programme design language, structured walkthrough,
Implementation and Testing, Programming environments, teams, languages, and style, Strategies for maintainability
and reusability, Test case design, Programme testing, and system testing, Quality assurance, verification, validation,
reliability, Testing methodologies, Evolution, Operation; performance analysis and measurement Maintenance
Reference Books:
i. B. Boehm and R. Turner, Balancing Agility and Discipline: A Guide for the Perplexed, Addison Wesley
Professional, 2003
ii. A. M. Davis, 201 Principles of Software Development, McGraw-Hill, 1995
BSE 2105: Formal Methods (3 CU)
Course Description: Demonstrate factual knowledge including the mathematical notation and terminology used in
the course; Be able describe the fundamental principles including the laws and theorems arising from the concepts
covered in this course; Be able to apply course material along with techniques and procedures covered in this course
to solve practical problems; and demonstrate programming skills by writing numerical Programmes, such as Mat lab
Programmes, to solve the above problems.
Indicative Content: Foundations; Basic concepts; Verification; Tools and systems; animation – Miranda and ZANS
Nitpick; The OBJ family of languages, LARCH. Optional Topics (as time permits): State charts, Integrated creation
of a Programme and its correctness proof 3; Automatic Programme synthesis, Scripting Languages.
Reference Books:
i. A. Diller, Z: An Introduction to Formal Methods, 2nd edition, Wiley, 1994.
ii. M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge
University Press; 2nd edition,2004.
iii. R .Gupta, P. Le Guernic, S. K. Shukla, and J. P. Talpin, Formal Methods and Models for System Design: A
System Level Perspective, (Eds.), 2004.
110