Author_Institution :
HDI Informationssyst. Gesellschaft fur Anwendungsentwicklung mbH, Hannover, Germany
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;
Conference_Titel :
Software Maintenance and Reengineering, 1997. EUROMICRO 97., First Euromicro Conference on
Conference_Location :
Berlin
Print_ISBN :
0-8186-7892-5
DOI :
10.1109/CSMR.1997.583002
