Software Science & Engineering - Böcker
Visar alla böcker i serien Software Science & Engineering. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
877 kr
Skickas inom 10-15 vardagar
1 624 kr
Skickas inom 10-15 vardagar
Integrating the best aspects of the structured systems analysis and design method and the prototyping method, this work introduces a unique approach to computer systems development which is simple, flexible, thorough, and cost-effective.
Studies in Computer Science
Proceedings of a Conference Held in West Lafayette, Indiana, November 1-3, 1989
Inbunden, Engelska, 1994
877 kr
Skickas inom 10-15 vardagar
877 kr
Skickas inom 10-15 vardagar
551 kr
Skickas inom 10-15 vardagar
This book is the proceedings ofa conference held November 1-3, 1989, to honor Samuel D. Conte for his many contributions to computer sci ences at Purdue University and to the profession as a whole. The com puter sciences program reflected the breadth of Conte's interests and ac complishments; there were tributes to Conte, perspectives on computer science itself, and research papers. The first part of these proceedings chronicles the career and contri butions; much of it is based on Conte's remarks made at the conference banquet. The second part of the proceedings starts with one vision of the future of computer sciences given in Peter Denning's keynote address. Historical accounts of building successful educational programs in com puter sciences follow. The third part consists of seven research contribu tions, primarily from past or present colleagues. These include Conte's numerical analysis, computational geometry, and discussions of software engineering. The conference was organized by the Purdue University Department of Computer Sciences and the Software Engineering Research Center at Purdue. Both of these organizations were founded by Conte, so is fitting for them to recognize their founder's achievements in such a con crete way.
1 095 kr
Skickas inom 10-15 vardagar
Observers in the present usually have an advantage when it comes to interpreting events of the past. In the case of software reuse, how ever, it is unclear why an idea that has gained such universal accep tance was the source of swirling controversy when it began to be taken seriously by the software engineering community in the mid-1980's. From a purely conceptual point of view, the reuse of software de signs and components promises nearly risk-free benefits to the devel oper. Virtually every model of software cost and development effort predicts first-order dependencies on either products size or the num ber of steps carried out in development. Reduce the amount of new product to be developed and the cost of producing the product de creases. Remove development steps, and total effort is reduced. By reusing previously developed engineering products the amount of new product and the number of development steps can be reduced. In this way, reuse clearly has a major influence on reducing total development cost and effort. This, of course, raises the issue of from whence the reused products arise. There has to be a prior investment in creating "libraries of reuse products before reuse can be successfuL . . " How can organizations with a "bottom line" orientation be enticed into contributing to a reuse venture? Fortunately, the economics of reuse l resembles many other financial investment situations .
551 kr
Skickas inom 10-15 vardagar
Software Engineering and Environment examines the various aspects of software development, describing a number of software life cycle models. Featuring an abundance of helpful illustrations, this cogent work is an excellent resource for project managers, programmers, and other computer scientists involved in software production.
551 kr
Skickas inom 10-15 vardagar
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4. 8 Conclusions 5 Reliable programming in standard languages 102 Bernard Carre, Program Validation Ltd. 5. 1 Introduction 102 5. 2 Language requirements for high-integrity programming 103 5. 3 The use of standard languages 108 5. 4 Programming in Pascal and Ada 110 1'19 5. 5 Practical experiences NewSpeak: a reliable programming language 6 122 I. F. Currie, Royal Signals and Radar Establishment 6. 1 Introduction 122 6. 2 Types and values 127 6. 3 Declarations and variables 132 6. 4 Guarded declarations 134 6. 5 Cases and conditionals 136 6. 6 Loops 138 6. 7 Procedures 140 6. 8 Assertions 145 6. 9 Timing 147 6. 10 Conclusion 149 6. 11 Appendix 1: summary of syntax 150 6. 12 Appendix 2: type lattice and widening 156 7 Program analysis and systematic testing 159 M. A. Hennell, University of Liverpool, and D. Hedley and I. J. Riddell, Liverpool Data Research Associates Ltd. 7. 1 Introduction 159 7. 2 The basic requirement 160 7. 3 The Liverpool experience 161 7. 4 The Liverpool experiments 162 7. 5 The LDRA Testbeds 163 Interpretation 169 7. 6 7. 7 Applicability and benefits 171 7. 8 Safety-critical systems 173 VI 8 Program analysis and verification 176 Bernard Carre, Program Validation Ltd. 8. 1 Introduction 176 8.