Domain Modelling for Interactive Systems Design, Alistair G. Sutcliffe; David Benyon

Автор: Tim Hussein; Heiko Paulheim; Stephan Lukosch; J?rg
Название: Semantic Models for Adaptive Interactive Systems
ISBN: 1447162382 ISBN-13(EAN): 9781447162384
Издательство: Springer
Рейтинг:
Цена: 88500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Providing insight into methodologies for designing adaptive systems based on semantic data, and introducing semantic models that can be used for building interactive systems, this book showcases applications made possible by the use of semantic models.

Автор: H. Ledgard; A. Singer; J. Whiteside
Название: Directions in Human Factors for Interactive Systems
ISBN: 3540105743 ISBN-13(EAN): 9783540105749
Издательство: Springer
Рейтинг:
Цена: 32600.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Fabio Patern?
Название: Engineering Interactive Systems 2008
ISBN: 3540859918 ISBN-13(EAN): 9783540859918
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the combined proceedings of the second working conference on Human-Centred Software Engineering (HCSE 2008) and the 6th International Workshop on Task Models and Diagrams (TAMODIA 2008); jointly held as EIS 2008, the international event on Engineering Interactive Systems, in Pisa, Italy, in September 2008.

Автор: Jan Gulliksen; Morten Borup Harning; Philippe Pala
Название: Engineering Interactive Systems
ISBN: 3540926976 ISBN-13(EAN): 9783540926979
Издательство: Springer
Рейтинг:
Цена: 111760.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction (EHCI 2007), the WG 13.2 First Conference on Human Centred Software Engineering (HCSE 2007), and the 14th Conference on Design Specification and Verification of Interactive Systems (DSV-IS 2007).

Автор: Tim Hussein; Heiko Paulheim; Stephan Lukosch; J?rg
Название: Semantic Models for Adaptive Interactive Systems
ISBN: 1447153006 ISBN-13(EAN): 9781447153009
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Providing insight into methodologies for designing adaptive systems based on semantic data, and introducing semantic models that can be used for building interactive systems, this book showcases applications made possible by the use of semantic models.

Автор: Erwin Rathgeb; Klaus Echtle; Bruno M?ller-Closterm
Название: Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance
ISBN: 3642121039 ISBN-13(EAN): 9783642121036
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes the refereed proceedings of the 15th International GI/ITG Conference on `Measurement, Modelling and Evaluation of Computing Systems` and `Dependability and Fault Tolerance`, held in Essen, Germany, in March 2010.

Автор: Mohammad-Reza Namazi-Rad; Lin Padgham; Pascal Pere
Название: Agent Based Modelling of Urban Systems
ISBN: 3319519565 ISBN-13(EAN): 9783319519562
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised, selected, and invited papers from the First International Workshop on Agent Based Modelling of Urban Systems, ABMUS 2016, held in conjunction with AAMAS 2016 in Singapore in May 2016. They were organized in topical sections named: urban systems modeling;

Автор: Achim Rettberg; Mauro C. Zanella; Michael Amann; M
Название: Analysis, Architectures and Modelling of Embedded Systems
ISBN: 364204283X ISBN-13(EAN): 9783642042836
Издательство: Springer
Рейтинг:
Цена: 113620.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the technical program of the International Embedded Systems Symposium (IESS) 2009. Embedded systems meet their performance goals, including real-time constraints, through a combination of special-purpose hardware and software components tailored to the system requirements.

Автор: John Krogstie; Andreas Lothe Opdahl; Sjaak Brinkke
Название: Conceptual Modelling in Information Systems Engineering
ISBN: 3642091725 ISBN-13(EAN): 9783642091728
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

This book compiles contributions from renowned researchers covering all aspects of conceptual modeling, on the occasion of Arne Solvberg's 67th birthday. Friends of this pioneer in information systems modeling contribute their latest research results from such fields as data modeling, goal-oriented modeling, agent-oriented modeling, and process-oriented modeling. The book reflects the most important recent developments and application areas of conceptual modeling, and highlights trends in conceptual modeling for the next decade.

Автор: Vaishnavi
Название: Design Science Research Methods and Patterns
ISBN: 1498715257 ISBN-13(EAN): 9781498715256
Издательство: Taylor&Francis
Рейтинг:
Цена: 112290.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Presenting innovative research methods, this second edition of a bestseller describes a simple and practical methodology for conducting cutting-edge design science research (DSR). It provides comprehensive guidance on how to conduct such research and supplies in-depth treatment of design science theory and the different types of theory that can be generated in design science research.

Making novel use of the concept of patterns, it presents 84 research patterns for conducting effective DSR. It emphasizes design science theory throughout and is filled with practical examples of using patterns to conduct information and communication technology research (ICT).

With a focus on reusing research activities to increase the effectiveness and efficiency of conducting design science research, the book relies on familiar patterns to provide the fundamentals of various research philosophies and techniques required to innovate ICT. It describes design science research in relation to other information systems research paradigms such as positivist and interpretivist research. New to this edition are relevant design science research patterns adapted from TRIZ, the widely regarded European engineering design and creativity method.

This edition also provides greatly expanded treatment of theory building in design science research (DSR), a topic of rapidly growing interest in addition to a new chapter presenting a framework for theory development in DSR. The book provides an expanded examination of patterns in DSR presented using a new pattern classification mechanism to group patterns with like functionality.

This book will be of value to those interested in learning to conduct design science research, particularly in the ICT disciplines the book focuses on.

Автор: Lecomte
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319339508 ISBN-13(EAN): 9783319339504
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.

Автор: Salim Chikhi; Abdelmalek Amine; Allaoua Chaoui; Mo
Название: Modelling and Implementation of Complex Systems
ISBN: 3319334093 ISBN-13(EAN): 9783319334097
Издательство: Springer
Рейтинг:
Цена: 149060.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volumeis a comprehensive collection of extended contributions from the fourthinternational symposium on Modeling and Implementing Complex Systems(MICS`2106) organized into four main topics: Networking and Cloud Computing,Software Engineering and Formal Methods, Intelligent and Information Systems,and Algorithms and Complexity.