Methods and tools

Methods and tools

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.

Software engineering methods are formalisms for describing software. The capabilities of tools are determined by the methods they implement. Software engineering tools usually support at least syntax-oriented editing and consistency checks. Transformation tools translate descriptions of one method into the formalism of others. Interpreters and simulators run specifications for evaluating the behaviour of a system. Integrated programming support environments integrate tools to cover the various tasks of software development. Heterogeneous environments are based on various methods. They allow the user choice of method but hardly permit incremental software development. Highly integrated environments are based on a key design method to which subordinate methods are added in order to detail specifications. They are bound to their methods but do not require rigid procedures for software development.

Inspec keywords: software tools; formal specification; incremental compilers; program interpreters; software metrics; computational linguistics

Other keywords: transformation tools; interpreters; simulators; software description; software tools; integrated programming support environments; syntax oriented editing; software engineering method; software complexity management; consistency checks; incremental software development; formal specification

Subjects: Programming support

Preview this chapter:
Zoom in

Methods and tools, Page 1 of 2

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

Related content

This is a required field
Please enter a valid email address