Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  10:00-20:00 пн-пт 11-18 сб
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | |
 

Название: Writing Scientific Software A Guide to Good Style, Suely Oliveira, David E. Stewart



Варианты приобретения
Цена: 4928р.
Кол-во:
Наличие: Есть
Отгрузка заказа в течение 3-4 рабочих дней
Добавить в корзину
в Мои желания

Автор: Suely Oliveira, David E. Stewart
Название:  Название: Writing Scientific Software A Guide to Good Style
Издательство: Cambridge Academ
Издательство: Cambridge University Press
Классификация:
Разработка программного обеспечения

ISBN: 0521675952
ISBN-13(EAN): 9780521675956
ISBN: 0-521-67595-2
ISBN-13(EAN): 978-0-521-67595-6
Обложка/Формат: Paperback
Страницы: 316
Вес: 0.544 кг.
Дата издания: 07.09.2006
Язык: English
Иллюстрации: Illustrations
Размер: 173 x 246 x 17
Читательская аудитория: Professional & vocational
Подзаголовок: A guide to good style
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: The core of scientific computing is designing, writing, testing, debugging and modifying numerical software for application to a vast range of areas: from graphics, meteorology and chemistry to engineering, biology and finance. Scientists, engineers and computer scientists need to write good code, for speed, clarity, flexibility and ease of re-use. Oliveira and Stewarts style guide for numerical software points out good practices to follow, and pitfalls to avoid. By following their advice, readers will learn how to write efficient software, and how to test it for bugs, accuracy and performance. Techniques are explained with a variety of programming languages, and illustrated with two extensive design examples, one in Fortran 90 and one in C++: other examples in C, C++, Fortran 90 and Java are scattered throughout the book. This manual of scientific computing style will be an essential addition to the bookshelf and lab of everyone who writes numerical software.



Acquisition of software engineering knowledge - sweep: an automatic programming system based on genetic programming and cultural algorithms

Название: Acquisition of software engineering knowledge - sweep: an automatic programming system based on genetic programming and cultural algorithms
ISBN: 9810229208 ISBN-13(EAN): 9789810229207
Издательство: World Scientific Publishing
Рейтинг:
Цена: 15645 р.
Наличие на складе: Поставка под заказ.

Описание: This is the first book that attempts to provide a framework in which to embed an automatic programming system based on evolutionary learning (genetic programming) into a traditional software engineering environment. As such, it looks at how traditional software engineering knowledge can be integrated with an evolutionary programming process in a symbiotic way.

Lecture notes on empirical software engineering

Название: Lecture notes on empirical software engineering
ISBN: 9810249144 ISBN-13(EAN): 9789810249144
Издательство: World Scientific Publishing
Рейтинг:
Цена: 13920 р.
Наличие на складе: Поставка под заказ.

Описание: Empirical verification of knowledge is one of the foundations for developing any discipline. As far as software construction is concerned, the empirically verified knowledge is not only sparse but also not very widely disseminated among developers and researchers. This book aims to spread the idea of the importance of empirical knowledge in software development from a highly practical viewpoint. It has two goals: (1) Define the body of empirically validated knowledge in software development so as to advise practitioners on what methods or techniques have been empirically analysed and what the results were; (2) as empirical tests have traditionally been carried out by universities or research centres, propose techniques applicable by industry to check on the software development technologies they use.

Software engineering of fault tolerant systems

Название: Software engineering of fault tolerant systems
ISBN: 9812705031 ISBN-13(EAN): 9789812705037
Издательство: World Scientific Publishing
Рейтинг:
Цена: 17141 р.
Наличие на складе: Поставка под заказ.

