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

31st IEEE Software Engineering Workshop (SEW 2007)最新文献

筛选
英文 中文
The EMISQ Method - Expert Based Evaluation of Internal Software Quality 基于专家的内部软件质量评价的EMISQ方法
31st IEEE Software Engineering Workshop (SEW 2007) Pub Date : 2007-03-06 DOI: 10.1109/SEW.2007.109
Reinhold Plösch, H. Gruber, A. Hentschel, Christian Körner, G. Pomberger, S. Schiffer, Matthias Saft, S. Storck
{"title":"The EMISQ Method - Expert Based Evaluation of Internal Software Quality","authors":"Reinhold Plösch, H. Gruber, A. Hentschel, Christian Körner, G. Pomberger, S. Schiffer, Matthias Saft, S. Storck","doi":"10.1109/SEW.2007.109","DOIUrl":"https://doi.org/10.1109/SEW.2007.109","url":null,"abstract":"Internal software quality, e.g. the quality of code, has great impact on the overall quality of software. Besides well known manual inspection and review techniques more recent approaches utilize tool-based static code for the evaluation of internal software quality. Despite the high potential of static code analyzers the application of tools alone cannot replace well founded expert opinion. Knowledge, experience and fair judgement is indispensable for a valid, reliable quality assessment, which is accepted by software developers and managers. The EMISQ method (evaluation method for internal software quality), guides the assessment process for all stakeholders of an evaluation project. The method is supported by a tool that assists evaluators with their analysis and rating tasks and provides support for generating a code quality report. The application of the method in a pilot project has shown its applicability.","PeriodicalId":277367,"journal":{"name":"31st IEEE Software Engineering Workshop (SEW 2007)","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123290241","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}
引用次数: 28
Modeling and Verifying Web Services Choreography Using Process Algebra 使用过程代数建模和验证Web服务编排
31st IEEE Software Engineering Workshop (SEW 2007) Pub Date : 2007-03-06 DOI: 10.1109/SEW.2007.105
Jing Li, Jifeng He, Huibiao Zhu, G. Pu
{"title":"Modeling and Verifying Web Services Choreography Using Process Algebra","authors":"Jing Li, Jifeng He, Huibiao Zhu, G. Pu","doi":"10.1109/SEW.2007.105","DOIUrl":"https://doi.org/10.1109/SEW.2007.105","url":null,"abstract":"The Web Services Choreography Description Language (WS-CDL) is a newly developed specification for Web services composition to describe the observable behavior across multiple participants from a global perspective. However, this specification does not provide a formal semantics, whose informal description can lead to ambiguous understanding and different implementations. Hence, it causes difficulties for the engineering community to analyze the business behavior and ensure the correctness. In this paper, we present the semantics of WS-CDL in terms of process algebra CSP which has great advantages in designing and verifying concurrent processes. Therefore, all the properties we want to check within a WS-CDL document can be verified automatically in the CSP framework correspondingly. In addition, the exception and compensation handling mechanism, an important concept of long running transactions, is demonstrated clearly through our formalization work.","PeriodicalId":277367,"journal":{"name":"31st IEEE Software Engineering Workshop (SEW 2007)","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122199336","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}
引用次数: 31
The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology Infusion 应用于JHU/APL地面软件开发的SAVE工具和过程:技术注入经验报告
31st IEEE Software Engineering Workshop (SEW 2007) Pub Date : 2007-03-06 DOI: 10.1109/SEW.2007.110
W. Stratton, D. Sibol, M. Lindvall, P. Costa
{"title":"The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology Infusion","authors":"W. Stratton, D. Sibol, M. Lindvall, P. Costa","doi":"10.1109/SEW.2007.110","DOIUrl":"https://doi.org/10.1109/SEW.2007.110","url":null,"abstract":"The JHU/APL Space Department develops Missions Operations Center (MOC) system software for all JHU/APL-supported NASA missions using a shared software architecture called Common Ground. The software architecture is 10 years old and difficult to maintain for current missions and to evolve for reuse in future missions. The Software Architecture Visualization and Evaluation (SAVE) tool and process developed by Fraunhofer Center - Maryland has been applied to the Common Ground software in order to avoid further maintenance and evolution problems. This report summarizes JHU/APL's experiences in using the SAVE tool and process to capture the originally planned architecture, to compare the actual Common Ground software to the planned architecture, to create a new target architecture, and to guide ongoing development to bring the planned and actual architectures into alignment.","PeriodicalId":277367,"journal":{"name":"31st IEEE Software Engineering Workshop (SEW 2007)","volume":"147 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128065284","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
A New Way to Predict Software Reliability with Parameter Evaluation: Shuttle Applications 一种基于参数评估的软件可靠性预测新方法:航天飞机应用
31st IEEE Software Engineering Workshop (SEW 2007) Pub Date : 2007-03-06 DOI: 10.1109/SEW.2007.85
N. Schneidewind
{"title":"A New Way to Predict Software Reliability with Parameter Evaluation: Shuttle Applications","authors":"N. Schneidewind","doi":"10.1109/SEW.2007.85","DOIUrl":"https://doi.org/10.1109/SEW.2007.85","url":null,"abstract":"Software reliability measurement and prediction are used to evaluate model parameters in advance of applying a model. Measurement involves collecting and analyzing data about the observed reliability of software, from which the parameters are estimated, for example, the occurrence of failures during test. Prediction is using a model to forecast future software reliability, for example, time to next failure during operation. In order to demonstrate the prediction methodology, we must use a software reliability model. Since the Schneidewind model has been used on the NASA Shuttle flight software for reliability predictions, and we have a considerable amount of Shuttle failure data, we use the model and data to demonstrate our methodology.","PeriodicalId":277367,"journal":{"name":"31st IEEE Software Engineering Workshop (SEW 2007)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133151107","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
Transformational Approaches to Model Driven Architecture - A Review 模型驱动架构的转换方法综述
31st IEEE Software Engineering Workshop (SEW 2007) Pub Date : 2007-03-06 DOI: 10.1109/SEW.2007.111
Chunying Zhao, Kang Zhang
{"title":"Transformational Approaches to Model Driven Architecture - A Review","authors":"Chunying Zhao, Kang Zhang","doi":"10.1109/SEW.2007.111","DOIUrl":"https://doi.org/10.1109/SEW.2007.111","url":null,"abstract":"The model driven architecture (MDA) has been widely used as a paradigm in software development. This paper presents an overview on the current research in the model driven architecture. We analyze the key concepts of the MDA by illustrative examples, explore the existing approaches and tools that support model transformation - the essential part of the MDA, and classify these methods based on a multidimensional scheme. Furthermore, this paper summarizes the current technical achievements of model transformation techniques in software development at different abstraction levels of a system.","PeriodicalId":277367,"journal":{"name":"31st IEEE Software Engineering Workshop (SEW 2007)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129814066","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
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI LTL指导规划:重新审视ETI中的自动工具组合
31st IEEE Software Engineering Workshop (SEW 2007) Pub Date : 2007-03-06 DOI: 10.1109/SEW.2007.101
T. Margaria, B. Steffen
{"title":"LTL Guided Planning: Revisiting Automatic Tool Composition in ETI","authors":"T. Margaria, B. Steffen","doi":"10.1109/SEW.2007.101","DOIUrl":"https://doi.org/10.1109/SEW.2007.101","url":null,"abstract":"We revisit the automatic tool composition feature of the electronic tool integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temporal logic-based synthesis of tool sequences is a form of planning-based automated orchestration. In contrast to Al-based planning approaches, our synthesis approach is not restricted to compute one solution, but it may compute all (shortest/minimal) solutions, with the intent to provide maximum insight into the potential design space.","PeriodicalId":277367,"journal":{"name":"31st IEEE Software Engineering Workshop (SEW 2007)","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122259091","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}
引用次数: 35
Mapping CMMI Project Management Process Areas to SCRUM Practices 将CMMI项目管理过程域映射到SCRUM实践
31st IEEE Software Engineering Workshop (SEW 2007) Pub Date : 2007-03-06 DOI: 10.1109/SEW.2007.102
A. Marcal, Felipe Santana Furtado Soares, A. D. Belchior
{"title":"Mapping CMMI Project Management Process Areas to SCRUM Practices","authors":"A. Marcal, Felipe Santana Furtado Soares, A. D. Belchior","doi":"10.1109/SEW.2007.102","DOIUrl":"https://doi.org/10.1109/SEW.2007.102","url":null,"abstract":"Over the past years, the capability maturity model (CMM) and capability maturity model integration (CMMI) have been broadly used for assessing organizational maturity and process capability throughout the world. However, the rapid pace of change in information technology has caused increasing frustration to the heavyweight plans, specifications, and other documentation imposed by contractual inertia and maturity model compliance criteria. In light of that, agile methodologies have been adopted to tackle this challenge. The aim of our paper is to present mapping between CMMI and one of these methodologies, Scrum. It shows how Scrum addresses the Project Management Process Areas of CMMI. This is useful for organizations that have their plan-driven process based on the CMMI model and are planning to improve its processes toward agility or to help organizations to define a new project management framework based on both CMMI and Scrum practices.","PeriodicalId":277367,"journal":{"name":"31st IEEE Software Engineering Workshop (SEW 2007)","volume":"90 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128834961","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}
引用次数: 77
Virtualization the Enabler for the Autonomic Business Grid 虚拟化:自主业务网格的推动者
31st IEEE Software Engineering Workshop (SEW 2007) Pub Date : 2007-03-06 DOI: 10.1109/SEW.2007.114
S. Wakid, Roy Sterritt
{"title":"Virtualization the Enabler for the Autonomic Business Grid","authors":"S. Wakid, Roy Sterritt","doi":"10.1109/SEW.2007.114","DOIUrl":"https://doi.org/10.1109/SEW.2007.114","url":null,"abstract":"Business grids are envisioned to become the adaptive service-oriented utility infrastructure for arbitrary business applications and related transactions. Consolidation, virtualization and automation enables this service architecture while satisfying the needs for agility and cost efficiency in today's and tomorrow's ever changing business environment. It also allows for the non disruptive infusion of new technology components. This brief industrial report focuses on a main cornerstone to achieve this vision, virtualization technologies and examines the current practice and required research directions.","PeriodicalId":277367,"journal":{"name":"31st IEEE Software Engineering Workshop (SEW 2007)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123928497","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
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming 场景化:将场景转换为支持基于需求的编程的CSP跟踪
31st IEEE Software Engineering Workshop (SEW 2007) Pub Date : 2007-03-06 DOI: 10.1109/SEW.2007.104
J. Carter, W. B. Gardner
{"title":"Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming","authors":"J. Carter, W. B. Gardner","doi":"10.1109/SEW.2007.104","DOIUrl":"https://doi.org/10.1109/SEW.2007.104","url":null,"abstract":"The \"Requirements to Design to Code\" (R2D2C) project of NASA's Software Engineering Laboratory is based on inferring a formal specification, currently using Communicating Sequential Processes (CSP), from system requirements supplied in the form of scenarios, a user-friendly medium often used to describe the behavior of computer systems under development. The scenarios are first converted into an intermediate form, CSP traces, from which are derived CSP specifications. This work, called Mise en Scene, defines a new scenario medium (Scenario Notation Language, SNL) suitable for control-dominated systems, coupled with a two-stage process for automatic translation of scenarios to a new trace medium (Trace Notation Language, TNL) which encompasses CSP traces. A survey of the \"scenario\" concept and a small case study are also presented.","PeriodicalId":277367,"journal":{"name":"31st IEEE Software Engineering Workshop (SEW 2007)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116066268","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 Model Checking to Validate Style-Specific Architectural Refactoring Patterns 使用模型检查来验证特定于风格的架构重构模式
31st IEEE Software Engineering Workshop (SEW 2007) Pub Date : 2007-03-06 DOI: 10.1109/SEW.2007.112
Z. Stephenson, J. Mcdermid
{"title":"Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns","authors":"Z. Stephenson, J. Mcdermid","doi":"10.1109/SEW.2007.112","DOIUrl":"https://doi.org/10.1109/SEW.2007.112","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 fully validated. We report on the translation between the HADES structure and the input languages for two popular model checkers (SPIN and NuSMV) to help validate these patterns. We found model checking to be a valuable asset in confirming the presence of undesirable features.","PeriodicalId":277367,"journal":{"name":"31st IEEE Software Engineering Workshop (SEW 2007)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134049357","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
下一页 尾页
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学术官方微信