- Out-of-Stock
Dick Hamlet, Joe Maybee
| Authors: Dick Hamlet, Joe Maybee ISBN: 83-204-2844-0 Format: B5, 540 pages Hardcover Publisher: WNT |
| About the book |
| A book in which problems related to the software development process are discussed from the practical side. The book is divided into four parts. In the first, the authors present the basic concepts of software engineering and already emphasize the importance of testing as a permanent activity inscribed in the production process. The second part is devoted to identifying and recording user requirements. In the third part, they deal with design and implementation. They discuss various design techniques, illustrating them with numerous examples. The fourth part is devoted to testing and considering the problem of the effectiveness of this procedure. This book is intended for programmers and software testers, i.e. people who have a direct impact on the quality of the software product being manufactured. It is their diligence and skill that largely determines the success of the programming venture. Table of Contents Preface Admission Part I - Software engineering 1. Concepts for software development 1.1. Separation of concepts 1.2. Life cycle stages of the software 1.3.Eonomy of software development Specific questions General questions Supplementary literature Bibliography 2. Several principles of software development 2.1. Intellectual control 2.2.Dangle and win 2.3.Specify "recipients" 2.4. From blur to concentration 2.5. Document it! 2.6. Exit / exit is the basis of the software 2.7. Too much engineering is not a good thing 2.8.Prepare for making changes 2.9. Use previous work 2.10. Take responsibility 2.11. Summary of software engineering principles Specific questions General questions Supplementary literature Bibliography 3. Is this really engineering? 3.1. What is different in the software? 3.2.Scientific learning 3.3.Analogy for other professions 3.4. Responsibility of software developers 3.5. Engineering institutes Specific questions General questions Supplementary literature Bibliography 4. Management and process 4.1. Controversies about the "process" 4.2. Engineering management 4.3.Miary Specific questions General questions Supplementary literature Bibliography 5. "Life cycle" of the software 5.1.Warranty of the cascade model 5.2. Creation of software 5.3. Software control 5.4. Care through the life cycle 5.5. Managing the production cycle Specific questions General questions Supplementary literature Bibliography 6. Testing schedule 6.1. Functional testing 6.2.Testing based on errors 6.3. Test schedule during the life cycle Specific questions General questions Supplementary literature Bibliography Part II - Requirements and specifications 7.Wymagania 7.1. Examination of requirements 7.2. Example: Printing trees 7.3. Software applications 7.4. Quick prototyping 7.5. Management of the requirements stage Specific questions General questions Supplementary literature Bibliography 8. The properties of the chosen requirements 8.1.Comprehensibility for target users 8.2. No unnecessary guidelines 8.3.Poprawność 8.4.Kompletność 8.5.Zwięzłość 8.6.Precyzja 8.7.Jasność 8.8.Jednoznaczność 8.9.Spójność 8.10. Possibility of tracking 8.11.Easy modification 8.12. Possibility of testing (verification) 8.13.Wykonalność 8.14. Summary: How to formulate requirements? Specific questions General questions Supplementary literature Bibliography 9.Specyfikowanie 9.1. Recipients and their needs 9.2. Specifying requirements towards specifications 9.3. Applying formalism 9.4.Specific specification and design methods Specific questions General questions Supplementary literature Bibliography 10. Formal methods 10.1. Specification languages 10.2.Logic of first order predicates 10.3. Example: Sorting 10.4. "Programming" of the specification 10.5. Controversies regarding "formal methods" Specific questions General questions Supplementary literature Bibliography Part III - Designing and coding 11. Designing the software 11.1.Design design 11.2.General design principles 11.3. Design art 11.4. High-level design ("architectural") 11.5. Detailed design 11.6. Formal applications in design Specific questions General questions Supplementary literature Bibliography 12.Kodowanie 12.1. Programming languages 12.2.Tooling support tools 12.3. Completing the test plan during coding Specific questions General questions Supplementary literature Bibliography 13.Pseudokod 13.1. Design using a pseudocode 13.2. Implementation of a pseudocode Specific questions General questions Supplementary literature Bibliography 14. Finished state machines 14.1. Designing with FSM 14.2.Coding the FSM project Specific questions Supplementary literature Bibliography 15.Abstract data types 15.1. Detection of design decisions 15.2.Strams and ADT axioms - Boolean example 15.3.Hetisation and language C 15.4.Example: ADT IntSet 15.5. Implementation of ADT Specific questions General questions Supplementary literature Bibliography 16. Object-oriented design 16.1. Real objects and program objects 16.2. Object requirements 16.3. Example: Check system 16.4. Checking the object design before implementation 16.5.Language languages 16.6. A brief introduction to Java 16.7. Implementation of the check system Specific questions General questions Supplementary literature Bibliography 17. Data flow graphs 17.1.Elements of data flow diagrams 17.2. Example DFD: payroll system 17.3. Data dictionary 17.4. Checking DFD - CASE tools 17.5.Dagrams of the structure 17.6. DFD implementation Specific questions General questions Supplementary literature Bibliography 18. Summary of design and coding 18.1. Additional design ideas 18.2. Choice of design methods 18.3. Creating the code 18.4.Griding with design and coding stages Specific questions General questions Supplementary literature Bibliography Part IV - Testing 19. Testing the software 19.1. Prepare the test plan 19.2.What should give us testing? 19.3. Test process: testing units and testing the system 19.4. Inspection and testing 19.5. Management of the testing stage Specific questions General questions Supplementary literature Bibliography 20. Coverage - "systematic" testing 20.1.The division of space to enter in order to search for errors 20.2.Adequacy of the structural test and Maricka's recommendation 20.3.Warjacje on the coverage of testing 20.4. "Testing" tools 20.5. More complex criteria for structural coverage 20.6. Which coverage is the best? Specific questions General questions Supplementary literature Bibliography 21.Low testing 21.1. Random testing 21.2.Providing software quality 21.3. Automatic testing 21.4. Regressive testing 21.5. Software testing - current status Specific questions General questions Supplementary literature Bibliography Solutions and answers of selected exercises Index |
This sensor shield utilizes the BME280 pressure/humidity/temperature sensor, the CCS811 air quality sensor and the APDS-9301 ambient light sensor - using each corresponding Arduino library. The shield has been equipped with two RJ11 connectors for wind and rain detection and measurement, as well as optional pins for external temperature readings and soil moisture sensor. DEV-14153
No product available!
At Ugears, we like to think that each of our new models is a wonderful surprise and an amazing gift to anybody who loves beautiful mechanics. We want to give more with every model we invent. With this model, Ugears gives you – quite literally – the world. Presenting the Globus, your own world of mechanical marvels. UGears 70128
No product available!
No product available!
A assembled LED bauble for everyone. AVT3250 C
No product available!
ROSA3D filament made of high-quality PET-G granules. 0.8 kg of filament with a diameter of 1.75 mm is wound on the spool. ROSA3D PET-G Standard Gold Metallic
No product available!
No product available!
Expansion card dedicated for sets from the Terasic DE FPGA series. It contains mainly elements necessary for communication (Wi-Fi module and Bluetooth) and sensors (light, humidity, temperature, accelerometer, gyroscope and magnetometer). The built-in UART <> USB converter enables communication with a PC. Terasic P0499
No product available!
The Ardumoto Shield is an easy-to-use dual motor controller for Arduino. Combined with an Arduino, the Ardumoto makes a fantastic controller platform for RC vehicles or even small autonomous robots. KIT-13201
No product available!
No product available!
No product available!
No product available!
AHRS module (Attitude Heading Reference System) for Computers Odroid C1, C1 +, C0, C2, XU3, XU4
No product available!
No product available!
No product available!
No product available!
A portable 65 W soldering iron has an adjustable operating temperature in the range from 100°C to 400°C. It can be powered by a 12-24 V adapter or a battery with an XT60 connector. The set includes a soldering iron and a BC2 tip
No product available!
Dick Hamlet, Joe Maybee