Methods and tools

Publisher Website
Google Scholar
Abstract
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.

This publication has 0 references indexed in Scilit: