MCC's software technology program (STP) has a dual mission: to create tools and methodologies to assist development teams in the design of large, complex, distributed software systems, and to ensure the widespread...
详细信息
MCC's software technology program (STP) has a dual mission: to create tools and methodologies to assist development teams in the design of large, complex, distributed software systems, and to ensure the widespread diffusion of these technologies within STP shareholder organizations. STP has developed a comprehensive set of traditional technology transfer methods; although these methods make it possible to communicate research results successfully to shareholder receptors, they have spurred little actual use of released technology. STP has recently reevaluated its approach to technology transfer and discovered how it can be better accomplished-by fostering collaboration as its chief agent, rather than by depending on traditional transfer-and-feedback mechanisms. The authors describe the evolution of this new approach and present some of the results of collaborative experiences to date. It is found that collaborations revitalize research and that they empower STP's shareholders to affect the directions of that research.< >
Requirements research has not had much effect in industry. A more appropriate research agenda would focus on several communication problems that plague requirements. Seven challenges are identified. All but one call f...
Raddle is a language for designing large, distributed systems. Raddle includes several high-level design constructs, such as the N-party interaction, non-deterministic choice, and system modularity structures. These c...
详细信息
Raddle is a language for designing large, distributed systems. Raddle includes several high-level design constructs, such as the N-party interaction, non-deterministic choice, and system modularity structures. These constructs have proven useful in projects we have undertaken with MCC Shareholders. This paper describes the Vanna project, in which the goal is to build preprocessors to various programming languages that allow the expression of Raddle-like designs in a compilable language. Our first preprocessor will be based on Ada.
Requirements research has not had much effect in industry. A more appropriate research agenda would focus on several communication problems that plague requirements. Seven challenges are identified. All but one call f...
详细信息
ISBN:
(纸本)9780818623202
Requirements research has not had much effect in industry. A more appropriate research agenda would focus on several communication problems that plague requirements. Seven challenges are identified. All but one call for the development of improved methodology and enabling technologies rather than power tools or exotic languages.< >
The goal of formal methods is to base the software development process upon a workable set of mathematical techniques. The common names associated with various subclasses of formal methods express both the purpose and...
详细信息
The goal of formal methods is to base the software development process upon a workable set of mathematical techniques. The common names associated with various subclasses of formal methods express both the purpose and mode of the technique; formal specification, mathematical verification, proofs of correctness, formal description languages, rigorous development methods, stepwise refinement, etc. North American and European research groups took different technical directions. The author provides the perspective of one US researcher who has been particularly influenced by the international forces shaping the formal methods field as both a technical subject and a social enterprise.< >
作者：
KING, JFBARTON, DEJ. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston
Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston
Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr
A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several know...
详细信息
A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several known alternatives need to be rapidly evaluated. A problem inherent in rapid prototyping is the lack of a "target system" with which to interface. Some alternatives are to develop test driver libraries, integrate the prototype with an existing working simulator, or build one for the specific problem. This paper presents a unique approach to concept development using rapid prototyping for concept development and scenario-based simulation for concept verification. The rapid prototyping environment, derived from artificial intelligence technology, is based on a blackboard architecture. The rapid prototype simulation capability is provided through an object-oriented modeling environment. It is shown how both simulation and blackboard technologies are used collectively to rapidly gain insight into a tenacious problem. A specific example will be discussed where this approach was used to evolve the logic of a mission controller for an autonomous underwater vehicle.
暂无评论