The role of formal methods in managing complexity

The role of formal methods in managing complexity

For access to this article, please select a purchase option:

Buy chapter PDF
(plus tax if applicable)
Buy Knowledge Pack
10 chapters for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Your details
Why are you recommending this title?
Select reason:
Managing Complexity in Software Engineering — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

This chapter examines the role of formal methods within the software development process. In particular the case is made that the formal development paradigm, emphasising as it does abstraction, stepwise reification and the processes of justification fits in well with the traditional contractual model of software development. In so doing the activity of producing abstract specifications relates to the requirements analysis and specification phases, so necessary in large scale software production. The activity of reification equates with the tasks of producing system, sub-system or object level specifications. The justification process provides a basis for effectively structuring reviews and for arguing “why” a design is correct.

Inspec keywords: systems analysis; software development management; software metrics; formal specification

Other keywords: formal methods; software complexity management; formal development; object level specification; justification process; software development process; large scale software production; requirements analysis; abstract specifications; stepwise reification

Subjects: Software engineering techniques; Software management; Software metrics; Formal methods

Preview this chapter:
Zoom in

The role of formal methods in managing complexity, Page 1 of 2

| /docserver/preview/fulltext/books/pc/pbcm017e/PBCM017E_ch3-1.gif /docserver/preview/fulltext/books/pc/pbcm017e/PBCM017E_ch3-2.gif

Related content

This is a required field
Please enter a valid email address