Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Software Engineering For Students: A Programming Approach Part 5. This fully revised version of Doug Bell's Software Engineering: A Programming Approach continues to use the successful formula of the previous editions. The author's approach is to present the main principles, techniques and tools used in software engineering, one by one, chapter by chapter. This book is a unique introduction to software engineering for all students of computer science and its related disciplines. It is also ideal for practitioners wishing to remain current with new developments in the area | 18 Chapter 1 Software - problems and prospects greater emphasis on trying to ensure that software is free of errors verification . incremental development where a project proceeds in small manageable steps We will be looking at all of these ideas in this book. These solutions are not mutually exclusive indeed they often complement each other. Verification prototyping and other such techniques actually address only some of the problems encountered in software development. A large-scale software project will comprise a number of separate related activities analysis specification design implementation and so on. It may be carried out by a large number of people working to strict deadlines and the end product usually has to conform to prescribed standards. Clearly if software projects are to have any chance of successfully delivering correct software on time within budget they must be thoroughly planned in advance and effectively managed as they are executed. Thus the aim is to replace ad hoc methods with an organized discipline. One term that is used a lot these days in connection with software is the word quality. One might argue that any product from a cream bun to a washing machine that fulfills the purpose for which it was produced could be considered to be a quality product. In the context of software if a package meets and continues to meet a customer s expectations then it too can be considered to be a quality product. In this perspective quality can be attained only if effective standards techniques and procedures exist to be applied and are seen to be properly employed and monitored. Thus not only do good methods have to be applied but they also have to be seen to be applied. Such procedures are central to the activity called quality assurance . The problem of producing correct software can be addressed by using appropriate specification and verification techniques formal or informal . However correctness is just one aspect of quality the explicit use of .
