BZU PAGES: Find Presentations, Reports, Student's Assignments and Daily Discussion; Bahauddin Zakariya University Multan - Formal Specification Chapter10(Software Engineering by Sommerville)

BZU PAGES: Find Presentations, Reports, Student's Assignments and Daily Discussion; Bahauddin Zakariya University Multan (http://bzupages.com/index.php)

- Intro to Software Development (http://bzupages.com/forumdisplay.php?f=38)

- - Formal Specification Chapter10(Software Engineering by Sommerville) (http://bzupages.com/showthread.php?t=1894)

.BZU.

16-01-2009 01:38 PM

Formal Specification Chapter10(Software Engineering by Sommerville)

1 Attachment(s)

Chapter10
Formal Specification
(Software Engineering by Sommerville)

Objectives:
To explain why formal specification techniques help discover problems in system requirements
To describe the use of algebraic techniques for interface specification
To describe the use of model-based techniques for behavioural specification

Topics covered:
Formal specification in the software process
Sub-system interface specification
Behavioural specification

All times are GMT +5. The time now is 02:30 PM.