New Software Engineering Paradigm Based on Complexity Science, Jay Xiong
Автор: M?rcio Barros; Yvan Labiche Название: Search-Based Software Engineering ISBN: 3319221825 ISBN-13(EAN): 9783319221823 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions.
Автор: G?nther Ruhe; Yuanyuan Zhang Название: Search Based Software Engineering ISBN: 3642397417 ISBN-13(EAN): 9783642397417 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Search Based Software Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance.
Название: Handbook of Finite State Based Models and Applications ISBN: 1138199354 ISBN-13(EAN): 9781138199354 Издательство: Taylor&Francis Рейтинг: Цена: 9492.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area.
The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.
Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
Автор: Sarro Название: Search Based Software Engineering ISBN: 3319471058 ISBN-13(EAN): 9783319471051 Издательство: Springer Рейтинг: Цена: 8106.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance.
Автор: Jan J?rjens; Frank Piessens; Nataliia Bielova Название: Engineering Secure Software and Systems ISBN: 3319048961 ISBN-13(EAN): 9783319048963 Издательство: Springer Рейтинг: Цена: 8803.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014. The symposium features the following topics: model-based security, formal methods, web and mobile security and applications.
Автор: Ralf L?mmel; Joost Visser; Jo?o Saraiva Название: Generative and Transformational Techniques in Software Engineering II ISBN: 3540886427 ISBN-13(EAN): 9783540886426 Издательство: Springer Рейтинг: Цена: 8239.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2007, held in Braga, Portugal, in July 2007.
Автор: Shaoying Liu Название: Formal Engineering for Industrial Software Development ISBN: 3642058272 ISBN-13(EAN): 9783642058271 Издательство: Springer Рейтинг: Цена: 12571.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Tim Menzies; Justyna Petke Название: Search Based Software Engineering ISBN: 3319662988 ISBN-13(EAN): 9783319662985 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were carefully reviewed and selected from 26 submissions.
Автор: Michel R. V. Chaudron; Clemens Szyperski; Ralf H. Название: Component-Based Software Engineering ISBN: 3540878904 ISBN-13(EAN): 9783540878902 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2008, held in Karlsruhe, Germany in October 2008. This book organizes the papers in topical sections on performance engineering; extra-functional properties such as security and energy, and formal methods and model checking.
Автор: Lars Grunske; Ralf H. Reussner; Frantisek Plasil Название: Component-Based Software Engineering ISBN: 3642132375 ISBN-13(EAN): 9783642132377 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th International Symposium on Component-Based Software Engineering, CBSE 2010, held in Prague, Czech Republic, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 48 submissions.
Автор: Stephan Merz; Jun Pang Название: Formal Methods and Software Engineering ISBN: 331911736X ISBN-13(EAN): 9783319117362 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014.
Автор: R.A. Adey Название: Engineering Software IV ISBN: 3662218798 ISBN-13(EAN): 9783662218792 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
