Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems最新文献_第6页

Evaluating hardware design principles for the development of computer based systems 评估基于计算机系统开发的硬件设计原则

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494525

M. Brielmann, F. Rammig

引用次数: 2

Software assessment to support certification for an existing computer-based system 软件评估以支持现有电脑系统的认证

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494528

Steven McDonnell, B. Melhart

引用次数: 3

Data integration for military systems engineering 军事系统工程中的数据集成

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494504

N. Hoang, M. Jenkins, N. Karangelen

引用次数: 15

Using scenarios to systematically support goal-directed elaboration for information system requirements 使用场景系统地支持目标导向的信息系统需求细化

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494543

E. Kavakli, P. Loucopoulos, D. Filippidou

{"title":"Using scenarios to systematically support goal-directed elaboration for information system requirements","authors":"E. Kavakli, P. Loucopoulos, D. Filippidou","doi":"10.1109/ECBS.1996.494543","DOIUrl":"https://doi.org/10.1109/ECBS.1996.494543","url":null,"abstract":"Recent requirements engineering research, recognises that successful system development relies upon the ability to model and understand the intentional structure of the organisational and business environment within which an IS is intended to operate. The importance of establishing and maintaining explicit links between information systems requirements and business goals is further emphasised by recent research in the areas of business re-engineering, systems evolution and change management. The paper presents our approach for deriving and supporting decisions about system requirements based on the teleological paradigm. In this approach requirements for a new system are seen as the fulfilment or operationalisation of organisational and business goals. In contrast to conventional goal-oriented approaches in which requirements are derived by high level goals by a (mostly) top-down goal decomposition process, we perceive goal operationalisation as the iterative process of experimenting-in-action, using scenario generation techniques to refine enterprise goals to a level at which they have an operational definition.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123089411","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 33

Systems theories and architectures for ECBS ECBS的系统理论和体系结构

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494510

M. Voss

引用次数: 6

Model-integrated program synthesis environment 模型集成程序合成环境

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494548

J. Sztipanovits, G. Karsai, H. Franke

引用次数: 29

Categorization of programs using neural networks 使用神经网络的程序分类

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494569

F. Kurfess, L. Welch

{"title":"Categorization of programs using neural networks","authors":"F. Kurfess, L. Welch","doi":"10.1109/ECBS.1996.494569","DOIUrl":"https://doi.org/10.1109/ECBS.1996.494569","url":null,"abstract":"The paper describes some experiments based on the use of neural networks for assistance in the quality assessment of programs, especially in connection with the reengineering of legacy systems. We use Kohonen networks, or self-organizing maps, for the categorization of programs: programs with similar features are grouped together in a two-dimensional neighbourhood, whereas dissimilar programs are located far apart. Backpropagation networks are used for generalization purposes: based on a set of example programs whose relevant aspects have already been assessed, we would like to obtain an extrapolation of these assessments to new programs. The basis for these investigation is an intermediate representation of programs in the form of various dependency graphs, capturing the essentials of the programs. Previously, a set of metrics has been developed to perform an assessment of programs on the basis of this intermediate representation. It is not always clear, however, which parameters of the intermediate representation are relevant for a particular metric. The categorization and generalization capabilities of neural networks are employed to improve or verify the selection of parameters, and might even initiate the development of additional metrics.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125445946","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

TL: a system-level specification language for system analysis TL:用于系统分析的系统级规范语言

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494535

L. Benders

引用次数: 0

A methodology for designing and dimensioning critical complex computing systems 设计和标注关键复杂计算系统的方法

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1900-01-01 DOI: 10.1109/ECBS.1996.494546

G. Le Lann

{"title":"A methodology for designing and dimensioning critical complex computing systems","authors":"G. Le Lann","doi":"10.1109/ECBS.1996.494546","DOIUrl":"https://doi.org/10.1109/ECBS.1996.494546","url":null,"abstract":"It is widely recognized that real-time, fault-tolerant and distributed computing technologies play a key role in the deployment of many current and future (civilian or defense) critical and complex applications. Computing systems needed to support such applications are referred to as C/sup 3/ systems. Lack of a clear identification of those issues involved with designing and dimensioning C/sup 3/ systems can only lead to failures, as recently demonstrated by a number of sizeable projects that have been aborted or suspended in Europe and in the USA, in various application domains. The paper describes a systems engineering methodology that, given some specification of a particular systems engineering problem, permits to develop a specification of a C/sup 3/ system such that probably satisfies . It is explicitly assumed that includes arbitrarily stringent timeliness requirements, arbitrary distribution requirements as well as arbitrarily stringent dependability requirements. Moving from to involves some number of design stages and one final dimensioning stage. It is shown how to verify whether every single design decision satisfies the logical part of as well as whether a dimensioning decision satisfies the physical part of . This methodology is fully orthogonal to formal specification methods or formal software engineering methods currently in use. It does not rest on any particular programming language either.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126368037","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 12