ESA Data Specifications Development Plan (Revised) Version 1.1; May 2001

Total Page:16

File Type:pdf, Size:1020Kb

ESA Data Specifications Development Plan (Revised) Version 1.1; May 2001 v1.9.7 April 2004 OCGI ESA Data Improvement Programme Data Specification Table of Contents 1 Executive Summary ....................................................................................... 1-1 2 Introduction .................................................................................................... 2-1 2.1 Background .............................................................................................. 2-1 2.2 Goal.......................................................................................................... 2-1 2.3 Target Audience for ESA Core Data Specification................................... 2-1 2.4 Development of ESA Core Data Specification ......................................... 2-2 2.5 Project Scope ........................................................................................... 2-2 2.6 Requirement for Metadata........................................................................ 2-3 2.7 Reference Documents.............................................................................. 2-4 2.8 Related Initiatives ..................................................................................... 2-7 2.9 Conformance to ESA Core Data Specification......................................... 2-7 3 Approach Taken to Develop the Specification ............................................ 3-1 3.1 Development Phases ............................................................................... 3-1 3.2 Unified Modelling Language (UML).......................................................... 3-5 3.3 CASE Tools.............................................................................................. 3-5 3.4 Alignment with International Standards.................................................... 3-5 3.5 Use Case Scenario Testing...................................................................... 3-6 3.6 Specification Change Management Process............................................ 3-7 4 ESA Feature Catalogue.................................................................................. 4-1 4.1 Introduction to Feature Catalogue............................................................ 4-1 4.2 Feature Catalogue.................................................................................... 4-2 5 ESA Core Data Application Schema............................................................. 5-1 5.1 Introduction to Application Schema.......................................................... 5-1 5.2 Guide to Application Schema ................................................................... 5-1 5.3 Main Elements of the ESA Core Data Application Schema. .................... 5-7 6 ESA Quality Measures ................................................................................... 6-1 6.1 Introduction to Quality Measures.............................................................. 6-1 6.2 Guide to Quality Measure Descriptions.................................................... 6-2 6.3 Main Quality Components ........................................................................ 6-3 7 ESA Reference System.................................................................................. 7-1 7.1 General..................................................................................................... 7-1 7.2 Transformation from New Zealand Map Grid Projection .......................... 7-1 8 ESA Metadata ................................................................................................. 8-1 8.1 Introduction to ESA Metadata .................................................................. 8-1 8.2 Guide to ESA Metadata Specification ...................................................... 8-3 8.3 Main Metadata Elements.......................................................................... 8-5 8.4 Alignment to NZGLS .............................................................................. 8-14 Appendix A – ESA Core Data Application Schema ................................................1 Appendix B – Full ESA Metadata Specification ......................................................1 UML Class Diagrams ...............................................................................................2 Informative Tables..................................................................................................16 ESA Metadata Extensions to ISO 19115 ...............................................................31 Appendix C – ESA Metadata Implementation Example..........................................1 Appendix D - CodeLists from ISO 19115 .................................................................1 B.5 CodeLists and enumerations .............................................................................1 Appendix E - Glossary of Terms...............................................................................1 Appendix F - Detailed ESA Quality Measures Descriptions ..................................1 Completeness ..........................................................................................................2 Conceptual Consistency ..........................................................................................3 Domain Consistency ................................................................................................4 Topological Consistency ..........................................................................................5 Officials’ Committee on Geospatial Information April 2004 Land Information New Zealand National Topographic Hydrographic Authority © Crown Copyright TH Standard 53 File: esa_dataset_specificationv1.9.7.doc Last SaveDate 23/04/04 08:26 Version: 1.9.7 Page i OCGI ESA Data Improvement Programme Data Specification Absolute External Positional Accuracy.....................................................................6 Gridded Data Positional Accuracy ...........................................................................7 Relative Internal Positional Accuracy.......................................................................8 Temporal Validity .....................................................................................................9 Thematic Classification Correctness......................................................................10 Attribute Correctness .............................................................................................11 Appendix G – Reference System Metadata Details ................................................1 New Zealand Geodetic Datum 2000 ........................................................................1 New Zealand Transverse Mercator Projection.........................................................2 Appendix H- Contributors to ESA Core Data Specification ...................................1 Bibliography ...............................................................................................................1 Officials’ Committee on Geospatial Information April 2004 Land Information New Zealand National Topographic Hydrographic Authority © Crown Copyright TH Standard 53 File: esa_dataset_specificationv1.9.7.doc Last SaveDate 23/04/04 08:26 Version: 1.9.7 Page ii OCGI ESA Data Improvement Programme Data Specification Version Control Version Date Type of Change(s) Who 0.1 31/07/01 initial draft NP 0.2 31/07/01 Addition of more material (Approach) NP 1.0 2/08/01 Inclusion of Appendices A & B NP 1.1 14/08/01 Inclusion of Appendices C & D & revision to Sections 5 -7 NP 1.2 20/08/01 Restructure following 14 August Workshop NP 1.3 21/08/01 Addition of guide sections to Sections 4 & 5 NP 1.6 10/09/01 Incorporate review comments NP 1.9 01/10/01 New Application Schema, Feature Catalogue & Metadata NP example. Published for approval. 1.9a 13/11/01 Approved version: added cover, approvals & hyperlink RM 1.9b 01/12/02 Hyperlinks added for: NP Version 1.9.5 updates NP Version 1.9.6 updates PvB 1.9.7 16/04/04 Selected chapters & appendices updated following publication of Version 0.8 of ISO 19139 (Metadata Implementation), and to harmonise with the draft April 2004 version of the NZ Geospatial Metadata Standard. • Version 1.9.7 updates. Changes occurred in Chapters 6 and 8, and in Appendices B, C, D and F. Minor changes elsewhere. Officials’ Committee on Geospatial Information April 2004 Land Information New Zealand National Topographic Hydrographic Authority © Crown Copyright TH Standard 53 File: esa_dataset_specificationv1.9.7.doc Last SaveDate 23/04/04 08:26 Version: 1.9.7 Page iii OCGI ESA Data Improvement Programme Data Specification 1 Executive Summary The preparation of this data specification is Stage II of the ESA Data Improvement Programme and this work has been undertaken under the framework of the Officials’ Committee on Geospatial Information (OCGI). The scope of this specification is the core, common, minimum and adequate dataset necessary to support the “locate and verify” function in both emergency service organisations and government administration generally. This data will be known as the ESA (Emergency Services and Government Administration) Dataset Series data. The development of the ESA Core Data Specification was undertaken under the framework of the Officials’ Committee on Geospatial Information (OCGI) and was Stage II of the ESA data improvement programme. Stage I Stage II Stage III Stage IV Stage V develop pilot with design selection progressively develop core & of TA’s engage business geospatial build data to confirm remaining TAs case delivery methods & maintain standards
Recommended publications
  • 5. Data Types
    IEEE FOR THE FUNCTIONAL VERIFICATION LANGUAGE e Std 1647-2011 5. Data types The e language has a number of predefined data types, including the integer and Boolean scalar types common to most programming languages. In addition, new scalar data types (enumerated types) that are appropriate for programming, modeling hardware, and interfacing with hardware simulators can be created. The e language also provides a powerful mechanism for defining OO hierarchical data structures (structs) and ordered collections of elements of the same type (lists). The following subclauses provide a basic explanation of e data types. 5.1 e data types Most e expressions have an explicit data type, as follows: — Scalar types — Scalar subtypes — Enumerated scalar types — Casting of enumerated types in comparisons — Struct types — Struct subtypes — Referencing fields in when constructs — List types — The set type — The string type — The real type — The external_pointer type — The “untyped” pseudo type Certain expressions, such as HDL objects, have no explicit data type. See 5.2 for information on how these expressions are handled. 5.1.1 Scalar types Scalar types in e are one of the following: numeric, Boolean, or enumerated. Table 17 shows the predefined numeric and Boolean types. Both signed and unsigned integers can be of any size and, thus, of any range. See 5.1.2 for information on how to specify the size and range of a scalar field or variable explicitly. See also Clause 4. 5.1.2 Scalar subtypes A scalar subtype can be named and created by using a scalar modifier to specify the range or bit width of a scalar type.
    [Show full text]
  • Occam 2.1 Reference Manual
    occam 2.1 reference manual SGS-THOMSON Microelectronics Limited May 12, 1995 iv occam 2.1 REFERENCE MANUAL SGS-THOMSON Microelectronics Limited First published 1988 by Prentice Hall International (UK) Ltd as the occam 2 Reference Manual. SGS-THOMSON Microelectronics Limited 1995. SGS-THOMSON Microelectronics reserves the right to make changes in specifications at any time and without notice. The information furnished by SGS-THOMSON Microelectronics in this publication is believed to be accurate, but no responsibility is assumed for its use, nor for any infringement of patents or other rights of third parties resulting from its use. No licence is granted under any patents, trademarks or other rights of SGS-THOMSON Microelectronics. The INMOS logo, INMOS, IMS and occam are registered trademarks of SGS-THOMSON Microelectronics Limited. Document number: 72 occ 45 03 All rights reserved. No part of this publication may be reproduced, stored in a retrival system, or transmitted in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, without prior permission, in writing, from SGS-THOMSON Microelectronics Limited. Contents Contents v Contents overview ix Preface xi Introduction 1 Syntax and program format 3 1 Primitive processes 5 1.1 Assignment 5 1.2 Communication 6 1.3 SKIP and STOP 7 2 Constructed processes 9 2.1 Sequence 9 2.2 Conditional 11 2.3 Selection 13 2.4 WHILE loop 14 2.5 Parallel 15 2.6 Alternation 19 2.7 Processes 24 3 Data types 25 3.1 Primitive data types 25 3.2 Named data types 26 3.3 Literals
    [Show full text]
  • Floating-Point Exception Handing
    ISO/IEC JTC1/SC22/WG5 N1372 Working draft of ISO/IEC TR 15580, second edition Information technology ± Programming languages ± Fortran ± Floating-point exception handing This page to be supplied by ISO. No changes from first edition, except for for mechanical things such as dates. i ISO/IEC TR 15580 : 1998(E) Draft second edition, 13th August 1999 ISO/IEC Foreword To be supplied by ISO. No changes from first edition, except for for mechanical things such as dates. ii ISO/IEC Draft second edition, 13th August 1999 ISO/IEC TR 15580: 1998(E) Introduction Exception handling is required for the development of robust and efficient numerical software. In particular, it is necessary in order to be able to write portable scientific libraries. In numerical Fortran programming, current practice is to employ whatever exception handling mechanisms are provided by the system/vendor. This clearly inhibits the production of fully portable numerical libraries and programs. It is particularly frustrating now that IEEE arithmetic (specified by IEEE 754-1985 Standard for binary floating-point arithmetic, also published as IEC 559:1989, Binary floating-point arithmetic for microprocessor systems) is so widely used, since built into it are the five conditions: overflow, invalid, divide-by-zero, underflow, and inexact. Our aim is to provide support for these conditions. We have taken the opportunity to provide support for other aspects of the IEEE standard through a set of elemental functions that are applicable only to IEEE data types. This proposal involves three standard modules: IEEE_EXCEPTIONS contains a derived type, some named constants of this type, and some simple procedures.
    [Show full text]
  • Mark Vie Controller Standard Block Library for Public Disclosure Contents
    GEI-100682AC Mark* VIe Controller Standard Block Library These instructions do not purport to cover all details or variations in equipment, nor to provide for every possible contingency to be met during installation, operation, and maintenance. The information is supplied for informational purposes only, and GE makes no warranty as to the accuracy of the information included herein. Changes, modifications, and/or improvements to equipment and specifications are made periodically and these changes may or may not be reflected herein. It is understood that GE may make changes, modifications, or improvements to the equipment referenced herein or to the document itself at any time. This document is intended for trained personnel familiar with the GE products referenced herein. Public – This document is approved for public disclosure. GE may have patents or pending patent applications covering subject matter in this document. The furnishing of this document does not provide any license whatsoever to any of these patents. GE provides the following document and the information included therein as is and without warranty of any kind, expressed or implied, including but not limited to any implied statutory warranty of merchantability or fitness for particular purpose. For further assistance or technical information, contact the nearest GE Sales or Service Office, or an authorized GE Sales Representative. Revised: July 2018 Issued: Sept 2005 © 2005 – 2018 General Electric Company. ___________________________________ * Indicates a trademark of General
    [Show full text]
  • Adaptivfloat: a Floating-Point Based Data Type for Resilient Deep Learning Inference
    ADAPTIVFLOAT:AFLOATING-POINT BASED DATA TYPE FOR RESILIENT DEEP LEARNING INFERENCE Thierry Tambe 1 En-Yu Yang 1 Zishen Wan 1 Yuntian Deng 1 Vijay Janapa Reddi 1 Alexander Rush 2 David Brooks 1 Gu-Yeon Wei 1 ABSTRACT Conventional hardware-friendly quantization methods, such as fixed-point or integer, tend to perform poorly at very low word sizes as their shrinking dynamic ranges cannot adequately capture the wide data distributions commonly seen in sequence transduction models. We present AdaptivFloat, a floating-point inspired number representation format for deep learning that dynamically maximizes and optimally clips its available dynamic range, at a layer granularity, in order to create faithful encoding of neural network parameters. AdaptivFloat consistently produces higher inference accuracies compared to block floating-point, uniform, IEEE-like float or posit encodings at very low precision (≤ 8-bit) across a diverse set of state-of-the-art neural network topologies. And notably, AdaptivFloat is seen surpassing baseline FP32 performance by up to +0.3 in BLEU score and -0.75 in word error rate at weight bit widths that are ≤ 8-bit. Experimental results on a deep neural network (DNN) hardware accelerator, exploiting AdaptivFloat logic in its computational datapath, demonstrate per-operation energy and area that is 0.9× and 1.14×, respectively, that of equivalent bit width integer-based accelerator variants. (a) ResNet-50 Weight Histogram (b) Inception-v3 Weight Histogram 1 INTRODUCTION 105 Max Weight: 1.32 105 Max Weight: 1.27 Min Weight: -0.78 Min Weight: -1.20 4 4 Deep learning approaches have transformed representation 10 10 103 103 learning in a multitude of tasks.
    [Show full text]
  • DRAFT1.2 Methods
    HL7 v3.0 Data Types Specification - Version 0.9 Table of Contents Abstract . 1 1 Introduction . 2 1.1 Goals . 3 DRAFT1.2 Methods . 6 1.2.1 Analysis of Semantic Fields . 7 1.2.2 Form of Data Type Definitions . 10 1.2.3 Generalized Types . 11 1.2.4 Generic Types . 12 1.2.5 Collections . 15 1.2.6 The Meta Model . 18 1.2.7 Implicit Type Conversion . 22 1.2.8 Literals . 26 1.2.9 Instance Notation . 26 1.2.10 Typus typorum: Boolean . 28 1.2.11 Incomplete Information . 31 1.2.12 Update Semantics . 33 2 Text . 36 2.1 Introduction . 36 2.1.1 From Characters to Strings . 36 2.1.2 Display Properties . 37 2.1.3 Encoding of appearance . 37 2.1.4 From appearance of text to multimedial information . 39 2.1.5 Pulling the pieces together . 40 2.2 Character String . 40 2.2.1 The Unicode . 41 2.2.2 No Escape Sequences . 42 2.2.3 ITS Responsibilities . 42 2.2.4 HL7 Applications are "Black Boxes" . 43 2.2.5 No Penalty for Legacy Systems . 44 2.2.6 Unicode and XML . 47 2.3 Free Text . 47 2.3.1 Multimedia Enabled Free Text . 48 2.3.2 Binary Data . 55 2.3.3 Outstanding Issues . 57 3 Things, Concepts, and Qualities . 58 3.1 Overview of the Problem Space . 58 3.1.1 Concept vs. Instance . 58 3.1.2 Real World vs. Artificial Technical World . 59 3.1.3 Segmentation of the Semantic Field .
    [Show full text]
  • Handwritten Digit Classication Using 8-Bit Floating Point Based Convolutional Neural Networks
    Downloaded from orbit.dtu.dk on: Apr 10, 2018 Handwritten Digit Classication using 8-bit Floating Point based Convolutional Neural Networks Gallus, Michal; Nannarelli, Alberto Publication date: 2018 Document Version Publisher's PDF, also known as Version of record Link back to DTU Orbit Citation (APA): Gallus, M., & Nannarelli, A. (2018). Handwritten Digit Classication using 8-bit Floating Point based Convolutional Neural Networks. DTU Compute. (DTU Compute Technical Report-2018, Vol. 01). General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. Handwritten Digit Classification using 8-bit Floating Point based Convolutional Neural Networks Michal Gallus and Alberto Nannarelli (supervisor) Danmarks Tekniske Universitet Lyngby, Denmark [email protected] Abstract—Training of deep neural networks is often con- In order to address this problem, this paper proposes usage strained by the available memory and computational power. of 8-bit floating point instead of single precision floating point This often causes it to run for weeks even when the underlying which allows to save 75% space for all trainable parameters, platform is employed with multiple GPUs.
    [Show full text]
  • Maconomy Restful Web Services
    Maconomy RESTful Web Services Programmer’s Guide 2015 Edited by Rune Glerup While Deltek has attempted to verify that the information in this document is accurate and complete, some typographical or technical errors may exist. The recipient of this document is solely responsible for all decisions relating to or use of the information provided herein. The information contained in this publication is effective as of the publication date below and is subject to change without notice. This publication contains proprietary information that is protected by copyright. All rights are reserved. No part of this document may be reproduced or transmitted in any form or by any means, electronic or mechanical, or translated into another language, without the prior written consent of Deltek, Inc. This edition published April 2015. © 2015 Deltek Inc. Deltek’s software is also protected by copyright law and constitutes valuable confidential and proprietary information of Deltek, Inc. and its licensors. The Deltek software, and all related documentation, is provided for use only in accordance with the terms of the license agreement. Unauthorized reproduction or distribution of the program or any portion thereof could result in severe civil or criminal penalties. All trademarks are the property of their respective owners. ii ©Deltek Inc., All Rights Reserved Contents 1 Introduction1 1.1 The Container Abstraction..........................1 1.1.1 Card panes...............................1 1.1.2 Table panes...............................1 1.1.3 Filter panes...............................2 1.2 REST......................................2 1.2.1 Resources................................3 1.2.2 Hyperlinks...............................3 1.2.3 Other Styles of Web Services.....................3 1.2.4 Further Reading............................4 1.3 Example.....................................4 1.4 curl.......................................8 2 Basics 9 2.1 JSON and XML................................9 2.2 Language...................................
    [Show full text]
  • 60-140 1. Overview of Computer Systems Overview of Computer
    60-140 Introduction to Algorithms and Programming I 1. Overview of Computer Systems FALL 2015 Computers are classified based on their generation and INSTRUCTOR: DR. C.I. EZEIFE Everybody knows that the type. WORLD’S COOLEST The architecture of different generations of computers STUDENTS TAKE 60-141400 differ with advancement in technology. Changes in computer equipment have gone through four generations namely: • First Generation Computers (1945-1955): Bulky, SCHOOL OF COMPUTER SCIENCE, expensive, consumed a lot of energy because main UNIVERSITY OF WINDSOR electronic component was vacuum tube. Pro- gramming was in machine language and wiring up plug boards. 60-140 Dr. C.I. Ezeife © 2015 Slide 1 60-140 Dr. C.I. Ezeife © 2015 Slide 2 Overview of Computer Systems Overview of Computer Systems Second Generation Computers (1955-1965): Basic electronic components became transistors. Prog- ramming in High level language with punched cards. Third Generation Computers (1965-1980): Basic technology became integrated circuit (I Cs) allowing many transistors on a silicon chip. Faster, cheaper and smaller in size, e.g., IBM system 360. Fourth Generation (1980-1990): Personal Computers came to use. Technology in use is large scale Vacuum Tube, Transistor, an LSI chip integration(LSI). Support for network and GUI. Higher Generations: Use of VLSI technology. 60-140 Dr. C.I. Ezeife © 2015 Slide 3 60-140 Dr. C.I. Ezeife © 2015 Slide 4 1 Types of Computers Types of Computers implementing powerful virtual computing processing powers Computers belong to one of these types based on their like grid and cloud computing. Grid computing applies size, processing power, number of concurrent users resources of many computers to a single problem (European Data Grid) while cloud computing is used for Internet based supported and their cost.
    [Show full text]
  • Data Types and Instruction Set of 8087
    Data Types and Instruction Set of 8087 �Internally, all data operands are converted to the 80-bit temporary real format. We have 3 types. •Integer data type •Packed BCD data type •Real data type Coprocessor data types Integer Data Type Packed BCD Real data type Example �Converting a decimal number into a Floating-point number. 1) Converting the decimal number into binary form. 2) Normalize the binary number 3) Calculate the biased exponent. 4) Store the number in the floating-point format. Example Step Result 1) 100.25 2) 1100100.01 = 1.10010001 * 26 3) 110+01111111=10000101 4 ) Sign = 0 Exponent =10000101 Significand = 10010001000000000000000 •In step 3 the biased exponent is the exponent a 26 or 110,plus a bias of 01111111(7FH) ,single precision no use 7F and double precision no use 3FFFH. •IN step 4 the information found in prior step is combined to form the floating point no. INSTRUCTION SET �The 8087 instruction mnemonics begins with the letter F which stands for Floating point and distinguishes from 8086. �These are grouped into Four functional groups. �The 8087 detects an error condition usually called an exception when it executing an instruction it will set the bit in its Status register. Types I. DATA TRANSFER INSTRUCTIONS. II. ARITHMETIC INSTRUCTIONS. III. COMPARE INSTRUCTIONS. IV. TRANSCENDENTAL INSTRUCTIONS. (Trigonometric and Exponential) I Data Transfers Instructions: � REAL TRANSFER FLD Load real FST Store real FSTP Store real and pop FXCH Exchange registers � INTEGER TRANSFER FILD Load integer FIST Store in teger FISTP Store integer and pop �PACKED DECIMAL TRANSFER(BCD) FBLD Load BCD FBSTP Store BCD and pop Example �FLD Source- Decrements the stack pointer by one and copies a real numbe r from a stack element or memory location to the new ST.
    [Show full text]
  • Generate Db Documentation from Db Schema
    Generate Db Documentation From Db Schema Multangular and Rhenish Marshal strowing while syntonic Britt doping her platysma pliably and forefeeling hirebelievingly. sneakingly Hyphenated or attitudinize and unshowered deathy when Len Salmon ligate is his engrained. bandoliers mud debated out-of-hand. Tenanted Brandon Database queries are carried out in threads, including related objects, if you are collecting tribe data from various data sources you may need to have a repository or an additional database to ingest the data. But if you are not interested in the forum module, scalable solution, or zero for the default changelist. The user can make your database schema reports more friendly by adding notes for your objects in automatic or manual mode. Deleting a database detaches the forests that are attached to it, passionate, but we also hold the same sort of impressions about ourselves. The maturational process and the facilitating environment. Conditional by default, we are exposed to the idea of the self from our parents and other figures. Define format that is expected, Robin will work on a feature that requires altering the User table. Revise these settings depending on your nodes sizing requirements. Buying a copy supports me writing more about similar topics. The development of congruence is dependent on unconditional positive regard. We believe development must be an enjoyable and creative experience to be truly fulfilling. Whose self is it anyway? Need to tell us more? Use caution when adjusting the merge parameters or using merge blackouts, bringing it from whatever point it is in the history to the latest version.
    [Show full text]
  • PART III Basic Data Types
    PART III Basic Data Types 186 Chapter 7 Using Numeric Types Two kinds of number representations, integer and floating point, are supported by C. The various integer types in C provide exact representations of the mathematical concept of “integer” but can represent values in only a limited range. The floating-point types in C are used to represent the mathematical type “real.” They can represent real numbers over a very large range of magnitudes, but each number generally is an approximation, using a limited number of decimal places of precision. In this chapter, we define and explain the integer and floating-point data types built into C and show how to write their literal forms and I/O formats. We discuss the range of values that can be stored in each type, how to perform reliable arithmetic computations with these values, what happens when a number is converted (or cast) from one type to another, and how to choose the proper data type for a problem. We would like to think of numbers as integer values, not as patterns of bits in memory. This is possible most of the time when working with C because the language lets us name the numbers and compute with them symbolically. Details such as the length (in bytes) of the number and the arrangement of bits in those bytes can be ignored most of the time. However, inside the computer, the numbers are just bit patterns. This becomes evident when conditions such as integer overflow occur and a “correct” formula produces a wrong and meaningless answer.
    [Show full text]