Описание: In architecting dependable systems, what is required to improve the overall system robustness is fault tolerance. Many methods have been proposed to this end, the solutions are usually considered late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the effectiveness error and fault handling. Since the system design typically models only normal behaviour of the system while ignoring exceptional ones, the implementation of the system is unable to handle abnormal events. Consequently, the system may fail in unexpected ways due to faults.It has been argued that fault tolerance management during the entire life-cycle improves the overall system robustness and that different classes of threats need to be identified for and dealt with at each distinct phase of software development, depending on the abstraction level of the software system being modelled.This book builds on this trend and investigates how fault tolerance mechanisms can be applied when engineering a software system. In particular, it identifies the new problems arising in this area, introduces the new models to be applied at different abstraction levels, defines methodologies for model-driven engineering of such systems and outlines the new technologies and validation and verification environments supporting this.

Artificial intelligence methods in software testing

Название: Artificial intelligence methods in software testing
ISBN: 9812388540 ISBN-13(EAN): 9789812388544
Издательство: World Scientific Publishing
Рейтинг:
Цена: 11504 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An inadequate infrastructure for software testing is causing major losses to the world economy. The characteristics of software quality problems are quite similar to other tasks successfully tackled by artificial intelligence techniques. The aims of this book are to present state-of-the-art applications of artificial intelligence and data mining methods to quality assurance of complex software systems, and to encourage further research in this important and challenging area.

Software engineering project management

Автор: Thayer
Название: Software engineering project management
ISBN: 0818680008 ISBN-13(EAN): 9780818680007
Издательство: Wiley
Рейтинг:
Цена: 11146 р.
Наличие на складе: Поставка под заказ.

Описание: This text presents a framework for project management activities based on the planning, organizing, staffing, directing, and controlling model, providing information which should help the reader understand and perform the role of a project manager.

The Architecture of Scientific Software

Автор: Boisvert Ronald F., Tang Ping Tak Peter
Название: The Architecture of Scientific Software
ISBN: 0792373391 ISBN-13(EAN): 9780792373391
Издательство: Springer
Рейтинг:
Цена: 22886 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Scientific applications involve very large computations that strain the resources of whatever computers are available. Such computations implement sophisticated mathematics, require deep scientific knowledge, depend on subtle interplay of different approximations, and may be subject to instabilities and sensitivity to external input. Software able to succeed in this domain invariably embeds significant domain knowledge that should be tapped for future use. Unfortunately, most existing scientific software is designed in an ad hoc way, resulting in monolithic codes understood by only a few developers. Software architecture refers to the way software is structured to promote objectives such as reusability, maintainability, extensibility, and feasibility of independent implementation. Such issues have become increasingly important in the scientific domain, as software gets larger and more complex, constructed by teams of people, and evolved over decades. In the context of scientific computation, the challenge facing mathematical software practitioners is to design, develop, and supply computational components which deliver these objectives when embedded in end-user application codes. The Architecture of Scientific Software addresses emerging methodologies and tools for the rational design of scientific software, including component integration frameworks, network-based computing, formal methods of abstraction, application programmer interface design, and the role of object-oriented languages. This book comprises the proceedings of the International Federation for Information Processing (IFIP) Conference on the Architecture of Scientific Software, which was held in Ottawa, Canada, in October 2000. It will prove invaluable reading for developers of scientific software, as well as for researchers in computational sciences and engineering.

High Performance Scientific and Engineering Computing / Hardware/Software Support

Автор: Tianruo Yang Laurence, Yi Pan
Название: High Performance Scientific and Engineering Computing / Hardware/Software Support
ISBN: 1402075804 ISBN-13(EAN): 9781402075803
Издательство: Springer
Рейтинг:
Цена: 17241 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The field of high performance computing achieved prominence through advances in electronic and integrated technologies beginning in the 1940s. Current times are very exciting and the years to come will witness a proliferation of the use of parallel and distributed systems. The scientific and engineering application domains have a key role in shaping future research and development activities in academia and industry, especially when the solution of large and complex problems must cope with harder and harder timing. High Performance Scientific And Engineering Computing: Hardware/Software Support contains selected chapters on hardware/software support for high performance scientific and engineering computing from prestigious workshops in the fields such as PACT-SHPSEC, IPDPS-PDSECA and ICPP-HPSECA. This edited volume is basically divided into six main sections which include invited material from prominent researchers around the world. We believe all of these contributed chapters and topics not only provide novel ideas, new results and state-of-the-art techniques in this field, but also stimulate the future research activities in the area of high performance computing for science and engineering applications. High Performance Scientific And Engineering Computing: Hardware/Software Support is designed for a professional audience, composed of researchers and practitioners in industry. This book is also suitable as a secondary text for graduate-level students in computer science and engineering.

