Rationale-Based Software Engineering, Janet E. Burge; John M. Carroll; Raymond McCall; I
Автор: John M. Carroll Название: Creativity and Rationale ISBN: 1447160932 ISBN-13(EAN): 9781447160939 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Collects 19 complementary chapters by experts in human-computer interaction design, sociotechnical systems design, requirements engineering, information systems, and artificial intelligence, who discuss all aspects of design creativity and rationale.
Автор: 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.
Название: 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.
Автор: Jell Название: Component-Based Software Engineering ISBN: 0521648211 ISBN-13(EAN): 9780521648219 Издательство: Cambridge Academ Рейтинг: Цена: 10136.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book, first published in 1997, covers the most important topics in ComponentWare (TM) technology, based in large part on the first Component Users Conference. It addresses such issues as componentware platforms, component design and architecture, distributed object computing, componentware languages, patterns and frameworks, interoperability, and debugging and testing.
Автор: 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.
Описание: Part: Keynote.- Software Quality Assurance by Static Program Analysis.- Part: Software Process Improvement and Measurement.- An Industry Ready Defect Causal Analysis Approach Exploring Bayesian Networks.- Business Intelligence in Software Quality Monitoring: Experiences and Lessons Learnt from an Industrial Case Study (Short Paper).- Dealing with Technical Debt in Agile Development Projects (Short Paper).- Part: Requirements Management.- Statistical Analysis of Requirements Prioritization for Transition to Web Technologies: A Case Study in an Electric Power Organization.- Challenges and Solutions in Global Requirements Engineering - A Literature Survey (Short Paper).- Automated Feature Identification in Web Applications (Short Paper).- Part: Value-Based Software Engineering.- Value-Based Migration of Legacy Data Structures.- Part: Software and Systems Testing.- An Integrated Analysis and Testing Methodology to Support Model-Based Quality Assurance.- Effects of Test-Driven Development: A Comparative Analysis of Empirical Studies (Short Paper).- Isolated Testing of Software Components in Distributed Software Systems (Short Paper).- Part: Automation-Supported Testing.- Automated Test Generation for Java Generics (Short Paper).- Constraint-Based Automated Generation of Test Data (Short Paper).- Part: Quality Assurance and Collaboration.- RUP Alignment and Coverage Analysis of CMMI ML2 Process Areas for the Context of Software Projects Execution (Short Paper).- Directing High-Performing Software Teams: Proposal of a Capability-Based Assessment Instrument Approach (Short Paper).
Автор: 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.
Автор: Alla Kravets; Maxim Shcherbakov; Marina Kultsova; Название: Knowledge-Based Software Engineering ISBN: 3319118536 ISBN-13(EAN): 9783319118536 Издательство: Springer Рейтинг: Цена: 13696.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th Joint Conference on Knowledge-Based Software-Engineering, JCKBSE 2014, held in Volgograd, Russia, in September 2014. knowledge-based methods and tools for testing, verification and validation, maintenance and evolution; knowledge-based requirements engineering, domain analysis and modeling;
Автор: Heinz G. Schmidt; Ivica Crnkovic; George T. Heinem Название: Component-Based Software Engineering ISBN: 354073550X ISBN-13(EAN): 9783540735502 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007, held in Medford, MA, USA in July 2007. This work contains papers that are organized in topical sections on component-based architectures and change, quality of service and runtime verification and monitoring.
Автор: Grace A. Lewis; Iman Poernomo; Christine Hofmeiste Название: Component-Based Software Engineering ISBN: 3642024130 ISBN-13(EAN): 9783642024139 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss component technology.
Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
