Название: Mining Software Specifications ISBN: 1138114901 ISBN-13(EAN): 9781138114906 Издательство: Taylor&Francis Рейтинг: Цена: 74510.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
An emerging topic in software engineering and data mining, specification mining tackles software maintenance and reliability issues that cost economies billions of dollars each year. The first unified reference on the subject, Mining Software Specifications: Methodologies and Applications describes recent approaches for mining specifications of software systems. Experts in the field illustrate how to apply state-of-the-art data mining and machine learning techniques to address software engineering concerns.
In the first set of chapters, the book introduces a number of studies on mining finite state machines that employ techniques, such as grammar inference, partial order mining, source code model checking, abstract interpretation, and more. The remaining chapters present research on mining temporal rules/patterns, covering techniques that include path-aware static program analyses, lightweight rule/pattern mining, statistical analysis, and other interesting approaches. Throughout the book, the authors discuss how to employ dynamic analysis, static analysis, and combinations of both to mine software specifications.
According to the US National Institute of Standards and Technology in 2002, software bugs have cost the US economy 59.5 billion dollars a year. This volume shows how specification mining can help find bugs and improve program understanding, thereby reducing unnecessary financial losses. The book encourages the industry adoption of specification mining techniques and the assimilation of these techniques in standard integrated development environments (IDEs).
Автор: Capers Jones Название: Software Methodologies ISBN: 1138033081 ISBN-13(EAN): 9781138033085 Издательство: Taylor&Francis Рейтинг: Цена: 117390.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This comprehensive reference uses a formal and standard evaluation technique to show the strengths and weakness of more than 60 software development methodologies such as agile, DevOps, RUP, Waterfall, TSP, XP and many more. Each methodology is applied to an application of 1000 function points using the Java language. Each methodology produces a characteristic set of results for development schedules, productivity, costs, and quality. The intent of the book is to show readers the optimum kinds of methodologies for the projects they are concerned with and to warn them about counter indications and possible harm from unsuitable methodologies.
Автор: Onn Shehory; Arnon Sturm Название: Agent-Oriented Software Engineering ISBN: 3662522799 ISBN-13(EAN): 9783662522790 Издательство: Springer Рейтинг: Цена: 88500.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A Brief Introduction to Agents.- Agent-Oriented Software Engineering - Revisiting the State-of-the-Art.- Application Impact of Multi-Agent Systems and Technologies: A Survey.- Multi-Agent Systems: A Software Architecture Viewpoint.- Design Patterns for Multi-Agent Systems: A Systematic Literature Review.- Agent Communication.- The Landscape of Agent-Oriented Methodologies.- Prometheus Research Directions.- O-MaSE: An Extensible Methodology for Multi-Agent Systems.- Ten Years of the INGENIAS Methodology.- A Survey of Multi-Agent Programming.- Languages and Frameworks.- GOAL: A Multi-Agent Programming Language Applied to an Exploration Game.- Unravelling Multi-Agent Oriented Programming.- The Evolution of MAS Tools.- Design and implementation of very large agent-based systems.- Agent Zero: A Framework for Simulating and Evaluating Multi-Agent Algorithms.
Автор: Cruz Antonio Miguel Rosado da Название: Modern Software Engineering Methodologies for Mobile and Clo ISBN: 1466699167 ISBN-13(EAN): 9781466699168 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 204210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: As technology continues to evolve, the popularity of mobile computing has become inherent within today’s society. With the majority of the population using some form of mobile device, it has become increasingly important to develop more efficient cloud platforms.Modern Software Engineering Methodologies for Mobile and Cloud Environments investigates emergent trends and research on innovative software platforms in mobile and cloud computing. Featuring state-of-the-art software engineering methods, as well as new techniques being utilized in the field, this book is a pivotal reference source for professionals, researchers, practitioners, and students interested in mobile and cloud environments.
Автор: Machado Ricardo J. Название: Model-based Methodologies for Pervasive and Embedded Softwar ISBN: 3642382088 ISBN-13(EAN): 9783642382086 Издательство: Springer Рейтинг: Цена: 42860.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012.
