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

arXiv: Software Engineering最新文献

筛选
英文 中文
Proceedings 16th International Refinement Workshop 第16届国际精炼研讨会论文集
arXiv: Software Engineering Pub Date : 2013-05-24 DOI: 10.4204/EPTCS.115
J. Derrick, E. Boiten, S. Reeves
{"title":"Proceedings 16th International Refinement Workshop","authors":"J. Derrick, E. Boiten, S. Reeves","doi":"10.4204/EPTCS.115","DOIUrl":"https://doi.org/10.4204/EPTCS.115","url":null,"abstract":"The 16th BCS-FACS Refinement Workshop was co-located with iFM 2013 held in Turku, Finland on June 11th, 2013. This volume contains the 6 papers selected for presentation at the workshop following a peer review process. The papers cover a wide range of topics in the theory and application of refinement. Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that maintain correctness with respect to the original specification.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"518 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133790383","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
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software 第六届面向合同的软件形式语言与分析研讨会论文集
arXiv: Software Engineering Pub Date : 2012-09-08 DOI: 10.4204/EPTCS.94
Gordon J. Pace, A. Ravn
{"title":"Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software","authors":"Gordon J. Pace, A. Ravn","doi":"10.4204/EPTCS.94","DOIUrl":"https://doi.org/10.4204/EPTCS.94","url":null,"abstract":"The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level models of contracts are making their way into the area, but application developers are still left to their own devices when it comes to writing code that will comply with a contract concluded before service provision. At the programming language level, contracts appear as separate concerns that crosscut through application logic. Therefore there is a need for contract analysis tools that extract abstracted models from applications so they become amenable to formal reasoning using formal language techniques. \u0000Since its inception, the aim of of FLACOS has been that of bringing together researchers and practitioners working on language- or application-based solutions to these problems through the formalization of contracts, the design of appropriate abstraction mechanisms, and tools and techniques for analysis of contracts, and analysis, testing and monitoring of conformance to contracts by applications.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130244214","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
Proceedings 2nd Workshop on Formal Methods in the Development of Software 第二届软件开发正式方法研讨会论文集
arXiv: Software Engineering Pub Date : 2012-07-08 DOI: 10.4204/EPTCS.86
César Andrés, Luis Llana
{"title":"Proceedings 2nd Workshop on Formal Methods in the Development of Software","authors":"César Andrés, Luis Llana","doi":"10.4204/EPTCS.86","DOIUrl":"https://doi.org/10.4204/EPTCS.86","url":null,"abstract":"This volume contains the proceedings of the 2nd WorkShop on Formal Methods in the Development of Software (WS-FMDS 2012). The workshop was held in Paris, France on August 30th, 2012 as a satellite event to the 18th International Symposium on Formal Methods (FM-2012). \u0000The aim of WS-FMDS 2012 is to provide a forum for researchers who are interested in the application of formal methods on systems which are being developing with a software methodology. In particular, this workshop is intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. This workshop also strives to promote research and development for the improvement of formal methods and tools for industrial applications.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131367022","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
Proceedings Eighth Workshop on Model-Based Testing 第八届模型测试研讨会论文集
arXiv: Software Engineering Pub Date : 2012-02-27 DOI: 10.4204/EPTCS.111
A. Petrenko, H. Schlingloff
{"title":"Proceedings Eighth Workshop on Model-Based Testing","authors":"A. Petrenko, H. Schlingloff","doi":"10.4204/EPTCS.111","DOIUrl":"https://doi.org/10.4204/EPTCS.111","url":null,"abstract":"The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results evaluation. Testing validates the real system behavior against models and checks that the implementation conforms to them, but is capable also to find errors in the models themselves. \u0000The intent of this workshop is to bring together researchers and users of model-based testing techniques and tools to discuss the state of the art in theory, applications, tools, and industrialization of model-based testing and related domains.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122592821","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
Understanding need of "Uncertainty Analysis" in the system Design process 了解“不确定性分析”在系统设计过程中的必要性
arXiv: Software Engineering Pub Date : 2011-07-31 DOI: 10.5121/IJSEA.2011.2307
Kardile Vilas Vasantrao
{"title":"Understanding need of \"Uncertainty Analysis\" in the system Design process","authors":"Kardile Vilas Vasantrao","doi":"10.5121/IJSEA.2011.2307","DOIUrl":"https://doi.org/10.5121/IJSEA.2011.2307","url":null,"abstract":"Software project development process is requiring accurate software cost and schedule estimation for achieve goal or success. A lot it referred to as the \"Intricate brainteaser\" because of its conscience attribute which is impact by complexity and uncertainty, Generally estimation is not as difficult or puzzling as people think. In fact, generating accurate estimates is straightforward-once you understand the intensity of uncertainty and module which contribute itself process. In our everyday life, we enhance our estimation based on past experience in which problem solve by which method and in which condition and which opportune provide that method to produce better result . So, Instead of unexplained treatises and inflexible modeling techniques, this will guide highlights a proven set of procedures, understandable formulas, and heuristics that individuals and complete team can apply to their projects to help achieve estimation ability with choose appropriate development approaches In the early stage of software life cycle project manager are inefficient to estimate the effort, schedule, cost estimation and its development approach .This in turn, confuses the manager to bid effectively on software project and choose incorrect development approach. That will directly effect on productivity cycle and increase level of uncertainty. This becomes a strong cause of project failure. So to avoid such problem if we know level and sources of uncertainty in model design, It will directive the developer to design accurate software cost and schedule estimation. which are require l for software project success. This paper demonstrates need of uncertainty analysis module at the modeling process for assist to recognize modular uncertainty system development process and the role of uncertainty at different stages in the modeling","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121882216","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
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures 第十届协调语言和软件架构基础国际研讨会论文集
arXiv: Software Engineering Pub Date : 2011-07-28 DOI: 10.4204/EPTCS.58
M. Mousavi, A. Ravara
{"title":"Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures","authors":"M. Mousavi, A. Ravara","doi":"10.4204/EPTCS.58","DOIUrl":"https://doi.org/10.4204/EPTCS.58","url":null,"abstract":"Computation nowadays is becoming inherently concurrent, either because of characteristics of the hardware (with multicore processors becoming omnipresent) or due to the ubiquitous presence of distributed systems (incarnated in the Internet). Computational systems are therefore typically distributed, concurrent, mobile, and often involve composition of heterogeneous components. \u0000To specify and reason about such systems and go beyond the functional correctness proofs, e.g., by supporting reusability and improving maintainability, approaches such as coordination languages and software architecture are recognised as fundamental. \u0000The goal of the this workshop is to put together researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general solutions in the context of coordination languages and software architectures.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114668712","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
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering 第二届基于模型的软件工程代数方法国际研讨会论文集
arXiv: Software Engineering Pub Date : 2011-06-29 DOI: 10.4204/EPTCS.56
F. Durán, Vlad Rusu
{"title":"Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering","authors":"F. Durán, Vlad Rusu","doi":"10.4204/EPTCS.56","DOIUrl":"https://doi.org/10.4204/EPTCS.56","url":null,"abstract":"Over the past years there has been quite a lot of activity in the algebraic community about using algebraic methods for providing support to model-driven software engineering. The aim of this workshop is to gather researchers working on the development and application of algebraic methods to provide rigorous support to model-based software engineering. The topics relevant to the workshop are all those related to the use of algebraic methods in software engineering, including but not limited to: formally specifying and verifying model-based software engineering concepts and related ones (MDE, UML, OCL, MOF, DSLs, ...); tool support for the above; integration of formal and informal methods; and theoretical frameworks (algebraic, rewriting-based, category theory-based, ...). The workshop's main goal is to examine, discuss, and relate the existing projects within the algebraic community that address common open-issues in model-driven software engineering.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129073445","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
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software 第四届网络软件测试、分析与验证国际研讨会论文集
arXiv: Software Engineering Pub Date : 2010-09-17 DOI: 10.4204/EPTCS.35
Gwen Salaun, Xiang Fu, Sylvain Hall'e
{"title":"Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software","authors":"Gwen Salaun, Xiang Fu, Sylvain Hall'e","doi":"10.4204/EPTCS.35","DOIUrl":"https://doi.org/10.4204/EPTCS.35","url":null,"abstract":"This volume contains the papers presented at the fourth international workshop on Testing, Analysis and Verification of Software, which was associated with the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010). The collection of papers includes research on formal specification, model-checking, testing, and debugging of Web software.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127646379","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
Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing 第四届欧洲面向服务计算青年研究人员研讨会论文集
arXiv: Software Engineering Pub Date : 2009-06-26 DOI: 10.4204/EPTCS.2
M. T. Beek
{"title":"Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing","authors":"M. T. Beek","doi":"10.4204/EPTCS.2","DOIUrl":"https://doi.org/10.4204/EPTCS.2","url":null,"abstract":"Service-Oriented Computing (SOC) is an emerging new paradigm for distributed and object-oriented computing by allowing autonomous, platform-independent computational entities (called services) to be built (described, discovered, composed, orchestrated) within and across organizational boundaries. Like no other computing paradigm before, SOC is destined to exert a lasting influence on the business domain, among others (e-commerce, e-government, e-business, e-learning, e-health, etc.). \u0000The Young Researchers workshop series on Service-Oriented Computing is meant to be a platform for junior researchers from industry and academics alike. Its core objectives are to exchange information regarding advancements in the state of the art and practice of SOC, as well as to identify emerging research topics and the future trends in this domain. \u0000Following the success of the previous three workshops, the 4th European Young Researchers Workshop on Service-Oriented Computing (YR-SOC 2009) introduced two novelties: it was organised outside of the UK and it saw the introduction of a number of tutorials, thus making the workshop a 3-day event. YR-SOC 2009 took place at the CNR Institute of Information Science and Technologies in Pisa, Italy, and was organised by Maurice ter Beek, Barry Norton, Stephan Reiff-Marganiec and Monika Solanki. \u0000The contributions in this volume cover aspects such as automated service composition, context-aware SOC, service-oriented programming, QoS-aware SOC, service-oriented architectures, SOC modelling and analysis, process management, web services, ontologies and the semantic web.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128720166","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
Product Line Practice Workshop Report. 生产线实践车间报告。
arXiv: Software Engineering Pub Date : 1998-11-02 DOI: 10.21236/ada327610
L. Bass, P. Clements, Sholom G. Cohen, Linda M. Northrop, James Withey
{"title":"Product Line Practice Workshop Report.","authors":"L. Bass, P. Clements, Sholom G. Cohen, Linda M. Northrop, James Withey","doi":"10.21236/ada327610","DOIUrl":"https://doi.org/10.21236/ada327610","url":null,"abstract":"Abstract : The Department of Defense (DoD) Product Line Practice workshop, Product Lines: Bridging the Gap, Commercial Success to DoD Practice was a hands-on meeting held in March 1998. Its purpose was to identify industry wide best practices in software product lines, to share DoD product line experience, to explore the technical and non-technical issues involved, and to discuss ways in which the current gap between commercial best practice and DoD practice can be bridged. This report synthesizes the workshop presentations and discussions that described selected product line practices and identified barriers and enablers to achieving these practices within the DoD.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115876181","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}
引用次数: 54
首页 上一页 下一页 尾页
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学术官方微信