Formal methods

Author

Löwe, Michael

Author_Institution

HDI Informationssyst. Gesellschaft fur Anwendungsentwicklung mbH, Hannover, Germany

fYear

1997

fDate

17-19 Mar 1997

Firstpage

43

Abstract

Within software reengineering, we will see a growing interest in formal methods in the future, both in semantics (quality) and in metrics (quantity). As software systems become more and more complex, their change management needs to evolve from manual and ad hoc methods to a rigorous discipline. To achieve this, both sides of software engineering, notations and processes, need a clear and integrated semantics on which solid tool support can be built. To satisfy this demand, research on formal methods should take the special requirements of software maintenance and reengineering more into account

Keywords

computational linguistics; formal specification; software development management; software maintenance; systems re-engineering; change management; formal methods; future; integrated semantics; metrics; semantics; software maintenance; software reengineering; software systems; solid tool support; Area measurement; Computer languages; Software design; Software engineering; Software maintenance; Software measurement; Software systems; Solids; Statistical analysis; Statistics;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Maintenance and Reengineering, 1997. EUROMICRO 97., First Euromicro Conference on

Conference_Location

Berlin

Print_ISBN

0-8186-7892-5

Type

conf

DOI

10.1109/CSMR.1997.583002

Filename

583002