Proceedings includes 50 papers dealing with recent innovations, theory and application of computer software engineering. The papers are organized in sessions covering, among others, software environments, abstract mod...
详细信息
Proceedings includes 50 papers dealing with recent innovations, theory and application of computer software engineering. The papers are organized in sessions covering, among others, software environments, abstract models, lfe cycle considerations, analysis of testing methods, real-time software design, human engineering, program testing, data abstraction, requirements engineering, concurrent systems, interactive systems, programming tools, and program decomposition. Topics discussed include data base systems, computerprogramminglanguages, computerarchitecture and the use of computers for aircraft design and the manufacture of integrated circuits. Forty-nine papers are abstracted and indexed separately.
Proceedings includes 53 papers (4 appear in abstract form only) presented in 25 sessions dealing with various aspects of productivity and its associated measures, human factors quality assurance, experience with tools...
详细信息
Proceedings includes 53 papers (4 appear in abstract form only) presented in 25 sessions dealing with various aspects of productivity and its associated measures, human factors quality assurance, experience with tools, computer software and hardware, education, mathematical models, data base systems, standards, tool evaluation, management, office automation, the role played by the US Dept of Defense, software product quality as well as computerarchitecture. Topics covered include: programminglanguages, integrated circuits, image processing, industrial engineering and hierarchical control. Technical and professional papers from this conference are indexed with the conference code no. 00118 in the Ei Engineering Meetings (TM) database produced by Engineering Information, Inc.
PROCEEDINGS INCLUDES 195 PAPERS OF WHICH SIX ARE PRESENTED ONLY IN THE FORM OF AN ABSTRACT OR SUMMARY. THE MATERIAL IS DIVIDED INTO ABOUT 40 SECTIONS DEALING WITH SYSTEM DESIGN, INERTIAL SYSTEMS, MICROcomputerS, SURVI...
详细信息
PROCEEDINGS INCLUDES 195 PAPERS OF WHICH SIX ARE PRESENTED ONLY IN THE FORM OF AN ABSTRACT OR SUMMARY. THE MATERIAL IS DIVIDED INTO ABOUT 40 SECTIONS DEALING WITH SYSTEM DESIGN, INERTIAL SYSTEMS, MICROcomputerS, SURVIVABILITY, SOFTWARE MANAGEMENT, ALL ELECTRIC AIRCRAFT, LASER GYROS, AIR NAVIGATION,computerarchitecture, COMMUNICATIONS, KALMAN FILTERS, AIRCRAFT CONTROL, TECHNOLOGY IN MEDICINE, FIRE CONTROL, COST ESTIMATION OF SOFTWARE, EMC, SIGNAL PROCESSING, ELECTRONIC MAPPING, AIR TRAFFIC CONTROL, AEROSPACE POWER SYSTEMS, DIGITAL PROCESSING, HIGH-ORDER languages, FAULT ISOLATION, COCKPIT DISPLAYS, AIR CREW TRAINING SOFTWARE, AND AVIONICS TESTABILITY. TOPICS CONSIDERED INCLUDE: MILITARY AIRCRAFT, AVIONICS, TWT'S, BIOMEDICAL ENGINEERING, RADAR, MICROPROCESSORS, PHASE MODULATION, SPACE SHUTTLES, HELICOPTERS, AIRCRAFT INSTRUMENTS, AIR TRANSPORTATION, computerarchitecture AND programming,computer SIMULATION, LIGHTNING PROTECTION, DISPLAY SYSTEMS,COMMUNICATION SATELLITES, AIRCRAFT INSTRUMENTATION, AIR TRANSPORTATION, SPACECRAFT, AND PERSONNEL TRAINING. TECHNICAL AND PROFESSIONAL PAPERS FROM THIS conference ARE INDEXED WITHTHE conference CODE NO. 01320 IN THE EI ENGINEERING MEETINGS (TM) DATABASE PRODUCED BY ENGINEERING INFORMATION, INC.
The proceedings contain 30 papers. The special focus in this conference is on Graphtheoretic Concepts in computer Science. The topics include: Graph grammars and the complexity gap in the isomorphism problem for acycl...
ISBN:
(纸本)9783540102915
The proceedings contain 30 papers. The special focus in this conference is on Graphtheoretic Concepts in computer Science. The topics include: Graph grammars and the complexity gap in the isomorphism problem for acyclic digraphs;issues in the study of graph embeddings;schema hypergraphs:A formalism to investigate logical data base design;the use of transitively irreducible kernels of full families of functional dependencies in logical data base design;graph algorithms for the synthesis and manipulation of data base schemes;the analysis of search trees: A survey;a framework for data structures;investigating programs in terms of partial graphs;an observation concerning the complexity of problems with few solutions and its application to cryptography;series of graphs generated by rational machines;Bounding the bandwidth of NP-complete problems;the complexity of path problems in graphs and path systems of bounded bandwidth;a comparison between Petri-nets and graph grammars;a graph grammar representation of nonsequential processes;reachability homomorphisms on nets;a birds eye view to path problems;the Chinese postman problem for mixed graphs;alternating cycle covers and paths;generating all planar 0-,1-,2-,3-connected graphs;optimal (s,t)-cuts;on linearizing graphs;f-factors, perfect matchings and related concepts;set-theoretic concepts in programminglanguages and their implementation;graph rewriting and automatic, machine-independent program optimization;properties of ordered graph grammars;the power of a one-dimensional vector of processors;a new data structure for representing sorted lists;on the use of some almost sure graph properties.
This paper describes an alternative approach to software architecture, where the classical division of responsibilities between operating systems, programminglanguages and compilers, etc. is revised. The alternative ...
详细信息
This paper describes an alternative approach to software architecture, where the classical division of responsibilities between operating systems, programminglanguages and compilers, etc. is revised. The alternative is organized as a set of self-contained environments which are able to communicate pieces of software between them, and whose internal structure is predominantly descriptive and declarative. The base structure within each environment (its diversified shell) is designed so that it can accommodate such arriving software modules.
SIMULA language has been designed as a general-purpose programming tool and is particularly offered for describing and efficiently simulating large-scale systems. Such simulation models are usually characterized by in...
详细信息
SIMULA language has been designed as a general-purpose programming tool and is particularly offered for describing and efficiently simulating large-scale systems. Such simulation models are usually characterized by inherent parallelism, which reflects corresponding activities of the system. This kind of natural parallelism remains unexploited by the implementation of the SIMULA language in a uniprocessor machine. The authors have critically assessed SIMULA, and present a scheme that aims towards implementing SIMULA programs in a multiprocessor environment. This scheme establishes a parallel structure to replace the existing quasiparallel SIMULA mechanism. The approach is based on the nature of SIMULA classes and the process interactions. An appropriate process interaction structure is proposed. This structure makes it possible to overcome such problems as mutual exclusion, deadlock, and synchronization. Further, an executive algorithm is outlined to guarantee the correct flow of processes in a multiprocessor environment.
暂无评论