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

International Conference on Software Engineering Advances (ICSEA 2007)最新文献

筛选
英文 中文
In Search of a Unified Theory of Software Engineering 寻找软件工程的统一理论
International Conference on Software Engineering Advances (ICSEA 2007) Pub Date : 2007-08-25 DOI: 10.1109/ICSEA.2007.43
Pontus Johnson, M. Ekstedt
{"title":"In Search of a Unified Theory of Software Engineering","authors":"Pontus Johnson, M. Ekstedt","doi":"10.1109/ICSEA.2007.43","DOIUrl":"https://doi.org/10.1109/ICSEA.2007.43","url":null,"abstract":"Highly successful scientific disciplines have at least one common denominator; they have developed unified theories that span a large set of phenomena within the discipline. The discipline of software engineering today features a multitude of disparate and fragmented micro-theories. Among these micro-theories, many speak of different things, many speak differently of similar things, and few can be employed consistently together. Since these micro-theories are so numerous and diverse, software engineering also lacks a common vocabulary for communication and argumentation. There are no real rules for separating sound arguments from unsound ones. This article argues that the search for a single unified theory of software engineering is both viable and desirable, hi order to do so, requirements for such a unified theory are outlined. Then three well-known software engineering theories that could constitute embryos to unified theories are considered in the light of the presented requirements.","PeriodicalId":395851,"journal":{"name":"International Conference on Software Engineering Advances (ICSEA 2007)","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121945087","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
Diapason: an Engineering Approach for Designing, Executing and Evolving Service-Oriented Architectures 设计、执行和发展面向服务的体系结构的工程方法
International Conference on Software Engineering Advances (ICSEA 2007) Pub Date : 2007-08-25 DOI: 10.1109/ICSEA.2007.29
Frédéric Pourraz, H. Verjus
{"title":"Diapason: an Engineering Approach for Designing, Executing and Evolving Service-Oriented Architectures","authors":"Frédéric Pourraz, H. Verjus","doi":"10.1109/ICSEA.2007.29","DOIUrl":"https://doi.org/10.1109/ICSEA.2007.29","url":null,"abstract":"Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. Service- Oriented Architectures promote loose coupling, services distribution, dynamicity and agility. As services involved in a SOA are remote and autonomous services, the SOA designer does not control them and unpredictable behaviour can occur. Services orchestration is a key issue in order to fit expectations and reach objectives. Thus, service-oriented architectures have to be designed and deployed with rigor in order to be plainly useful and quality aware. Orchestration languages (BPEL4WS, BPML, etc.) fail in some points due to the lack of formalization and expressiveness, particularly when addressing service-based architecture evolution. This paper presents Diapason, an engineering approach for fully and formally designing service-based architectures, deploying them on the Internet, executing them according to the design and dynamically evolving them taking into account business changes and modifications.","PeriodicalId":395851,"journal":{"name":"International Conference on Software Engineering Advances (ICSEA 2007)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125614579","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
Design and Development Tools for Next Generation Mobile Services 下一代移动服务的设计和开发工具
International Conference on Software Engineering Advances (ICSEA 2007) Pub Date : 2007-08-25 DOI: 10.1109/ICSEA.2007.26
G. Bartolomeo, Casalicchio Casalicchio, S. Salsano, N. Blefari-Melazzi
{"title":"Design and Development Tools for Next Generation Mobile Services","authors":"G. Bartolomeo, Casalicchio Casalicchio, S. Salsano, N. Blefari-Melazzi","doi":"10.1109/ICSEA.2007.26","DOIUrl":"https://doi.org/10.1109/ICSEA.2007.26","url":null,"abstract":"The actual standards for service authoring, composition and development are not easy to port and to apply for next generation mobile applications. This paper describes some tools that we're developing in the context of the IST-Simple Mobile Service project, whose aim is to ease the authoring and the use of services for mobile devices. We propose a service composition approach using an UML profile very close to the actual standards for Web services definition and authoring, like WSDL and BPEL. We take a glance at SMILE, the run-time support we provide for service execution. Finally we hint at an efficient serialization mechanism based on JSON, a human readable data exchange format less verbose and, in our opinion, more suitable for mobile terminals than XML.","PeriodicalId":395851,"journal":{"name":"International Conference on Software Engineering Advances (ICSEA 2007)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128544234","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
A Tool for Automated Performance Testing of Java3D Applications in Agile Environments 一个在敏捷环境中自动测试Java3D应用程序性能的工具
International Conference on Software Engineering Advances (ICSEA 2007) Pub Date : 2007-08-25 DOI: 10.1109/ICSEA.2007.11
Xueling Shu, F. Maurer
{"title":"A Tool for Automated Performance Testing of Java3D Applications in Agile Environments","authors":"Xueling Shu, F. Maurer","doi":"10.1109/ICSEA.2007.11","DOIUrl":"https://doi.org/10.1109/ICSEA.2007.11","url":null,"abstract":"Following the agile philosophy that all core features of a system need an automated test harness, performance requirements also need such a check when they are essential for the success of a project. The purpose of this paper is to describe a tool, J3DPerfUnit, which supports automated performance testing for Java3D applications in agile environments. We elicited tool requirements from domain experts through a survey and evaluated J3DPerfUnit using code from our partner's bioinformatics project and Java3D official tutorials. The evaluation pointed out that the tool is effective in detecting performance problems and in identifying where they come from when loading/unloading a 3D object.","PeriodicalId":395851,"journal":{"name":"International Conference on Software Engineering Advances (ICSEA 2007)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134497760","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
Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line 软件产品线中特征模型与软件体系结构一致性的形式化验证
International Conference on Software Engineering Advances (ICSEA 2007) Pub Date : 2007-08-25 DOI: 10.1109/ICSEA.2007.33
T. K. Satyananda, Danhyung Lee, Sungwon Kang
{"title":"Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line","authors":"T. K. Satyananda, Danhyung Lee, Sungwon Kang","doi":"10.1109/ICSEA.2007.33","DOIUrl":"https://doi.org/10.1109/ICSEA.2007.33","url":null,"abstract":"During software development process, software artifacts are produced. Consistency among these artifacts should be verified to ensure error-free product. In software product line development, consistency becomes more important because commonalities and variabilities increase the complexity of relationship among artifacts. In this paper, we present a formal approach to verification of consistency between feature model and component and connector view of software architecture. By utilizing prototype verification system (PVS), we introduce our model of feature description and architecture description, and illustrate the consistency verification approach using a digital watch product line example.","PeriodicalId":395851,"journal":{"name":"International Conference on Software Engineering Advances (ICSEA 2007)","volume":"172 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134576029","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}
引用次数: 21
Using a process modeling language for the design and implementation of process-driven applications 使用流程建模语言来设计和实现流程驱动的应用程序
International Conference on Software Engineering Advances (ICSEA 2007) Pub Date : 2007-08-25 DOI: 10.1109/ICSEA.2007.81
D. Rossi, E. Turrini
{"title":"Using a process modeling language for the design and implementation of process-driven applications","authors":"D. Rossi, E. Turrini","doi":"10.1109/ICSEA.2007.81","DOIUrl":"https://doi.org/10.1109/ICSEA.2007.81","url":null,"abstract":"Process driven software architectures are establishing themselves as prominent examples of distributed software infrastructures. Workflow Management Systems, web service orchestration platforms, Business Process Management support systems are relevant instances of process driven software architectures all of which, as the name suggests, are characterized as having a process perspective. In this paper we show that a (well designed) process modeling language and its execution engine can address the process perspective in different architectures and be (re)used among different application domains resulting in useful tools for the design and the implementation of process-driven applications. This can be achieved by maximizing the suitability of such a language via high expressive power and good separation of concerns. We also show sample process driven architectures, addressing different application domains, that are built with it.","PeriodicalId":395851,"journal":{"name":"International Conference on Software Engineering Advances (ICSEA 2007)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122365555","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}
引用次数: 7
Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach 控制需求演化:基于形式化概念分析的方法
International Conference on Software Engineering Advances (ICSEA 2007) Pub Date : 2007-08-25 DOI: 10.1109/ICSEA.2007.24
F. Fabbrini, M. Fusani, S. Gnesi, G. Lami
{"title":"Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach","authors":"F. Fabbrini, M. Fusani, S. Gnesi, G. Lami","doi":"10.1109/ICSEA.2007.24","DOIUrl":"https://doi.org/10.1109/ICSEA.2007.24","url":null,"abstract":"Requirements evolve during the software development process. Requirements specification evolution determines changes both in terms of level of details and style of representation and it brings the requirements from the initial statement of the customer needs towards more detailed documents able to drive the software design, construction and verification. Controlling the evolution of requirements, usually written in natural language, is very important for the success of the whole software project because every step in the evolutionary path of requirements can introduce undesired changes or lacks of information. This paper describes an approach based on the formal concepts analysis that allows a systematic and precise verification of the consistency among different stages of natural language requirements evolution.","PeriodicalId":395851,"journal":{"name":"International Conference on Software Engineering Advances (ICSEA 2007)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121852677","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
An Evaluation of Traceability Approaches to Support Software Evolution 支持软件演进的可追溯性方法的评估
International Conference on Software Engineering Advances (ICSEA 2007) Pub Date : 2007-08-25 DOI: 10.1109/ICSEA.2007.17
S. Rochimah, W. M. Wan-Kadir, A. Abdullah
{"title":"An Evaluation of Traceability Approaches to Support Software Evolution","authors":"S. Rochimah, W. M. Wan-Kadir, A. Abdullah","doi":"10.1109/ICSEA.2007.17","DOIUrl":"https://doi.org/10.1109/ICSEA.2007.17","url":null,"abstract":"Requirements traceability is becoming increasingly significant element in software engineering. It provides critical function in the development and maintenance of a software system. From the software evolution point of view, requirements traceability plays an important role in facilitating software evolution. Since the evolution is inevitable, a traceability approach must take as much as possible the important influencing aspects into account to the evolution processes in order to minimize the evolution efforts. This paper evaluates several recent traceability approaches published in literature with the focus on their contributions to software evolution. The evaluation results may be used as a basis for improving requirements traceability approaches that may simplify the software evolution tasks.","PeriodicalId":395851,"journal":{"name":"International Conference on Software Engineering Advances (ICSEA 2007)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121791874","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}
引用次数: 45
An Integrated Database Programming and Querying Language with Support for Simultaneous Processing 支持同步处理的集成数据库编程和查询语言
International Conference on Software Engineering Advances (ICSEA 2007) Pub Date : 2007-08-25 DOI: 10.1109/ICSEA.2007.18
M. Kirchberg
{"title":"An Integrated Database Programming and Querying Language with Support for Simultaneous Processing","authors":"M. Kirchberg","doi":"10.1109/ICSEA.2007.18","DOIUrl":"https://doi.org/10.1109/ICSEA.2007.18","url":null,"abstract":"The integration of query languages and programming languages is still a central problem of database research. In particular, issues with respect to the impedance mismatch are of interest. In this paper, we introduce features of a newly developed integrated database programming and querying language (i)DBPQL, which unites properties from object-oriented programming languages, query languages and database programming languages. Our main focus is on those integrated language properties that support simultaneous processing and their implications on other database system components.","PeriodicalId":395851,"journal":{"name":"International Conference on Software Engineering Advances (ICSEA 2007)","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123200400","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
Situation Awareness Unified Process 态势感知统一流程
International Conference on Software Engineering Advances (ICSEA 2007) Pub Date : 2007-08-25 DOI: 10.1109/ICSEA.2007.60
V. Sorathia, Anutosh Maitra
{"title":"Situation Awareness Unified Process","authors":"V. Sorathia, Anutosh Maitra","doi":"10.1109/ICSEA.2007.60","DOIUrl":"https://doi.org/10.1109/ICSEA.2007.60","url":null,"abstract":"This paper identifies the process for developing information system for situation awareness application domain and identifies novel process artifacts that need to be introduced along with existing approaches. Appropriately engineered method is an important requirement for successful implementation of any software system targeted at situation awareness. When it comes to information system development (ISD) for dynamic organizations, the method engineering plays even more critical role. The existing approaches for architectural description, method composition and process guidance are derived based on experiences from successful past implementations. Yet, how existing team utilizes the experience is the determining factor for its efficient use. Today's organization, where one information system is the result of continuous efforts of multiple teams forming a virtual organization, calls for extending the approaches to get proper benefit from method engineering.","PeriodicalId":395851,"journal":{"name":"International Conference on Software Engineering Advances (ICSEA 2007)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115094793","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
首页 上一页 下一页 尾页
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学术官方微信