Описание: Offers coverage required by students of software engineering, from the nuts and bolts of objects to software architecture, from writing code to testing, from software development processes to project management.
Автор: Collazos Nйstor Cataсo Название: Java Software Development with Event B: A Practical Guide ISBN: 168173687X ISBN-13(EAN): 9781681736877 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 4990.00 р. Наличие на складе: Нет в наличии.
Описание:
The cost of fixing software design flaws after the completion of a software product is so high that it is vital to come up with ways to detect software design flaws in the early stages of software development, for instance, during the software requirements, the analysis activity, or during software design, before coding starts.
It is not uncommon that software requirements are ambiguous or contradict each other. Ambiguity is exacerbated by the fact that software requirements are typically written in a natural language, which is not tied to any formal semantics. A palliative to the ambiguity of software requirements is to restrict their syntax to boilerplates, textual templates with placeholders. However, as informal requirements do not enjoy any particular semantics, no essential properties about them (or about the system they attempt to describe) can be proven easily. Formal methods are an alternative to address this problem. They offer a range of mathematical techniques and mathematical tools to validate software requirements in the early stages of software development.
This book is a living proof of the use of formal methods to develop software. The particular formalisms that we use are EVENT B and refinement calculus. In short: (i) software requirements as written as User Stories; (ii) they are ported to formal specifications; (iii) they are refined as desired; (iv) they are implemented in the form of a prototype; and finally (v) they are tested for inconsistencies. If some unit-test fails, then informal as well as formal specifications of the software system are revisited and evolved.
This book presents a case study of software development of a chat system with EVENT B and a case study of formal proof of properties of a social network.
Автор: Mernik Marjan Название: Formal and Practical Aspects of Domain-Specific Languages ISBN: 1466620927 ISBN-13(EAN): 9781466620926 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 28413.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments is a collection of academic works containing current research on all aspects of domain-specific language. This book is a comprehensive overview in the computer language field and aims to be essential for scholars and practitioners in the software engineering fields by providing new results and answers to open problems in DSL research.
Описание: For professionals who need to design, implement or manage a quality software program, this volume identifies ten major components that make up a solid program in line with ISO 9001 quality management precepts. This second edition contains updated references, text revisions and new chapters.
Автор: Burnstein, Ilene Название: Practical software testing ISBN: 1441928855 ISBN-13(EAN): 9781441928856 Издательство: Springer Рейтинг: Цена: 12850.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Software testing is rapidly evolving as a critical sub-discipline of software engineering. The industry needs professionals educated in the modern methods and tools of software testing and quality assurance. Based on the needs of software professionals, "Practical Software Testing" takes a unique approach to teaching readers how to effectively plan for testing, design test cases, test at multiple levels, organize a testing team, and optimize use of testing tools. It introduces testing concepts that are managerial-, technical-, and process-oriented, using the Testing Maturity Model (TMM) as a framework. Features: *includes a sample test plan, comprehensive exercises, and definitions for software testing and quality *introduces both technical and managerial aspects of testing in a clear and precise style, for integrated learning *balanced perspective and comprehensive view of all testing aspects *uses the TMM framework to introduce testing in a systematic, evolutionary way, and describes industrial TMM applications *covers testing topics with either procedurally based or object-oriented programming code With its accessible, practical, and well-focused framework, this new resource provides an integrated presentation of software-testing processes and practices. Professionals and practitioners in software testing, software quality assurance, or software validation and verification will benefit greatly from using this essential resource.
Автор: Gunther Lenz; Christoph Wienands Название: Practical Software Factories in .NET ISBN: 143021175X ISBN-13(EAN): 9781430211754 Издательство: Springer Рейтинг: Цена: 8223.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Software Factory methodology is based on recognition of these similarities and a drive to extend the concept of "reusability" to the point where we achieve entirely automated product lines.
Автор: Edward Crookshanks Название: Practical Software Development Techniques ISBN: 1484207297 ISBN-13(EAN): 9781484207291 Издательство: Springer Рейтинг: Цена: 5304.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
1: Version Control
2: Unit Testing and Test Driven Development
3: Refactoring
4: Build Tools and Continuous Integration
5: Debugging
6: Development Methodologies and SDLC
7: Design Patterns and Architecture
8: Software Requirements
9: Just Enough SQL
Appendix A: Enterprise Considerations and Other Topics
Appendix B: Discussion Questions
Appendix C: Database details
Appendix D: Bibliography
Автор: Gerard O`Regan Название: A Practical Approach to Software Quality ISBN: 1441929517 ISBN-13(EAN): 9781441929518 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It provides an enhanced knowledge of software inspections, metrics, process involvement, assessment of organization, problem solving, customer satisfaction surveys, the CMM, SPICE, and formal methods. In addition, readers will gain a detailed understanding of the principles of software quality management and software process improvement.
Автор: Bertrand Meyer; Martin Nordio Название: Tools for Practical Software Verification ISBN: 3642357458 ISBN-13(EAN): 9783642357459 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
