9,255 research outputs found
The syntax of DRAGOON: Evaluation and recommendations
Several different ways to add linguistic support for object-oriented programming to the Ada programming language have been proposed and developed in recent years. The Distributable Reusable Ada Generated from an Object-Oriented Notation (DRAGOON) language is one such Ada extension. The DRAGOON syntax is described for classes, objects, and inheritance, and the syntax is evaluated against the following five criteria: readability, writeability, lack of ambiguity, ease of translation, and consistency with existing Ada syntax. The evaluation reveals several deficiencies in the notation. A revised syntax that corrects these deficiencies is proposed
The Role of Trust and Interaction in GPS Related Accidents: A Human Factors Safety Assessment of the Global Positioning System (GPS)
The Global Positioning System (GPS) uses a network of orbiting and geostationary satellites to calculate the position of a receiver over time. This technology has revolutionised a wide range of safety-critical industries and leisure applications ranging from commercial fisheries through to mountain running. These systems provide diverse benefits; supplementing the users existing navigation skills and reducing the uncertainty that often characterises many route planning tasks. GPS applications can also help to reduce workload by automating tasks that would otherwise require finite cognitive and perceptual resources. However, the operation of these systems has been identified as a contributory factor in a range of recent accidents. Users often come to rely on GPS applications and, therefore, fail to notice when they develop faults or when errors occur in the other systems that use the data from these systems. Further accidents can stem from the ‘over confidence’ that arises when users assume automated warnings will be issued when they stray from an intended route. Unless greater attention is paid to the human factors of GPS applications then there is a danger that we will see an increasing number of these failures as positioning technologies are integrated into increasing numbers of application
The Second NASA Formal Methods Workshop 1992
The primary goal of the workshop was to bring together formal methods researchers and aerospace industry engineers to investigate new opportunities for applying formal methods to aerospace problems. The first part of the workshop was tutorial in nature. The second part of the workshop explored the potential of formal methods to address current aerospace design and verification problems. The third part of the workshop involved on-line demonstrations of state-of-the-art formal verification tools. Also, a detailed survey was filled in by the attendees; the results of the survey are compiled
Towards Understanding the DO-178C / ED-12C Assurance Case
This paper describes initial work towards building an explicit assurance case for DO-178C / ED-12C. Two specific questions are explored: (1) What are some of the assumptions upon which the guidance in the document relies, and (2) What claims are made concerning test coverage analysis
Reexamining the Racial Record of Abraham Lincoln
Since his death in 1865 Abraham Lincoln has been universally honored in black America. In many black homes and businesses, his photograph often hangs in honor next to the one of Martin Luther King Jr. But a new book by Ebony editor Lerone Bennett Jr. contends that Lincoln was a crude bigot who told demeaning darky jokes, had an unquenchable thirst for minstrel shows, consistently used the word nigger, and supported efforts to ship Negroes back to Africa.
As Jack E. White pointed out in a recent Time magazine article, this book largely has been ignored by the mainstream press. The book was not reviewed in The Washington Post, The New Yorker, The Chicago Tribune, or USA Today.
JBHE [Journal of Blacks in Higher Education] asked a group of leading Lincoln scholars for their opinions of the Bennett book and the controversy surrounding its publication. Here are the replies
- …