Architectural Design: Conception and Specification of Interactive Systems, Vissers Chris A., Pires Luнs Ferreira, Quartel Dick A. C.
Автор: Alistair G. Sutcliffe; David Benyon Название: Domain Modelling for Interactive Systems Design ISBN: 0792383168 ISBN-13(EAN): 9780792383161 Издательство: Springer Рейтинг: Цена: 167660.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This text brings together in one place contributions and late-1990s research results in this area. It serves as a reference, providing insight into research issues in the field.
Автор: Ryszard Janicki; Peter E. Lauer Название: Specification and Analysis of Concurrent Systems ISBN: 3642773397 ISBN-13(EAN): 9783642773396 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas developed in the last decade as one of a number ofmathematical approaches for conceptualizing and analyzingconcurrent and reactive systems.
Автор: Avi Parush Название: Conceptual Design for Interactive Systems ISBN: 0124199690 ISBN-13(EAN): 9780124199699 Издательство: Elsevier Science Рейтинг: Цена: 49390.00 T Наличие на складе: Поставка под заказ. Описание:
Conceptual Design for Interactive Systems: Designing for Performance and User Experience provides readers with a comprehensive guide to the steps necessary to take the leap from research and requirements to product design. The text presents a proven strategy for transforming research into a conceptual model, discussing the iterative process that allows users to build the essential foundation for a successful interactive system, while also taking the users' mental model into consideration.
Readers will gain a better understanding of the framework they need to perceive, understand, and experience their tasks and processes in the context of their products. The text is ideal for those seeking a proven, innovative strategy for meeting goals through intuitive and effective thinking.
Автор: El?d Knuth; E.J. Neuhold Название: Specification and Design of Software Systems ISBN: 3540122842 ISBN-13(EAN): 9783540122845 Издательство: Springer Рейтинг: Цена: 18630.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Eugenio Villar Название: Embedded Systems Specification and Design Languages ISBN: 9048178347 ISBN-13(EAN): 9789048178346 Издательство: Springer Рейтинг: Цена: 158380.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL`07), in September 2007. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages
Автор: Marcus Aaron, Rosenzweig Elizabeth Название: Design, User Experience, and Usability. Case Studies in Public and Personal Interactive Systems: 9th International Conference, Duxu 2020, Held as Part ISBN: 3030497569 ISBN-13(EAN): 9783030497569 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 9th International Conference on Design, User Experience, and Usability, DUXU 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in Copenhagen, Denmark, in July 2020.
Автор: V.S. Alagar; K. Periyasamy Название: Specification of Software Systems ISBN: 1447126440 ISBN-13(EAN): 9781447126447 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.
Автор: Egidio Astesiano; Hans-J?rg Kreowski; Bernd Krieg- Название: Algebraic Foundations of Systems Specification ISBN: 3642641512 ISBN-13(EAN): 9783642641510 Издательство: Springer Рейтинг: Цена: 97820.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch- er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab- stract data types and the formal development of first-order applicative pro- grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati- cally founded in universal algebra, category theory and logic.
Автор: Ji-Hyun Lee Название: Computer-Aided Architectural Design. "Hello, Culture " ISBN: 9811384096 ISBN-13(EAN): 9789811384097 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes selected papers of the 18th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2019, held in Daejeon, Republic of Korea, in June 2019.The 34 revised full papers presented were carefully reviewed and selected from 194 submissions. The papers are organized in topical sections on theory, methodology and practice of architectural and interior design; support systems for design decisions; tools, methods and implementation of urban design; rethinking space and spatial behavior; fabrication and materialization; and shape studies.
Автор: Vissers Название: Architectural Design ISBN: 3319432974 ISBN-13(EAN): 9783319432977 Издательство: Springer Рейтинг: Цена: 62410.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents a design methodology that is practically applicable to the architectural design of a broad range of systems. It is based on fundamental design concepts to conceive and specify the required functional properties of a system, while abstracting from the specific implementation functions and technologies that can be chosen to build the system. Abstraction and precision are indispensable when it comes to understanding complex systems and precisely creating and representing them at a high functional level. Once understood, these concepts appear natural, self-evident and extremely powerful, since they can directly, precisely and concisely reflect what is considered essential for the functional behavior of a system.The first two chapters present the global views on how to design systems and how to interpret terms and meta-concepts. This informal introduction provides the general context for the remainder of the book. On a more formal level, Chapters 3 through 6 present the main basic design concepts, illustrating them with examples. Language notations are introduced along with the basic design concepts. Lastly, Chapters 7 to 12 discuss the more intricate basic design concepts of interactive systems by focusing on their common functional goal. These chapters are recommended to readers who have a particular interest in the design of protocols and interfaces for various systems.The didactic approach makes it suitable for graduate students who want to develop insights into and skills in developing complex systems, as well as practitioners in industry and large organizations who are responsible for the design and development of large and complex systems. It includes numerous tangible examples from various fields, and several appealing exercises with their solutions.
Автор: Totten, Christopher W. Название: Architectural Approach to Level Design ISBN: 0815361378 ISBN-13(EAN): 9780815361374 Издательство: Taylor&Francis Рейтинг: Цена: 127600.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Thoroughly updated, this book discusses level design, the discipline of creating interactive game environments, with an emphasis on architectural principles. These principles can help level designers create meaningful user experiences and emotional responses for players..
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
