Download or read book Formal Models and Refinement for Graphical User Interface Design written by Judith Alyson Bowen and published by . This book was released on 2008 with total page 331 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Formal Description and Development of Graphical User Interfaces written by Weishi Zhang and published by Herbert Utz Verlag. This book was released on 1996 with total page 182 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Using Abstract State Machines to Model a Graphical User Interface System written by Ming (Mike) Su and published by . This book was released on 2006 with total page 262 pages. Available in PDF, EPUB and Kindle. Book excerpt: A graphical user interface (GUI) system is a visual tool for users to operate computer applications. In the software engineering world, verifying that the functions of a GUI system satisfy the perspective of users is one important goal. System modeling provides an opportunity to verify the functionality of the system before implementing it. In this thesis, we model the GUI system of the CoreASM language debugger based on the abstract state machine (ASM) paradigm, and give a formal specification to the GUI system. This GUI system model provides a formal mathematical foundation to specify the architecture and the function form of the GUI system and to specify the interactive actions between the users and the computer application (the CoreASM engine). The design approach in this work incorporates both object-oriented and task-oriented approaches. A process of level-wise refinement is used to solve particular design problems.
Download or read book User Interface Design written by Larry E. Wood and published by CRC Press. This book was released on 2018-05-04 with total page 328 pages. Available in PDF, EPUB and Kindle. Book excerpt: Although numerous sources document aspects of user-centered design, there are few references that consider how a designer transforms the information gathered about users and their work into an effective user interface design. This book explains just how designers bridge that gap. A group of leading experts in GUI design describe their methods in the context of specific design projects, and while the projects, processes, and methods vary considerably, the common theme is building a bridge between user requirements and user interface design.
Download or read book Program Development by Refinement written by Emil Sekerinski and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 352 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequences this has. How can we cope with such complexity in a satisfactory way? An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Once a specification is obtained from the set of requirements on the program, there can still be a large gap to an efficient implementation. The development from specification to implementation can then proceed by a succession oflayers, such that each layer is a refinement of the previous one. Design decisions can be introduced in refinement steps one at a time. By this, the refinement steps can be kept small and manageable. Still, the set of all requirements can be far too large to be taken completely into account in the initial specification. Even if they could, they might obscure issues more than clarify them. For example: • An information system for stored goods needs to produce an error message on il legal input. Yet, the exact wording - and even the language - of those messages is irrelevant for an understanding of the essence of the system. • A banking application interacts with customers with a graphical interface. Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.
Download or read book Model Driven Development of Advanced User Interfaces written by Heinrich Hussmann and published by Springer Science & Business Media. This book was released on 2011-01-16 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt: Model-Driven Development (MDD) has become an important paradigm in software development. It uses models as primary artifacts in the development process. This book provides an outstanding overview as well as deep insights into the area of model-driven development of user interfaces, which is an emerging topic in the intersection of Human-Computer-Interaction and Software-Engineering. The idea of this book is based on the very successful workshop series of “Model-Driven Development of Advanced User Interfaces (MDDAUI)”. It has been written by the leading researchers and practitioners in the field of model-driven development of user interfaces and offer a variety of solutions and examples for • Architectures and environments for the generation of user interfaces • User interface development for specific domains and purposes • Model-driven development in the context of ambient intelligence • Concepts supporting model-driven development of user interfaces
Download or read book Formal Methods in Human Computer Interaction written by Philippe Palanque and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 382 pages. Available in PDF, EPUB and Kindle. Book excerpt: Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful support in usability evaluation and obtaining more reliable implementations of user requirements. Its main aim is to compare the different approaches and examine which particular type of implementation and problem each one is best suited to. To enable the reader to compare and contrast the approaches as easily as possible, each one is applied to the same case study: the specification of an ideal Netscape-like web browser and html page server. The resulting volume will provide invaluable reading for final year undergraduate and postgraduate courses on user interfaces, user interface design, and applications of formal methods.
Download or read book Formal Methods for Components and Objects written by Bernhard Beckert and published by Springer. This book was released on 2013-01-05 with total page 363 pages. Available in PDF, EPUB and Kindle. Book excerpt: Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems.
Download or read book Computer Aided Design of User Interfaces III written by Christophe Kolski and published by Springer Science & Business Media. This book was released on 2002 with total page 410 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers the latest experiences of experts, research teams, and leading organisations involved in computer-aided design of user-interactive applications supported by software. Attention is paid specifically to platform-independent user interfaces, and context-sensitive or aware applications. This includes innovative model-based and agent-based approaches, code-generators, model editors, task animators, translators, checkers, advice-giving systems, and systems for graphical user interfaces. Audience: This volume will be of interest to software development practitioners and researchers whose work involves human-computer interaction, design of user interfaces, frameworks for computer-aided design, formal and semi-formal methods, web services and multimedia systems, interactive applications, and graphical user and multi-user interfaces.
Download or read book Usability Evaluation and Interface Design written by Michael J. Smith and published by CRC Press. This book was released on 2001-08-01 with total page 1610 pages. Available in PDF, EPUB and Kindle. Book excerpt: This three volume set provides the complete proceedings of the Ninth International Conference on Human-Computer Interaction held August, 2001 in New Orleans. A total of 2,738 individuals from industry, academia, research institutes, and governmental agencies from 37 countries submitted their work for presentation at the conference. The papers address the latest research and application in the human aspects of design and use of computing systems. Those accepted for presentation thoroughly cover the entire field of human-computer interaction, including the cognitive, social, ergonomic, and health aspects of work with computers. The papers also address major advances in knowledge and effective use of computers in a variety of diversified application areas, including offices, financial institutions, manufacturing, electronic publishing, construction, and health care.
Download or read book FM 2012 Formal Methods written by Dimitra Giannakopoulou and published by Springer. This book was released on 2012-08-21 with total page 503 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.
Download or read book People and Computers VII written by British Computer Society. Human Computer Interaction Specialist Group. Conference and published by Cambridge University Press. This book was released on 1992-10-22 with total page 596 pages. Available in PDF, EPUB and Kindle. Book excerpt: Covers topics like hypertext, multimedia and graphics. Essential for designers, researchers and manufacturers.
Download or read book Computational Science and Its Applications ICCSA 2017 written by Osvaldo Gervasi and published by Springer. This book was released on 2017-07-03 with total page 802 pages. Available in PDF, EPUB and Kindle. Book excerpt: The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.
Download or read book Formal Aspects of Component Software written by José Proença and published by Springer. This book was released on 2017-09-20 with total page 261 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
Download or read book Context Aware Systems and Applications written by Phan Cong Vinh and published by Springer. This book was released on 2017-04-10 with total page 217 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 5th International Conference on Context-Aware Systems and Applications, ICCASA 2016, held in Thu Dau Mot, Vietnam, in November 2016. The 22 revised full papers presented were carefully selected from 35 submissions and cover a wide spectrum in the area of Context-Aware-Systems (CAS). CAS is characterized by its self- facets such as self-organization, self-configuration, self-healing, self-optimization, self-protection, where context awareness used to dynamically control computing and networking functions. The overall goal of CAS is to realize nature-inspired autonomic systems that can manage themselves without direct human interventions.
Download or read book Handbook of Research on Embedded Systems Design written by Bagnato, Alessandra and published by IGI Global. This book was released on 2014-06-30 with total page 552 pages. Available in PDF, EPUB and Kindle. Book excerpt: As real-time and integrated systems become increasingly sophisticated, issues related to development life cycles, non-recurring engineering costs, and poor synergy between development teams will arise. The Handbook of Research on Embedded Systems Design provides insights from the computer science community on integrated systems research projects taking place in the European region. This premier references work takes a look at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases. This work will be invaluable to designers of embedded software, academicians, students, practitioners, professionals, and researchers working in the computer science industry.
Download or read book Formal Methods FM 2019 International Workshops written by Emil Sekerinski and published by Springer Nature. This book was released on 2020-08-12 with total page 523 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.
