蘑菇街网上购物系统的设计与实现外文翻译原文精品.pdf

Autom Softw Eng (2008) 15: 379–391 DOI 10.1007/s10515-008-0035-7 Personal reflections on automation, programming culture, and model-based software engineering Bran Selic Received: 21 July 2008 / Accepted: 1 August 2008 / Published online: 3 September 2008 © Springer Science+Business Media, LLC 2008 Abstract Model-based software engineering (MBSE) is an approach to software de- velopment characterized in part by significantly greater levels of automation when compared to more traditional development methods. Computer-based tools play a fundamental role in a number of key aspects of development, including author- ing support (many MBSE languages are predominantly visual), automatic or semi- automatic verification, automated translation of specifications into corresponding programs, and so on. Given the historical precedents, such as the introduction of compilation technol- ogy, there is little doubt that automation, when properly conceived and realized, can dramatically increase the productivity of software developers and improve the qual- ity of their software. Therefore, it is natural to assume that MBSE would quickly become the dominant form of software development, similar to the rapid adoption of computer-aided design approaches for hardware. Yet, this has not been the case. In this opinion-based article, derived from the author’s long-term experience with MBSE and its application in industry, we examine the causes behind this seemingly paradoxical situation. Keywords Model-driven development · Computer-aided software engineering · Psychology of programming · Usability · Computer automation · Software tools 1 Introduction The use of computer technology in support of software design and development dates back to the earliest days of programming. It is an obvious fit, given that the computer is, in effect, the ultimate automation machine and that the primary artifacts of the B. Selic ( ) Mali