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

2006 30th Annual IEEE/NASA Software Engineering Workshop最新文献

筛选
英文 中文
What Have We Not Learned about Teaching Programming? 关于编程教学，我们还没有学到什么?
2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-10-01 DOI: 10.1109/MC.2006.364
D. Gries
{"title":"What Have We Not Learned about Teaching Programming?","authors":"D. Gries","doi":"10.1109/MC.2006.364","DOIUrl":"https://doi.org/10.1109/MC.2006.364","url":null,"abstract":"Teaching our students how to think about the programming process would increase our effectiveness as teachers and make our curriculum more efficient","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130046264","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
Using Simulation to Validate Style-Specific Architectural Refactoring Patterns 使用模拟来验证特定于风格的架构重构模式
2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.40
Z. Stephenson, J. Mcdermid, Jason Choy
{"title":"Using Simulation to Validate Style-Specific Architectural Refactoring Patterns","authors":"Z. Stephenson, J. Mcdermid, Jason Choy","doi":"10.1109/SEW.2006.40","DOIUrl":"https://doi.org/10.1109/SEW.2006.40","url":null,"abstract":"When developing a new domain-specific architectural style, there can be uncertainty about the feasibility of using that style. In particular, the HADES architectural style contains refactoring patterns intended to remove undesirable scheduling features such as deadlock and livelock, but these patterns have not yet been validated. We report on the development of a simulator environment to help validate these refactoring patterns and generally demonstrate HADES architectures to non-specialists. The simulator implements the synchronisation and coordination specified by the architecture to help visualise the behaviour of the otherwise static architectural descriptions. We found simulation to be a useful tool in both visualising complex interaction semantics and in validating refactoring patterns","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113999829","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
Understanding Open Source Software through Software Archaeology: The Case of Nethack 通过软件考古理解开源软件:以《Nethack》为例
2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.37
Melissa M. Simmons, P. Vercellone-Smith, P. Laplante
{"title":"Understanding Open Source Software through Software Archaeology: The Case of Nethack","authors":"Melissa M. Simmons, P. Vercellone-Smith, P. Laplante","doi":"10.1109/SEW.2006.37","DOIUrl":"https://doi.org/10.1109/SEW.2006.37","url":null,"abstract":"In this study open source software was examined from an archaeological perspective. The objective: to explore the evolution of a long-lived open source project with the intention of learning how code evolution has progressed over time. This investigation provides a case study of Nethack, an enormously popular open source game that has been in development for more than a decade. The goal question metric approach was employed to derive measurement goals for the evaluation of open source software (OSS) evolution in Nethack. According to Lehman's laws, the incremental growth size of successive releases tends to decline during the active life of an evolving program. Our results demonstrate that the evolution patterns observed for Nethack do not consistently conform to Lehman's laws. The growth in Nethack's tarball distribution size, as well as lines of code, exhibited a linear increase in growth in this investigation. Additionally, Lehman's laws dictate that the complexity of a system will increase as it ages. Interestingly, in Nethack, the McCabe cyclomatic complexity was found to decrease with successive releases while the Halstead complexity increased. These results suggest that while the structure complexity of Nethack declined with successive releases, the complexity of calculational logic increased. These findings raise questions concerning the evolution of other OSS applications","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131298912","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
An Eclipse Plug-in for the Java PathFinder Runtime Verification System Java PathFinder运行时验证系统的Eclipse插件
2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.8
F. Fontana, C. Raibulet, Ivano Rigo, Luigi Ubezio
{"title":"An Eclipse Plug-in for the Java PathFinder Runtime Verification System","authors":"F. Fontana, C. Raibulet, Ivano Rigo, Luigi Ubezio","doi":"10.1109/SEW.2006.8","DOIUrl":"https://doi.org/10.1109/SEW.2006.8","url":null,"abstract":"Java PathFinder (JPF) is an explicit state model checker developed by the Automated Software Engineering Group of NASA of the AMES Research Center (California). Eclipse is probably the most important and used Java integrated developing environment (IDE) and not only; it is a framework/environment that can be easily extended with new functionalities by exploiting its plug-in mechanism. Through a JPF plug-in for Eclipse it is possible to integrate powerful model checking and testing capabilities into the development environment. This paper presents the re-design of the standalone version of JPF towards an Eclipse plug-in exploiting and outlining in this way the advantages of an open source development","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127636662","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
The Role of Empirical Study in Software Engineering 实证研究在软件工程中的作用
2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.34
V. Basili
{"title":"The Role of Empirical Study in Software Engineering","authors":"V. Basili","doi":"10.1109/SEW.2006.34","DOIUrl":"https://doi.org/10.1109/SEW.2006.34","url":null,"abstract":"Although most scientific and engineering disciplines view empiricism as a basic aspect of their discipline, that view has not been the tradition in software engineering. There should be a symbiotic relationship between the development of theories and empirical studies that test and evolve that theory. This talk discusses of the role of empirical study in the understanding and improvement of the software product and process. It offers a personal, historical perspective of the use of empiricism through a series of example applications that demonstrate the various roles that empiricism can play. The examples are taken from the author¿s own experience and include the use of empirical study to improve an organization's product quality and productivity in the Software Engineering Laboratory at NASA/Goddard and to evaluate and evolve the effectiveness of various software technologies for use in improving the dependability of software. It also suggests research directions for empirical study in software engineering.","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115362646","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
An Optimized Grid-Based, OGC Standards-Compliant Collaborative Software System for Serving NASA Geospatial Data 一种优化的基于网格、符合OGC标准的协同软件系统，用于服务NASA地理空间数据
2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.11
Aijun Chen, L. Di, Yaxing Wei, Yuqi Bai, Yang Liu
{"title":"An Optimized Grid-Based, OGC Standards-Compliant Collaborative Software System for Serving NASA Geospatial Data","authors":"Aijun Chen, L. Di, Yaxing Wei, Yuqi Bai, Yang Liu","doi":"10.1109/SEW.2006.11","DOIUrl":"https://doi.org/10.1109/SEW.2006.11","url":null,"abstract":"It is now common for academic institutes, government sectors and commercial corporations all over the world to engage in collaborative, complex applications. Most of them require international and interoperable access to large quantities of distributed, heterogeneous geospatial data, services, computing abilities and other facilities. The open grid services architecture (OGSA) implemented through the globus toolkit, provides an applicable and convenient software infrastructure for securely sharing computational resources within a virtual organization. In this paper, based on the globus toolkit, we propose an open, reusable, optimized, standards-compliant, and grid-enabled geospatial software system for archiving, managing, querying and serving NASA earth observing system data. We apply grid technologies to OGC Web services to make them grid-enabled and deploy them into the system. These services can be invoked either by OGC users or by grid users in the grid environment. Any OGSA-compliant grid services can be deployed into the system, and can invoke or be invoked by our or other grid services in our virtual organization to securely access each other's data and other computational resources after we authorize access. A catalogue service federation (CSF) with an OGC standard interface is developed to interact with other grid or non-grid geospatial catalogue services for querying and serving much more geospatial data. An intelligent grid service mediator (iGSM) and replica optimization service (ROS), both of which are grid services, are proposed to distribute and optimize user requests for data and services in the system. All of the grid-enabled geospatial services can be reused to construct more complex and functional services by forming a service-chain","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117126006","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}
引用次数: 18
Service Engineering: Linking Business and IT 服务工程:连接业务和IT
2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.29
T. Margaria, Bernhard Steffen
{"title":"Service Engineering: Linking Business and IT","authors":"T. Margaria, Bernhard Steffen","doi":"10.1109/SEW.2006.29","DOIUrl":"https://doi.org/10.1109/SEW.2006.29","url":null,"abstract":"Summary form only given. Service-oriented design has long driven the development of the telecommunications infrastructure and applications, especially intelligent network services. Applying the same principles of domain specificity, virtualization, loose coupling, and seamless vertical integration to business processes has the potential to lead to a new generation of personalized, secure, and highly available Web services","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124961730","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}
引用次数: 86
Goal-Driven Software Development 目标驱动的软件开发
2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.21
Ingo Schnabel, M. Pizka
{"title":"Goal-Driven Software Development","authors":"Ingo Schnabel, M. Pizka","doi":"10.1109/SEW.2006.21","DOIUrl":"https://doi.org/10.1109/SEW.2006.21","url":null,"abstract":"Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither business processes nor requirements can be fully understood in an early stage of a realistic software project. This is not primarily due to inadequate requirements elicitation but the fact that the technical implementation constitutes a formalization of a more or less fuzzy business domain revealing gaps and inconsistencies. Furthermore, the technology used adds constraints and enables new processes. Hence, trying to set the requirements in advance causes change requests, cost and time overruns, or even project cancellation. This paper continues the line of thought of iterative process models by regarding software development as a process iteratively converging business goals and technology from both sides. This \"goal-driven process\" is successfully applied in real-life commercial software projects and has repeatedly contributed to low cost but high quality software","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121749465","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
A Verified Formal Model of a VC Generator VC生成器的形式化模型验证
2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.7
R. Arthan
{"title":"A Verified Formal Model of a VC Generator","authors":"R. Arthan","doi":"10.1109/SEW.2006.7","DOIUrl":"https://doi.org/10.1109/SEW.2006.7","url":null,"abstract":"This paper describes some modelling work carried out to inform understanding of an Ada verification system. It presents a simple formal model in Z of a refinement notation comprising a miniature, but complete, imperative programming language annotated with formal specifications. The semantics of that programming language and the notion of correctness relative to the specification annotations is defined. A semantic model of a verification condition generator is given which can be proved to be sound with respect both to the programming language semantics and to the intensional semantics of the specification annotations. The specifications and proofs were prepared using the proofpower system and all proofs have been fully machine-checked. We argue that the use of appropriate abstractions and good tools make machine-checked proof a realistic and beneficial target","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132547264","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 Comparative Study of Monitoring Tools for Pattern-Centric Behavior 模式中心行为监测工具的比较研究
2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI: 10.1109/SEW.2006.5
B. Tyler, J. Hallstrom, N. Soundarajan
{"title":"A Comparative Study of Monitoring Tools for Pattern-Centric Behavior","authors":"B. Tyler, J. Hallstrom, N. Soundarajan","doi":"10.1109/SEW.2006.5","DOIUrl":"https://doi.org/10.1109/SEW.2006.5","url":null,"abstract":"The benefits of design patterns in the design phase are well-established. We claim that patterns can - and should - play equally important roles in later stages of the lifecycle. But to make this feasible, we need to develop suitable ways to precisely specify the requirements associated with the use of specific patterns, and runtime monitoring tools to identify any violations of these requirements. We summarize a specification and monitoring approach focused on pattern-centric behavior that we developed previously, evaluate alternative ways to monitor systems based on the formalism, and discuss the overall utility of the specification and monitoring approach in the context of a case study","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116758848","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
下一页 尾页
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学术官方微信