Trends and Applications in Software Engineering, Jezreel Mejia; Mirna Mu?oz; ?lvaro Rocha; Tomas Sa
Автор: Roger Lee; Naohiro Ishii Название: Software Engineering Research, Management and Applications 2009 ISBN: 3642054404 ISBN-13(EAN): 9783642054402 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 2009 SERA Conference covered theory and practice in many areas of software engineering including formal methods and tools, requirements engineering, computer security, database retrieval and more. This book offers 17 papers voted as best of the conference.
Автор: Beyer Betsy, Jones Chris, Petoff Jennifer Название: Site Reliability Engineering: How Google Runs Production Systems ISBN: 149192912X ISBN-13(EAN): 9781491929124 Издательство: Wiley Рейтинг: Цена: 7602.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.
Автор: Thayer Название: Software engineering project management ISBN: 0818680008 ISBN-13(EAN): 9780818680007 Издательство: Wiley Рейтинг: Цена: 16782.00 р. Наличие на складе: Поставка под заказ.
Описание: Newly revised for 2001, this second edition of Richard Thayer's popular, bestselling book presents a top-down, practical view of managing a successful software engineering project. The book builds a framework for project management activities based on the planning, organizing, staffing, directing, and controlling model. Thayer provides information designed to help you understand and successfully perform the unique role of a project manager.
This book is a must for all project managers in the software field. The text focuses on the five functions of general management by first describing each function and then detailing the project management activities that support each function. This second edition shows you how to manage a software development project, discusses current software engineering management methodologies and techniques, and presents general descriptions and project management problems. The book serves as a guide for your future project management activities. The text also offers students sufficient background and instructional material to serve as a main or supplementary text for a course in software engineering project management.
Note: The 2001 revision includes a new Chapter 4 Introduction and a new paper that replaces an older paper.
Автор: Roger Lee; Naohiro Ishii Название: Software Engineering Research, Management and Applications 2009 ISBN: 3642261108 ISBN-13(EAN): 9783642261107 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 2009 SERA Conference covered theory and practice in many areas of software engineering including formal methods and tools, requirements engineering, computer security, database retrieval and more. This book offers 17 papers voted as best of the conference.
Автор: Roger Lee; Alain Abran; Olga Ormandjieva; Constant Название: Software Engineering Research, Management and Applications 2010 ISBN: 3642422462 ISBN-13(EAN): 9783642422461 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Towards Autonomic Specification of Distributed MARF with ASSL: Self-healing.- Repairing Service Compositions in a Changing World.- Remote Automated User Testing: First Steps toward a General-Purpose Tool.- Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach.- Code Generation for Autonomic Systems with ASSL.- A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications.- Development of Mobile Location-Based Systems with Component.- A New Compound Metric for Software Risk Assessment.- Towards a Tool Support for Specifying Complex Software Systems by Categorical Modeling Language.- A Survey on the Importance of Some Economic Factors in the Adoption of Open Source Software.- Verification of the Correctness in Composed UML Behavioural Diagrams.- Development of Mobile Agent on CBD.- Aspect-Oriented Modeling for Representing and Integrating Security Concerns in UML.- Study of One Dimensional Molecular Properties Using Python.- Comparing the Estimation Performance of the EPCU Model with the Expert Judgment Estimation Approach Using Data from Industry.- Investigating the Capability of Agile Processes to Support Life-Science Regulations: The Case of XP and FDA Regulations with a Focus on Human Factor Requirements.
Название: 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.
Описание: This volume of Springer`s Studies in Computational Intelligence features a dozen outstanding papers from SERA 2011, covering a range of key topics that take in theory, applications and tools, as well as ways in which practical challenges have been overcome.
Описание: This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.
Описание: This book features papers from the ACIS SERA 2012 conference. It examines the theory, applications and tools of software engineering research, management and applications. It also discusses practical challenges and offers solutions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
