In this paper, we will describe the validation process of operational products for SEIS instrument, aboard InSight mission. Starting explaining the instrument commanding concept and the operational needs, we will prog...
详细信息
This paper discusses the design and specification of a general purpose operating system for the proposed All Application Digital Computer. The objective is to develop a system which is relatively hardware independent,...
详细信息
This paper discusses the design and specification of a general purpose operating system for the proposed All Application Digital Computer. The objective is to develop a system which is relatively hardware independent, adaptable, comprehensive, maintainable and functional in a multipro- cessing, multiprogramming environment. The operating System model is defined by using the techniques of structured programming, Decision Hiding, and Multi-Level Hierarchical Ordering. An initial set of functional requirements and system constraints are postulated from which additional functions are defined and assigned to modules for further specification. The modules are grouped into two classes; system processes which provide services to applications pro- grams such as input/output operations, and primitives which allow for the dynamic creation and control of processes as well as the interprocess communications. Finally, formal parameter specifications are developed which identify the module interfaces, functions, and proposed implementation.
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already assume a useful form of such a model c...
详细信息
ISBN:
(纸本)9781595938114
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already assume a useful form of such a model can be created from data collected during development, such as expertise recommenders that use information about who has changed each file to suggest who might answer questions about particular parts of a system. In this paper, we report on an empirical study that investigates whether a programmer's activity can be used to build a model of what a programmer knows about a code base. In this study, nineteen professional Java programmers completed a series of questionnaires about the code on which they were working. These questionnaires were generated automatically and asked about program elements a programmer had worked with frequently and recently and ones that he had not. We found that a degree of interest model based on this frequency and recency of interaction can often indicate the parts of the code base for which the programmer has knowledge. We also determined a number of factors that may be used to improve the model, such as authorship of program elements, the role of elements, and the task being performed. Copyright 2007 ACM.
This thesis deals with the design of a Navy battle group logistics simulation system to support battle group logistics coordinators. BGLCSS 2.0, the Battle Group Logistics Coordinator Support System, was designed and ...
详细信息
This thesis deals with the design of a Navy battle group logistics simulation system to support battle group logistics coordinators. BGLCSS 2.0, the Battle Group Logistics Coordinator Support System, was designed and developed using a structured programming paradigm. A subset of BGLCSS 2.0 was then designed using an object-oriented programming paradigm. We present the components of each of these designs in C and C++. Our approach was to compare and critique these two designs with respect to the extent to which their respective programming paradigms meet the software goals of software reusability and ease of program extension and maintenance. We designed the graphical user interface using TAE Plus which generated code in both C and C++. This mechanism provides an easy way to transport the interface from a C implementation to a C++ implementation in the future. The design of this real world Navy tactical decision aid clearly demonstrate the problems associated with using structured programming paradigm and the benefits of using an object-oriented programming paradigm, especially for large systems.
Dijkstra suggests in his "Notes on structured programming" that program schema and theorems about their correctness may describe the way that programmers understand programming. This paper follows up his sug...
详细信息
Besides the Church-Rosser property (here called full), three other commutativity properties of transformations (the mutual, inner and strong Church-Rosser property) are also defined, which are less restrictive than th...
详细信息
NASA Technical Reports Server (Ntrs) 19960017266: an Object-Oriented Approach to Writing Computational Electromagnetics Codes by NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 19960017266: an Object-Oriented Approach to Writing Computational Electromagnetics Codes by NASA Technical Reports Server (Ntrs); published by
structured programming emphasizes programming language constructs such as while loops, until loops, and if then else statements. Properly used, these constructs make occurrences of loops and branching of control obvio...
详细信息
With the advent of multi-processor machines, the time has definitively come to use new programming models that offer an improved support of concurrency. While various interesting new models have been recently presente...
详细信息
ISBN:
(纸本)9781595939227
With the advent of multi-processor machines, the time has definitively come to use new programming models that offer an improved support of concurrency. While various interesting new models have been recently presented for concurrent and structured programming, no appropriate runtime systems currently exists. Therefore, we have developed our own new operating system which has been particularly optimized for high-performance execution of such programs. Copyright 2007 ACM concurrency, memory management, hierarchical composition, message communication.
Software engineering is presented as a new branch of the engineering disciplines. The tools and techniques of the profession are examined in an attempt to resolve definitional ambiguities and describe the concepts or ...
详细信息
Software engineering is presented as a new branch of the engineering disciplines. The tools and techniques of the profession are examined in an attempt to resolve definitional ambiguities and describe the concepts or attitudes generally associated with three specific programming methodologies. Language properties supportive of the methodologies are investigated. The professional tools and language characteristics are evaluated in terms of their effect on DOD software.
暂无评论