Software maintenance: concepts and practice (second edition)

Название: Software maintenance: concepts and practice (second edition)
ISBN: 981238426X ISBN-13(EAN): 9789812384263
Издательство: World Scientific Publishing
Рейтинг:
Цена: 7362 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Software systems now invade every area of daily living. Yet, we still struggle to build systems we can really rely on. If we want to work with software systems at any level, we need to get to grips with the way software evolves. This book will equip the reader with a sound understanding of maintenance and how it affects all levels of the software evolution process.

Machine learning applications in software engineering

Название: Machine learning applications in software engineering
ISBN: 9812560947 ISBN-13(EAN): 9789812560940
Издательство: World Scientific Publishing
Цена: 18751 р.
Наличие на складе: Поставка под заказ.

Описание: Machine learning deals with the issue of how to build computer programs that improve their performance at some tasks through experience. Machine learning algorithms have proven to be of great practical value in a variety of application domains. Not surprisingly, the field of software engineering turns out to be a fertile ground where many software development and maintenance tasks could be formulated as learning problems and approached in terms of learning algorithms. This book deals with the subject of machine learning applications in software engineering. It provides an overview of machine learning, summarizes the state-of-the-practice in this niche area, gives a classification of the existing work, and offers some application guidelines. Also included in the book is a collection of previously published papers in this research area.

Property-preserving Petri Net Process Algebra in Software En

Автор: Huang Hejiao
Название: Property-preserving Petri Net Process Algebra in Software En
ISBN: 9814324280 ISBN-13(EAN): 9789814324281
Издательство: World Scientific Publishing
Рейтинг:
Цена: 9203 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In a component-based approach for system design, one of the challenging problems is the way to prove the correctness of the created components. Usually, the constituent components are supposed to be correct - possessing the desirable properties and free from undesirable ones. However, the operators may destroy these properties or create new ones, resulting in an undesirable new component. Hence, every created component has to go through a new process of verification, involving a tremendous amount of effort.This book presents a component -based methodology for the creation and verification of design specifications. The methodology is formally presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA). PPPA includes five classes of operators, and the authors show that every operator of PPPA can preserve a large number of basic system properties. Therefore, if the initial set of primitive components satisfies some of these properties, the created components will also "automatically" satisfy them without the need for further verification - thus greatly saving verification efforts.

Software Verification and Validation / An Engineering and Scientific Approach

Автор: Fisher Marcus S.
Название: Software Verification and Validation / An Engineering and Scientific Approach
ISBN: 0387327258 ISBN-13(EAN): 9780387327259
Издательство: Springer
Цена: 11494 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The world needs an in-depth technical book describing the methods and techniques used to provide confidence in our system software. In today’s market, not only are governments more focused on software safety, but private industry and academia are as well. The methods and techniques used to provide such confidence is commonly called software verification and validation.Software Verification and Validation: An Engineering and Scientific Approach, a technical professional book, performs software verification and validation on high-fidelity systems. This book includes crucial information for methods and techniques that not only develop the system, but ensure that the system was developed correctly.Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry. This book is also suitable as a secondary textbook for advanced-level students in computer science and engineering.

Software maintenance: concepts and practice (second edition)

Название: Software maintenance: concepts and practice (second edition)
ISBN: 9812384251 ISBN-13(EAN): 9789812384256
Издательство: World Scientific Publishing
Рейтинг:
Цена: 15415 р.
Наличие на складе: Поставка под заказ.

Описание: Software systems now invade every area of daily living. Yet, we still struggle to build systems we can really rely on. If we want to work with software systems at any level, we need to get to grips with the way software evolves. This book will equip the reader with a sound understanding of maintenance and how it affects all levels of the software evolution process.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия