文章基本信息

标题：Software Engineering: The Trend
本地全文：下载
作者：Ayaz Isazadeh
期刊名称：Informatica
印刷版ISSN：1514-8327
电子版ISSN：1854-3871
出版年度：2004
卷号：28
期号：2
页码：129-137
出版社：The Slovene Society Informatika, Ljubljana
摘要：This paper presents the author's view of the current trend in the world of software engineering. Software engineering has already taken the responsibility of providing the necessary tools for organizing, structuring, and making efficient use of the huge volume of information currently floating around. The responsibility of software engineering will increase dramatically by the exponential increases expected in the volume of information. The volume of information, in every branch of science and technology, is getting so high that without a software engineering tool cannot be of any use. This is an extreme power, and responsibility, for software engineering.The paper provides an analysis of the increasing power and responsibilities associated with software engineeringas an engineering discipline, points out the catastrophic results of failures, as well as significance of accuracy and correctness in this discipline, and concludes that software engineering cannot afford to go wrong. The paper then investigates the significance of mathematical foundations and formal approaches to software engineering, specially in the area of software requirements specification. Finally, the paper recommends using a visual formalism, designed based on a representationistic approach,as a sound and simple foundation, for a sound and successful software engineering practice. An example of such a formalism concludes the paper.
关键词：software engineering; requirements engineering; formal methods