Clive L.N. Ruggles – författare

3. 1 What are formal methods? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. 2 A survey of formal methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3. 2. 1 FDTs and FSLs for sequential software . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3. 2. 1. 1 VDM (Vienna Development Method). . . . . . . . . . . . . . . . . . . . . 19 3. 2. 1. 2 Z. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 3 me too . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 4 HOS and AXES. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 5 Gist. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 6 Clear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 7 OBJ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 8 ACT ONE and ACT TWO. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 9 CIP-L. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 10 LPG. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 11 Larch. . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 12 Logic languages-the Prolog family. . . . . . . . . . . . . . . . . . . 22 3. 2. 1. 13 Functional languages. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3. 2. 2 FDTs and FSLs for concurrent software. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3. 2. 2. 1 LOTOS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3. 2. 2. 2 Estelle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3. 2. 2. 3 SDL. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3. 2. 2. 4 ASN. l . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3. 2. 2. 5 TTCN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 2. 6 Gypsy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 3 Graphical formalisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 3. 1 Petri nets. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 3. 2 Higraphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 4 Less formal methods and notations . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 1 SADT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 2 Structured Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 3 SSADM and LSDM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 4 JSPandJSD. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 5 HDM and the SPECIAL language . . . . . . . . . . . . . . . . . . . . . . . . . . 27 3. 2. 4. 6 Structured analysis and design of real-time systems. . 27 3. 3 Support tools for FDTs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

How human communities interpret what they perceive in the sky is vital in fulfilling humankind’s most basic need to comprehend the universe it inhabits, both from a modern scientific perspective and from countless other cultural standpoints, extending right back to early prehistory. Archaeoastronomy, which is concerned with cultural perceptions and understandings of astronomical phenomena, is a rich cross-disciplinary field. The central aim of “Handbook of Archaeoastronomy” is to provide a reliable source for theory, method, interpretation and best practices that will give a definitive picture of the state of the art research in this field for serious scholars regardless of the discipline(s) in which they are qualified. It will be equally suitable for those already contributing to the field and those interested in entering it. Also included are studies in ethnoastronomy, which is concerned with contemporary practices related to astronomy, particularly among modern indigenous societies. A major part of this MRW is comprised of a set of wide-ranging archaeoastronomical case studies both geographically and through time, stretching right back to Palaeolithic days, and also in terms of the types of human society and nature of their astronomical ideas and practices. However, these are chosen in order to best illuminate broader issues and themes, rather than to attempt, for example, to provide systematic coverage of recent ‘discoveries.’ Thematic articles cover general themes such as cosmologies, calendars, navigation, orientations and alignments, and ancient perceptions of space and time. They also highlight various aspects of the social context of astronomy (its relationship to social power, warfare, etc) and how we interpret astronomical practices within the framework of conceptual approaches. There are also discussions of broad issues such as ethnocentrism, nationalism, and astronomical dating. The “methods and practices” articles cover topicsfrom field methodology and survey procedures to social theory, as well as providing broad definitions and explanations of key concepts. We are also including a number of “disciplinary perspectives” on approaches to archaeoastronomy written by leading figures in the constituent fields. These articles cover material that, generally speaking, would be familiar to graduates in the relevant discipline but, critically, not so to those with different backgrounds.

How human communities interpret what they perceive in the sky is vital in fulfilling humankind’s most basic need to comprehend the universe it inhabits, both from a modern scientific perspective and from countless other cultural standpoints, extending right back to early prehistory. Archaeoastronomy, which is concerned with cultural perceptions and understandings of astronomical phenomena, is a rich cross-disciplinary field. The central aim of “Handbook of Archaeoastronomy” is to provide a reliable source for theory, method, interpretation and best practices that will give a definitive picture of the state of the art research in this field for serious scholars regardless of the discipline(s) in which they are qualified. It will be equally suitable for those already contributing to the field and those interested in entering it. Also included are studies in ethnoastronomy, which is concerned with contemporary practices related to astronomy, particularly among modern indigenous societies. A major part of this MRW is comprised of a set of wide-ranging archaeoastronomical case studies both geographically and through time, stretching right back to Palaeolithic days, and also in terms of the types of human society and nature of their astronomical ideas and practices. However, these are chosen in order to best illuminate broader issues and themes, rather than to attempt, for example, to provide systematic coverage of recent ‘discoveries.’ Thematic articles cover general themes such as cosmologies, calendars, navigation, orientations and alignments, and ancient perceptions of space and time. They also highlight various aspects of the social context of astronomy (its relationship to social power, warfare, etc) and how we interpret astronomical practices within the framework of conceptual approaches. There are also discussions of broad issues such as ethnocentrism, nationalism, and astronomical dating. The “methods and practices” articles cover topicsfrom field methodology and survey procedures to social theory, as well as providing broad definitions and explanations of key concepts. We are also including a number of “disciplinary perspectives” on approaches to archaeoastronomy written by leading figures in the constituent fields. These articles cover material that, generally speaking, would be familiar to graduates in the relevant discipline but, critically, not so to those with different backgrounds.

An authoritative introduction to the fascinating topic of archaeoastronomy—ancient peoples' understanding and use of the skies.Ancient Astronomy: An Encyclopedia of Cosmologies and Myth draws on archaeological evidence and oral traditions to reveal how prehistoric humans perceived the skies and celestial phenomena. With over 200 entries, it offers a number of ways to approach ancient astronomy, from key examples and case studies worldwide (Stonehenge; Mexican and Egyptian pyramids; Chaco Canyon, New Mexico; the Nazca lines in Peru) to general themes (cosmologies, calendars, ancient ideas of space and time, origin myths), to fundamental concepts and methods (how the sky has changed over the centuries, how to survey a site), and to the field's most frequently asked questions (How did ancient peoples navigate the ocean using the stars? How does astrology relate to ancient astronomy? Can ancient sites be dated astronomically?)By revealing the astronomical significance of some of the world's most famous ancient landmarks and enduring myths and by showing how different themes and concepts are connected, Ancient Astronomy: An Encyclopedia of Cosmologies and Myth brings a unique authoritative perspective to an area too often left to speculation and sensationalism.

An authoritative introduction to the fascinating topic of archaeoastronomy—ancient peoples' understanding and use of the skies.Ancient Astronomy: An Encyclopedia of Cosmologies and Myth draws on archaeological evidence and oral traditions to reveal how prehistoric humans perceived the skies and celestial phenomena. With over 200 entries, it offers a number of ways to approach ancient astronomy, from key examples and case studies worldwide (Stonehenge; Mexican and Egyptian pyramids; Chaco Canyon, New Mexico; the Nazca lines in Peru) to general themes (cosmologies, calendars, ancient ideas of space and time, origin myths), to fundamental concepts and methods (how the sky has changed over the centuries, how to survey a site), and to the field's most frequently asked questions (How did ancient peoples navigate the ocean using the stars? How does astrology relate to ancient astronomy? Can ancient sites be dated astronomically?)By revealing the astronomical significance of some of the world's most famous ancient landmarks and enduring myths and by showing how different themes and concepts are connected, Ancient Astronomy: An Encyclopedia of Cosmologies and Myth brings a unique authoritative perspective to an area too often left to speculation and sensationalism.