Aerospace Medicine and Biology: A continuing bibliography with indexes (supplement 156)

This bibliography lists 170 reports, articles, and other documents introduced into the NASA scientific and technical information system in June 1976

Aerospace Medicine and Biology: A continuing bibliography with indexes, supplement 165, March 1977

This bibliography lists 198 reports, articles, and other documents introduced into the NASA scientific and technical information system in February 1977

Aerospace medicine and biology: A continuing bibliography with indexes (supplement 323)

This bibliography lists 125 reports, articles and other documents introduced into the NASA Scientific and Technical Information System during April, 1989. Subject coverage includes; aerospace medicine and psychology, life support systems and controlled environments, safety equipment exobiology and extraterrestrial life, and flight crew behavior and performance

Fluidic Technology and Some Recent Applications to Space and Oceanography

This paper is presented to show the degree of advancements that fluidic technology is making in various technical disciplines. Examples are used and discussed based on the many programs sponsored by the government. The references used here represent only a small percent of the total. Individuals with specific interests or applications can expand the reference list on the choosen subject to take advantage of the considerable amount of advanced research and development already completed

How to recognise a kick : A cognitive task analysis of drillers’ situation awareness during well operations

Acknowledgements This article is based on a doctoral research project of the first author which was sponsored by an international drilling rig operator. The views presented are those of the authors and should not be taken to represent the position or policy of the sponsor. The authors wish to thank the industrial supervisor and the drilling experts for their contribution and patience, as well as Aberdeen Drilling School for allowing the first author to attend one of their well control courses.Peer reviewedPostprin

A User-Centered View on Formal Methods: Interactive Support for Validation and Verification

International audienceDuring early phases of the development of an interactive system, future system properties are identified (through interaction with end users e.g. in the brainstorming and prototyping phases of the development process, or by re-quirements provided by other stakeholders) imposing re-quirements on the final system. Some of these properties rely on informal aspects of the system (e.g. satisfaction of users) and can be checked by questionnaires, while other ones require the use of formal methods. Whether these properties are specific to the application under development or generic to a class of applications, the verification of the presence of these properties in the system under construc-tion usually involve verification tools to process the formal description of the system. The usability [26] of these tools has a significant impact on the V&V phases which usually remains perceived as very resource consuming. This posi-tion paper proposes the application of action theory to iden-tify complex aspects of verification and exploits it for iden-tifying areas of improvement

Aerospace Medicine and Biology: A continuing bibliography (supplement 160)

This bibliography lists 166 reports, articles, and other documents introduced into the NASA scientific and technical information system in October 1976

Aerospace Medicine and Biology: A continuing bibliography with indexes (supplement 141)

This special bibliography lists 267 reports, articles, and other documents introduced into the NASA scientific and technical information system in April 1975