发布求助
文献互助 智能选刊 最新文献

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)最新文献

筛选
英文 中文
Lessons learned from wrapping systems 从包装系统中学到的经验
Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802857
C. Landauer, K. Bellman
{"title":"Lessons learned from wrapping systems","authors":"C. Landauer, K. Bellman","doi":"10.1109/ICECCS.1999.802857","DOIUrl":"https://doi.org/10.1109/ICECCS.1999.802857","url":null,"abstract":"This paper describes lessons we have learned over the last ten years from our \"wrapping\" approach to large-scale system development. Our research program in integration for constructed complex systems has led to several results with system engineering applications: the wrapping expression notation wrex for communication among distributed entities, the problem posing interpretation that inserts knowledge-based polymorphism into any programming language, and a new systematization of design patterns. We show how we implement wrappings and describe example applications. A little bit of this theory goes a long way, since it was designed for extremely large systems, such as space systems, with their hundreds of organizations, thousands of components, and millions of lines of code.","PeriodicalId":265076,"journal":{"name":"Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114196833","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}
引用次数: 14
Criteria for generating specification-based tests 生成基于规范的测试的标准
Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802856
A. Offutt, Yiwei Xiong, Shaoying Liu
{"title":"Criteria for generating specification-based tests","authors":"A. Offutt, Yiwei Xiong, Shaoying Liu","doi":"10.1109/ICECCS.1999.802856","DOIUrl":"https://doi.org/10.1109/ICECCS.1999.802856","url":null,"abstract":"This paper presents general criteria for generating test inputs from state-based specifications. Software testing can only be formalized and quantified when a solid basis for test generation can be defined. Formal specifications of complex systems represent a significant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form that can easily be manipulated. These techniques provide coverage criteria that are based on the specifications, and are made up of several parts, including test prefixes that contain inputs necessary to put the software into the appropriate state for the test values. The test generation process includes several steps for transforming specifications to tests. Empirical results from a comparative case study application of these criteria are presented.","PeriodicalId":265076,"journal":{"name":"Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124695244","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}
引用次数: 159
Securing Internet sessions with Sorbet 用冰糕保护互联网会话
Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802832
F. Long, R. Seacord, S. Hissam, John E. Robert
{"title":"Securing Internet sessions with Sorbet","authors":"F. Long, R. Seacord, S. Hissam, John E. Robert","doi":"10.1109/ICECCS.1999.802832","DOIUrl":"https://doi.org/10.1109/ICECCS.1999.802832","url":null,"abstract":"More and more organizations are using intranets and even the Internet as the communications media for important data. However, such communications media are inherently insecure and subject to hijacking. To secure these connections, mechanisms must be built on top of the underlying communications facilities. We discuss one such security mechanism and describe an implementation using common object request broker architecture (CORBA) based interceptors.","PeriodicalId":265076,"journal":{"name":"Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121640613","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}
引用次数: 0
A general purpose virtual collaboration room 一个通用的虚拟协作室
Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802838
Runhe Huang, Jianhua Ma
{"title":"A general purpose virtual collaboration room","authors":"Runhe Huang, Jianhua Ma","doi":"10.1109/ICECCS.1999.802838","DOIUrl":"https://doi.org/10.1109/ICECCS.1999.802838","url":null,"abstract":"The general purpose virtual collaboration room (VCR) is an Internet based desktop groupware system that enables a group of remote individuals to flexibly and naturally conduct their collaborative teaching/learning/working without constraints on collaboration types, working styles, group scales, and system platforms. To cope with the complexity, a room metaphor, i.e., emulating a physical room and objects in it, is used as a framework of the system. System implementation becomes no more complex than the case of using one object by identifying associated objects in communication messages between a room server and clients. The VCR provides rich and effective support of awareness of the user, object, space, and their mutual relations. With the use of Java applets for system implementations, users can enter and use a VCR from any standard Java enabled Web browser.","PeriodicalId":265076,"journal":{"name":"Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130338618","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}
引用次数: 8
Developing more reliable software faster and cheaper 更快更便宜地开发更可靠的软件
Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802860
J. Musa
{"title":"Developing more reliable software faster and cheaper","authors":"J. Musa","doi":"10.1109/ICECCS.1999.802860","DOIUrl":"https://doi.org/10.1109/ICECCS.1999.802860","url":null,"abstract":"This paper outlines 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 one develop and test more reliable software faster and cheaper. We show how it does this, and present some resources that will help one learn more about it.","PeriodicalId":265076,"journal":{"name":"Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)","volume":"39 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120897778","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
UML+ROOM as a standard ADL? UML+ROOM作为标准的ADL?
Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802849
Bernhard Rumpe, M. Schoenmakers, A. Radermacher, Andy Schürr
{"title":"UML+ROOM as a standard ADL?","authors":"Bernhard Rumpe, M. Schoenmakers, A. Radermacher, Andy Schürr","doi":"10.1109/ICECCS.1999.802849","DOIUrl":"https://doi.org/10.1109/ICECCS.1999.802849","url":null,"abstract":"Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of the term \"software architecture\" and no standard software architecture description language (ADL). The paper discusses whether the standard OO modeling language UML is a standard ADL, explains some deficiencies if used for this purpose, and makes a proposal of how to eliminate these deficiencies. The proposal is based on the widely accepted idea that elements of the component based OO modeling language, ROOM, should be integrated with UML. It explains why the idea of merging static structure diagrams of ROOM with behaviour-describing collaboration diagrams of UML is not sufficient and presents an additional approach for the integration problem.","PeriodicalId":265076,"journal":{"name":"Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133533458","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}
引用次数: 50
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书