the proceedings contains 99 papers. the following topics are dealt with: very large memories;new architectures;communications;special-purpose computers;operating systems;distributed programming and systems;computer-ai...
详细信息
the proceedings contains 99 papers. the following topics are dealt with: very large memories;new architectures;communications;special-purpose computers;operating systems;distributed programming and systems;computer-aided softwareengineering;softwareengineering;artificial intelligence;natural language processing;foundations of computer science;knowledge bases;databases;information technology;copyright and patent protection for software and interfaces;managing bibliographic data;computers in education;image processing;intelligent vehicle highway systems;and reactive systems.
ECSAM is a requirements engineering and modeling method for computer-based systems (CBS). It is practiced and enhanced since 1980 by large numbers of systems and software engineers. ECSAM was developed in part at Isra...
详细信息
ISBN:
(纸本)0769521258
ECSAM is a requirements engineering and modeling method for computer-based systems (CBS). It is practiced and enhanced since 1980 by large numbers of systems and software engineers. ECSAM was developed in part at israel Aircraft Industries for the analysis and design of complex reactive embedded systems and software. ECSAM guides the developers in systematic analysis and modeling of systems being developed and describing those using three consistent views;its conceptual architecture, operating modes, and system's capabilities. Each capability is further analyzed and described as a dynamic process. Using ECSAM it is possible to generate systematically the system's use cases and the resulting operational scenarios. the modeling technique is applicable in the analysis of systems and any level of subsystems. the method guides the developer in the derivation of the system requirements and their systematic allocation to and association withthe model's elements at the respective levels. ECSAM was the prime motive for the development of the Statecharts technology developed by Prof. David Harel as part of the method. the paper provides an overview of the ECSAM method, which is described in detail in a book that will be published in 2004 [1].
the seamless integration of software applications supporting business activities and field devices belonging to the plant floor is one of the great challenges of the IT world. this requires to build Internet scale dis...
详细信息
ISBN:
(纸本)9781424408504
the seamless integration of software applications supporting business activities and field devices belonging to the plant floor is one of the great challenges of the IT world. this requires to build Internet scale distributed systems in complex, heterogeneous environments characterized by stringent requirements regarding security and evolution. In this paper, we argue that softwareengineering tools are needed in order to facilitate the work of application developers. this paper presents the metamodels that were are the base of a specific tool, which automates SOC development for power distribution industry.
this paper will outline the nature of the standard, proven, widespread best practice of software Reliability engineering (SRE). It is widely applicable, low in cost, and its implementation has virtually no schedule im...
详细信息
this paper will outline the nature of the standard, proven, widespread best practice of software Reliability engineering (SRE). It is widely applicable, low in cost, and its implementation has virtually no schedule impact. SRE helps you develop and test more reliable software faster and cheaper. We will show how it does this, and we will present some resources that will help you learn more about it.
softwaresystems need to evolve continuously in order to avoid becoming less useful. However, repeated changes in the software may impede the inner quality of the system. Modularity is considered an important aspect o...
详细信息
the author describes a semiformal process model for technology transfer at Ferranti computersystems. Experience has shown that satisfactory transition takes place only when staff members move from one group to the ne...
详细信息
ISBN:
(纸本)0818620269
the author describes a semiformal process model for technology transfer at Ferranti computersystems. Experience has shown that satisfactory transition takes place only when staff members move from one group to the next either withthe technology or withthe problem.< >
this paper addresses the need to increase the effectiveness and productivity of independent verification and validation (IV&V) of complex system-of-systemssoftware via software reuse. It builds upon our previous ...
详细信息
暂无评论