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

Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.最新文献

筛选
英文 中文
A case study on the automated verification of groupware protocols 群件协议自动验证的案例研究
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062560
M. T. Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, M. Sebastianis
{"title":"A case study on the automated verification of groupware protocols","authors":"M. T. Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, M. Sebastianis","doi":"10.1145/1062455.1062560","DOIUrl":"https://doi.org/10.1145/1062455.1062560","url":null,"abstract":"We report on a fruitful combination of applying academic experience with formal modelling and verification techniques to an industrial case study. The goal of the case study was to investigate a priori, i.e. before implementation, the effects of adding a lightweight and easy-to-use publish/subscribe (event) notification service to thinkteam/spl reg/ - an asynchronous and dispersed groupware system which was developed by think3. Researchers from the Formal Methods and Tools (FM&&T) group of ISTI-CNR $with a longstanding experience in research on the development and application of formal methods, notations, and software tools for the specification, design, and verification of complex computer systems - therefore teamed up with think3 - a global provider of integrated product development solutions that provides mechanical design and Product Data Management (PDM) software catering the product management needs of design processes in the manufacturing industry. The technical details of this joint research effort have been documented elsewhere, here we report on the lessons learned from this experience.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129709937","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
Software test program: a software residency experience 软件测试程序:软件驻留经验
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062565
A. Sampaio, Carlos Albuquerque, João Vasconcelos, Luckerson Cruz, Luis Figueiredo, S. Cavalcante
{"title":"Software test program: a software residency experience","authors":"A. Sampaio, Carlos Albuquerque, João Vasconcelos, Luckerson Cruz, Luis Figueiredo, S. Cavalcante","doi":"10.1145/1062455.1062565","DOIUrl":"https://doi.org/10.1145/1062455.1062565","url":null,"abstract":"The software test program (STP) is a cooperation between Motorola and the Center for Informatics of the Federal University of Pernambuco. It has been conceived with inspiration on the medical residency, adjusted to the software development practice. A software residency includes the formal teaching of the relevant concepts and deep practice, with specialization on some specific subject; here the focus is on software testing. The STP has been of great benefit to all parties involved.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128624230","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}
引用次数: 23
Some myths of software engineering education 软件工程教育的一些神话
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062570
H. van Vliet
{"title":"Some myths of software engineering education","authors":"H. van Vliet","doi":"10.1145/1062455.1062570","DOIUrl":"https://doi.org/10.1145/1062455.1062570","url":null,"abstract":"Based on many years of teaching software engineering, I present a number of lessons I have learned over the years. I do so in the form of a series of myths, the reverse of which can be considered challenges to educators. The overall message I wish to convey is that there's more to software engineering than engineering. The engineering metaphor gives us a lot of useful guidance in shaping our profession. But there's also a downside, in that this goes at the expense of the human, social dimension that is an essential element of our profession.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"87 26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126305384","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}
引用次数: 1
Spiral development of software-intensive systems of systems 系统的软件密集型系统的螺旋式发展
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062628
B. Boehm, A. W. Brown, R. Turner
{"title":"Spiral development of software-intensive systems of systems","authors":"B. Boehm, A. W. Brown, R. Turner","doi":"10.1145/1062455.1062628","DOIUrl":"https://doi.org/10.1145/1062455.1062628","url":null,"abstract":"Commercial, public service, and national security organizations are finding it increasingly attractive to integrate component system capabilities from many different best of breed sources to achieve their objectives. In doing so, they find that they are increasingly dependent on software to integrate the systems and to rapidly adapt them in response to competitive opportunities or threats, new technologies, or new organizational priorities. The resulting software-intensive systems of systems (SISOS) offer significant benefits, but come with significant new types of risks, such as simultaneous satisfaction of multiple stakeholders and quality attributes, and integration and rapid adaptation of multiple heterogeneous software products and COTS products. This tutorial provides software engineers, managers and researchers with an understanding of and emerging capabilities for practicing software engineering in the very large. It identifies the major opportunities and risks involved in software- intensive systems of systems, presents experience-based techniques for realizing the opportunities and mitigating the risks. It provides extensions of the risk-driven spiral model that are being used for SISOS development processes, and provides case study exercises to give participants experience in applying the techniques in representative situations.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130943084","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}
引用次数: 15
Rules of thumb for secure software engineering 安全软件工程的经验法则
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062626
H. Peine
{"title":"Rules of thumb for secure software engineering","authors":"H. Peine","doi":"10.1145/1062455.1062626","DOIUrl":"https://doi.org/10.1145/1062455.1062626","url":null,"abstract":"The basis of this article is a tutorial that steps into software security breaches, by disseminating knowledge about the underlying principles of secure software. The main part is the presentation of 20 rules of secure software development.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"84 12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127979130","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}
引用次数: 10
Verification and change-impact analysis of access-control policies 访问控制策略的验证和变更影响分析
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062502
Kathi Fisler, S. Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz
{"title":"Verification and change-impact analysis of access-control policies","authors":"Kathi Fisler, S. Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz","doi":"10.1145/1062455.1062502","DOIUrl":"https://doi.org/10.1145/1062455.1062502","url":null,"abstract":"Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not only preventing the leakage of data but also permitting access to necessary information. Indeed, the same datum is often treated differently depending on context. System designers create policies to express conditions on the access to data. To reduce source clutter and improve maintenance, developers increasingly use domain-specific, declarative languages to express these policies. In turn, administrators need to analyze policies relative to properties, and to understand the effect of policy changes even in the absence of properties. This paper presents Margrave, a software suite for analyzing role-based access-control policies. Margrave includes a verifier that analyzes policies written in the XACML language, translating them into a form of decision-diagram to answer queries. It also provides semantic differencing information between versions of policies. We have implemented these techniques and applied them to policies from a working software application.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124754589","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}
引用次数: 469
4th International Workshop on Scenarios and State Machines:, Models, Algorithms and Tools (SCESM'05) 第四届情景与状态机:模型、算法和工具国际研讨会(SCESM'05)
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062622
Y. Bontemps, Alexander Egyed
{"title":"4th International Workshop on Scenarios and State Machines:, Models, Algorithms and Tools (SCESM'05)","authors":"Y. Bontemps, Alexander Egyed","doi":"10.1145/1062455.1062622","DOIUrl":"https://doi.org/10.1145/1062455.1062622","url":null,"abstract":"No abstract available","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115400551","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}
引用次数: 2
DynAlloy: upgrading alloy with actions DynAlloy:带动作的升级合金
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062535
M. Frias, Juan P. Galeotti, C. L. Pombo, Nazareno Aguirre
{"title":"DynAlloy: upgrading alloy with actions","authors":"M. Frias, Juan P. Galeotti, C. L. Pombo, Nazareno Aguirre","doi":"10.1145/1062455.1062535","DOIUrl":"https://doi.org/10.1145/1062455.1062535","url":null,"abstract":"We present DynAlloy, an extension to the Alloy specification language to describe dynamic properties of systems using actions. Actions allow us to appropriately specify dynamic properties, particularly, properties regarding execution traces, in the style of dynamic logic specifications. We extend Alloy's syntax with a notation for partial correctness assertions, whose semantics relies on an adaptation of Dijkstra's weakest liberal precondition. These assertions, defined in terms of actions, allow us to easily express properties regarding executions, favoring the separation of concerns between the static and dynamic aspects of a system specification. We also extend the Alloy tool in such a way that DynAlloy specifications are also automatically analyzable, as standard Alloy specifications. We present the foundations, two case-studies, and empirical results evidencing that the analysis of DynAlloy specifications can be performed efficiently.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"3 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120898741","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}
引用次数: 115
Requirements uncertainty: influencing factors and concrete improvements 需求不确定性:影响因素及具体改进
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062554
C. Ebert, J. D. Man
{"title":"Requirements uncertainty: influencing factors and concrete improvements","authors":"C. Ebert, J. D. Man","doi":"10.1145/1062455.1062554","DOIUrl":"https://doi.org/10.1145/1062455.1062554","url":null,"abstract":"Practically all industry studies on software project results conclude that good requirements engineering plays a pivotal role for successful projects. A key reason for project failures is insufficient management of changing requirements during all stages of the project life cycle. This article investigates one of the root causes for changing requirements, namely requirements uncertainty. In an experimental field study we looked into four underlying drivers for requirements uncertainty. We found several techniques must be used simultaneously to see tangible success. Using only one such technique in isolation doesn't make a difference. The field study is supported by extensive data from well over 200 projects stemming from very different business areas of Alcatel over a period of two years. Results are presented with practical experiences to allow effective transfer.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125745921","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}
引用次数: 91
Requirements interaction management in an eXtreme Programming environment: a case study 极限编程环境中的需求交互管理:一个案例研究
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062544
Denise M. Woit
{"title":"Requirements interaction management in an eXtreme Programming environment: a case study","authors":"Denise M. Woit","doi":"10.1145/1062455.1062544","DOIUrl":"https://doi.org/10.1145/1062455.1062544","url":null,"abstract":"This paper reports experience applying the process of requirements interaction management (RIM) within the context of developing a commercial, Internet-based software application in an industrial venue, employing the eXtreme Programming (XP) methodology. We describe our means of managing the interactions - by extending the standard XP requirements process while maintaining consistency with the principles of XP itself. We outline our rationale for modifying the XP requirements process, and provide a temporal comparison showing that, for this project, modified process is essential to successful application of RIM.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126696388","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
首页 上一页 下一页 尾页
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学术官方微信
小红书