A State Space Model Of Some Cognitive Aspects Of Software Design
Download A State Space Model Of Some Cognitive Aspects Of Software Design full books in PDF, epub, and Kindle. Read online free A State Space Model Of Some Cognitive Aspects Of Software Design ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author | : Paul A. Bailes |
Publisher | : |
Total Pages | : 38 |
Release | : 1991 |
Genre | : Cognition |
ISBN | : |
Abstract: "Lack of knowledge about the paradigms or schemata that expert programmers use when they design and implement software is undermining progress in programming research, pedagogy, and practice. In an attempt to provide a basis for reconciling past cognitive research on software design and to establish a foundation for future research, this paper provides a formal model of the problem solving processes that underlie the software design process. The model is rooted in well- established, state-space concepts of problem solving. We show how existing cognitive models of software design can be integrated using the model and describe some directions in which future research might proceed based on the model."
Author | : P. Bailes |
Publisher | : |
Total Pages | : 38 |
Release | : 1996 |
Genre | : |
ISBN | : |
Author | : D.M. Mark |
Publisher | : Springer Science & Business Media |
Total Pages | : 509 |
Release | : 2012-12-06 |
Genre | : Science |
ISBN | : 9401126062 |
This book contains twenty-eight papers by participants in the NATO Advanced Study Institute (ASI) on "Cognitive and Linguistic Aspects of Geographic Space," held in Las Navas del Maxques, Spain, July 8-20, 1990. The NATO ASI marked a stage in a two-year research project at the U. S. National Center for Geographic Infonnation and Analysis (NCOIA). In 1987, the U. S. National Science Foundation issued a solicitation for proposals to establish the NCGIA-and one element of that solicitation was a call for research on a "fundamental theory of spatial relations". We felt that such a fundamental theory could be searched for in mathematics (geometry, topology) or in cognitive science, but that a simultaneous search in these two seemingly disparate research areas might produce novel results. Thus, as part of the NCGIA proposal from a consortium consisting of the University of California at Santa Barbara, the State University of New York at Buffalo, and the University of Maine, we proposed that the second major Research Initiative (two year, multidisciplinary research project) of the NCOIA would address these issues, and would be called "Languages of Spatial Relations" The grant to establish the NCOIA was awarded to our consortium late in 1988.
Author | : Theodor Wyeld |
Publisher | : Springer |
Total Pages | : 243 |
Release | : 2015-04-13 |
Genre | : Computers |
ISBN | : 3319169408 |
This book constitutes the thoroughly refereed post-conference proceedings of the 25th Australian Conference on Computer-Human Interaction, OzCHI 2013, held in Adelaide, SA, Australia, in November 2013. The 11 revised extended papers were carefully reviewed and selected from 192 submissions and cover topics on multi-dimensional interaction; video gaming; spatial learning; and physical spatial interaction.
Author | : John Millar Carroll |
Publisher | : CUP Archive |
Total Pages | : 356 |
Release | : 1991-06-28 |
Genre | : Computers |
ISBN | : 9780521409216 |
Designing Interaction, first published in 1991, presents a broadbased and fundamental re-examination of human-computer interaction as a practical and scientific endeavor. The chapters in this well-integrated, tightly focused book are by psychologists and computer scientists in industry and academia, who examine the relationship between contemporary psychology and human-computer interaction. HCI seeks to produce user interfaces that facilitate and enrich human motivation, action and experience; but to do so deliberately it must also incorporate means of understanding user interfaces in human terms - the province of psychology. Conversely, the design and use of computing equipment provides psychologists with a diverse and challenging empirical field in which to assess their theories and methodologies.
Author | : Markus Roggenbach |
Publisher | : Springer Nature |
Total Pages | : 538 |
Release | : 2022-06-22 |
Genre | : Computers |
ISBN | : 303038800X |
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book. Topics and features: Explains foundations, and introduces specification, verification, and testing methods Explores various application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods. Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan. Bernd-Holger Schlingloff is a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin. Gerardo Schneider is a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg. Siraj Ahmed Shaikh is a Professor in the Institute for Future Transport and Cities of Coventry University. The companion site for the book offers additional resources, including further material for selected chapters, prepared lab classes, a list of errata, slides and teaching material, and virtual machines with preinstalled tools and resources for hands-on experience with examples from the book. The URL is: https://sefm-book.github.io
Author | : Yingxu Wang |
Publisher | : CRC Press |
Total Pages | : 1488 |
Release | : 2007-08-09 |
Genre | : Computers |
ISBN | : 0203496094 |
A groundbreaking book in this field, Software Engineering Foundations: A Software Science Perspective integrates the latest research, methodologies, and their applications into a unified theoretical framework. Based on the author's 30 years of experience, it examines a wide range of underlying theories from philosophy, cognitive informatics, denota
Author | : United States. National Aeronautics and Space Administration |
Publisher | : |
Total Pages | : 756 |
Release | : 1986 |
Genre | : |
ISBN | : |
Author | : T.L. Nyerges |
Publisher | : Springer Science & Business Media |
Total Pages | : 455 |
Release | : 2012-12-06 |
Genre | : Science |
ISBN | : 9401101035 |
A significant part of understanding how people use geographic information and technology concerns human cognition. This book provides the first comprehensive in-depth examination of the cognitive aspects of human-computer interaction for geographic information systems (GIS). Cognitive aspects are treated in relation to individual, group, behavioral, institutional, and cultural perspectives. Extensions of GIS in the form of spatial decision support systems and SDSS for groups are part of the geographic information technology considered. Audience: Geographic information users, systems analysts and system designers, researchers in human-computer interaction will find this book an information resource for understanding cognitive aspects of geographic information technology use, and the methods appropriate for examining this use.
Author | : Amrita Basu |
Publisher | : Springer Nature |
Total Pages | : 570 |
Release | : 2021-09-21 |
Genre | : Computers |
ISBN | : 3030860620 |
This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Diagrams, Diagrams 2021, held virtually in September 2021. The 16 full papers and 25 short papers presented together with 16 posters were carefully reviewed and selected from 94 submissions. The papers are organized in the following topical sections: design of concrete diagrams; theory of diagrams; diagrams and mathematics; diagrams and logic; new representation systems; analysis of diagrams; diagrams and computation; cognitive analysis; diagrams as structural tools; formal diagrams; and understanding thought processes. 10 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.