Описание: This book presentshigh-quality original contributions on new software engineering models,approaches, methods, and tools and their evaluation in the context of defenceand security applications.
Автор: Roger Lee Название: Software Engineering Research, Management and Applications ISBN: 3319613871 ISBN-13(EAN): 9783319613871 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book gathers 12 of the most promising papers presented at the 15th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2017) held on June 7-9, 2017 at the University of Greenwich, London, UK.
Автор: Boulanger, Jean-Louis Название: Certifiable Software Applications 3 ISBN: 1785481193 ISBN-13(EAN): 9781785481192 Издательство: Elsevier Science Рейтинг: Цена: 22570.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Certifiable Software Applications, 3: Downward Cycle describes the descending phase of the creation of a software application, detailing the specification phases, architecture, design and coding, along with important concepts on modeling and implementation.
For coding, code generation strategies and/or manual code production are explored. As the application is coded, a presentation of programming languages and their impact on certifiability is presented.
Describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding
Presents valuable programming examples
Includes a presentation of programming languages and their impact on certifiability
Автор: Bernhard Thalheim; Klaus-Dieter Schewe; Andreas Pr Название: Correct Software in Web Applications and Web Services ISBN: 3319171119 ISBN-13(EAN): 9783319171111 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability;
Описание: Containing the final report of the work carried out in the project KORSO ("Korrekte Software"), the papers in this volume are organized into five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies.
Автор: Roland Meyer; Andr? Platzer; Heike Wehrheim Название: Correct System Design ISBN: 3319235052 ISBN-13(EAN): 9783319235059 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is dedicated to Professor Ernst--Rudiger Olderog on the occasion of his 60th birthday. After a laudatio section that provides a brief overview of Ernst- Rudiger Olderog`s research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog.
Автор: Tiziana Margaria; Tom Melham Название: Correct Hardware Design and Verification Methods ISBN: 3540425411 ISBN-13(EAN): 9783540425410 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of papers that offer topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.
Описание: This book book explores the ways that elaborate flux functions can be constructed, mainly in a one-dimensional context for hyperbolic systems admitting shock-type solutions and also for kinetic equations in the discrete-ordinate approximation.
Автор: Roger Lee Название: Software Engineering Research, Management and Applications ISBN: 3319112643 ISBN-13(EAN): 9783319112640 Издательство: Springer Рейтинг: Цена: 19591.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This edited book presents scientific results of the 12th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2014) held on August 31 - September 4, 2014 in Kitakyushu, Japan.
Автор: Roger Lee Название: Software Engineering Research, Management and Applications ISBN: 3319009478 ISBN-13(EAN): 9783319009476 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Security Certification Model for Mobile.- On Formalising Policy Refinement in Grid Virtual Organisations.- Exploring a Model-Oriented and Executable Syntax for UML Attributes.- A Case Study in Defect Measurement and Root Cause Analysis in a Turkish Software Organization.- Extending UML/MARTE-GRM For Integrating Tasks Migrations In Class Diagrams.- Towards a Protocol Algebra based on Algebraic Specifications.- A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification.- An Empirical Study on the Relationship between User Characteristics and Quality Factors for Effective Shopping Mall Websites Implementation.- Improving Code Generation for Associations: Enforcing Multiplicity Constraints and Ensuring Referential Integrity.- How Process Enactment Data Affects Product Defectiveness Prediction - A Case Study.- Modeling Business and Requirements Relationships for Architectural Pattern Selection.- Introducing Critical Thinking to Software Engineering Education.- Activity Diagrams Patterns for Modeling Business.- S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-oriented Processes.- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas.- Repository-Centric Process Modeling Example of a Pattern Based Development Process.- Applying CBD to Build Mobile Service Applications.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
