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

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering最新文献

筛选
英文 中文
Software architectures for dependable systems: a software engineering perspective 可靠系统的软件架构:软件工程的视角
Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134508
R. Lemos
{"title":"Software architectures for dependable systems: a software engineering perspective","authors":"R. Lemos","doi":"10.1145/1134285.1134508","DOIUrl":"https://doi.org/10.1145/1134285.1134508","url":null,"abstract":"Although there is a large body of research in dependability, architectural level reasoning about dependability is only just emerging as an important theme in software development. This is due to the fact that dependability concerns are often left until too late in the process of development. In addition, the complexity of emerging applications and the trend of building trustworthy systems from existing untrustworthy components are urging dependability concerns to be considered at the architectural level. This tutorial will present the current challenges and promising solutions for structuring dependable systems at the architectural level. In addition of providing basic concepts related to dependability and software architectures, the rest of the tutorial is presented in the context of the dependability technologies. Throughout the tutorial, case studies will be used to exemplify the key concepts.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"31 1","pages":"1065-1066"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82338397","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}
引用次数: 3
Process issues in course projects 课程项目中的过程问题
Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2005-05-15 DOI: 10.1109/ICSE.2005.1553620
W. P. P. Filho
{"title":"Process issues in course projects","authors":"W. P. P. Filho","doi":"10.1109/ICSE.2005.1553620","DOIUrl":"https://doi.org/10.1109/ICSE.2005.1553620","url":null,"abstract":"Defined software engineering process help teaching and guiding software engineering courses projects. However, using them raises several issues related to process and course features. Architecture issues relate to matching process and course lifecycle models. Size issues address project scope and extent. Support issues deal with student and instructor materials and tools.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"60 1","pages":"629-630"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81460985","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}
引用次数: 5
Extending the discipline: how software can help or hinder human decision making (and vice-versa) 扩展学科:软件如何帮助或阻碍人类的决策制定(反之亦然)
Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2005-05-15 DOI: 10.1109/ICSE.2005.1553537
P. Ayton
{"title":"Extending the discipline: how software can help or hinder human decision making (and vice-versa)","authors":"P. Ayton","doi":"10.1109/ICSE.2005.1553537","DOIUrl":"https://doi.org/10.1109/ICSE.2005.1553537","url":null,"abstract":"Summary form only given. Developments in computing offer experts in many fields specialised support for decision making under uncertainty. However, the impact of these technologies remains controversial. In particular, it is not clear how advice of variable quality from a computer may affect human decision makers. Here the author reviews research showing strikingly diverse effects of computer support on expert decision-making. Decisions support can both systematically improve or damaged the performance of decision makers in subtle ways depending on the decision maker's skills, variation in the difficulty of individual decisions and the reliability of advice from the support tool. In clinical trials decision support technologies are often assessed in terms of their average effects. However this methodology overlooks the possibility of differential effects on decisions of varying difficulty, on decision makers of varying competence, of computer advice of varying accuracy and of possible interactions among these variables. Research that has teased apart aggregated clinical trial data to investigate these possibilities has discovered that computer support was less useful for - and sometimes hindered - professional experts who were relatively good at difficult decisions without support; at the same time the same computer support tool helped those experts who were less good at relatively easy decisions without support. Moreover, inappropriate advice from the support tool could bias decision makers' decisions and, predictably, depending on the type of case, improve or harm the decisions.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"14 1","pages":"36"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91092797","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
Some myths of software engineering education 软件工程教育的一些神话
Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2005-05-15 DOI: 10.1109/ICSE.2005.1553616
H. Vliet
{"title":"Some myths of software engineering education","authors":"H. Vliet","doi":"10.1109/ICSE.2005.1553616","DOIUrl":"https://doi.org/10.1109/ICSE.2005.1553616","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":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"17 1","pages":"621-622"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83400029","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
Model-based testing 基于模型的测试
Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2005-01-01 DOI: 10.1109/ICSE.2005.1553582
A. Pretschner
{"title":"Model-based testing","authors":"A. Pretschner","doi":"10.1109/ICSE.2005.1553582","DOIUrl":"https://doi.org/10.1109/ICSE.2005.1553582","url":null,"abstract":"","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"1 1","pages":"722-723"},"PeriodicalIF":0.0,"publicationDate":"2005-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82476688","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
Panel MDA in Practice 实践中的面板MDA
Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2004-05-23 DOI: 10.1109/ICSE.2004.1317491
J. Jézéquel, W. Emmerich
{"title":"Panel MDA in Practice","authors":"J. Jézéquel, W. Emmerich","doi":"10.1109/ICSE.2004.1317491","DOIUrl":"https://doi.org/10.1109/ICSE.2004.1317491","url":null,"abstract":"MDA provides an open, vendor-neutral approach to the challenge of business and technology change. Based firmly upon OMG’s established standards, MDA aims to separate business or application logic from underlying platform technology. Platform-independent applications built using MDA and associated standards can be realized on a range of open and proprietary platforms, including CORBA, J2EE, .NET, and Web Services or other Web-based platforms. Fullyspecified platform-independent models (including behavior) can enable intellectual property to move away from technology-specific code, helping to insulate business applications from technology evolution, and further enable interoperability. In addition, business applications, freed from technology specifics, will be more able to evolve at the different pace of business evolution.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"14 1","pages":"691"},"PeriodicalIF":0.0,"publicationDate":"2004-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84324827","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
Testing object-oriented software 测试面向对象软件
Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2004-05-23 DOI: 10.1002/9780470238103.CH5
Mauro Pezzè, Michal Young
{"title":"Testing object-oriented software","authors":"Mauro Pezzè, Michal Young","doi":"10.1002/9780470238103.CH5","DOIUrl":"https://doi.org/10.1002/9780470238103.CH5","url":null,"abstract":"The best approach to testing object-oriented software depends on many factors: the application-under-test, the development approach, the organization of the development and quality assurance teams, the criticality of the application, the development environment and the implementation language(s), the use of design and language features, project timing and resource constraints. Nonetheless, we can outline a general approach that works in stages from independent consideration of classes and their features to consideration of their interactions. A coherent strategy would include three main phases: intraclass, interclass, and system and acceptance testing.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"5 2 1","pages":"739-740"},"PeriodicalIF":0.0,"publicationDate":"2004-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78470870","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
Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software 研究摘要:基于组件的软件非功能属性规范的语义概念
Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2004-05-23 DOI: 10.1109/ICSE.2004.1317419
S. Zschaler
{"title":"Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software","authors":"S. Zschaler","doi":"10.1109/ICSE.2004.1317419","DOIUrl":"https://doi.org/10.1109/ICSE.2004.1317419","url":null,"abstract":"In my research I try to de.ne a framework which can beused to provide semantics for non-functional specificationsof component-based systems. Some of the key questionsdriving my work are:What is the fundamental difference between functionaland non-functional specifications? What formal apparatusis required to provide for this difference?What effects need to be taken into consideration whencomposing components with non-functional properties?What is the dependency between functional and nonfunctionalspecifications?What evaluation or analysis algorithms will be appliedto a non-functional specification? What informationmust be extractable from the semantics of a nonfunctionalspecification?","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"196 1","pages":"51-53"},"PeriodicalIF":0.0,"publicationDate":"2004-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77516033","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
/spl chi/-SCTL/MUS: a formal methodology to evolve multi-perspective software requirements specifications /spl chi/-SCTL/MUS:一种发展多角度软件需求规范的正式方法
Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2004-05-23 DOI: 10.1109/ICSE.2004.1317427
Ana Belén Barragáns Martínez, J. Arias
{"title":"/spl chi/-SCTL/MUS: a formal methodology to evolve multi-perspective software requirements specifications","authors":"Ana Belén Barragáns Martínez, J. Arias","doi":"10.1109/ICSE.2004.1317427","DOIUrl":"https://doi.org/10.1109/ICSE.2004.1317427","url":null,"abstract":"The objective of this thesis is to extend the formal methodology of refinement of requirements specifications SCTL/MUS to a multi-perspective environment where coexist requirements specifications which belong to each stakeholder involved in the software development of the system. To reach this goal, the new methodology (referred to as /spl chi/-SCTL/MUS) bets on using a viewpoint-based approach which allows to gather and maintain (possibly inconsistent and incomplete) information gathered from multiple sources. It explicitly separates the descriptions provided by different stakeholders, and concentrates on identifying and resolving conflicts between them.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"218 1","pages":"72-74"},"PeriodicalIF":0.0,"publicationDate":"2004-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77005562","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
The Challenge for computational science 计算科学的挑战
Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2004-01-01 DOI: 10.1109/MCISE.2004.1267602
D. Post
{"title":"The Challenge for computational science","authors":"D. Post","doi":"10.1109/MCISE.2004.1267602","DOIUrl":"https://doi.org/10.1109/MCISE.2004.1267602","url":null,"abstract":"The High Performance Computer and Computational Science communities face three major challenges: The Performance Challenge, making the next generation of high performance computers, The Programming Challenge, writing codes that can run on the next generation of very complicated computers, and The Prediction Challenge, writing very complex codes that can give accurate answers that can be relied upon for the important decisions that determine the future of society. The first challenge is being met. The second challenge needs work and focus, but is being addressed. The Computational Science community is, however, falling short of meeting the third challenge. It needs to focus on reaching the same level of credibility and maturity as the accepted methodologies of theory, experiment and engineering design.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"56 1 1","pages":"8-13"},"PeriodicalIF":0.0,"publicationDate":"2004-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90100427","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信