2009 Fourth International Conference on Dependability of Computer Systems最新文献_第4页

Separating Users' Views in a Development Process for Agile Methods 在敏捷方法的开发过程中分离用户视图

2009 Fourth International Conference on Dependability of Computer Systems Pub Date : 2009-06-30 DOI: 10.1109/DepCoS-RELCOMEX.2009.16

A. Bessam, M. Kimour, A. Melit

{"title":"Separating Users' Views in a Development Process for Agile Methods","authors":"A. Bessam, M. Kimour, A. Melit","doi":"10.1109/DepCoS-RELCOMEX.2009.16","DOIUrl":"https://doi.org/10.1109/DepCoS-RELCOMEX.2009.16","url":null,"abstract":"Agile methods require a rigorous development process that takes into account a permanent involvement of user in all development steps. Several advanced researches have treated the various aspects of agile development methods. However, they lack rigorous and specific processes based on explicit and detailed definition of users’ organization and interaction during development process. In this paper, we have suggested an approach that guides software projects managers in assignment of integrated users in development process. The basic definition of this process is based on a set of layers represented by nested circles. Circles from the center to the external surface represent, respectively, initial or starting users’ requirements, software architecture, design level and codification level. These layers are decomposed into slices from the center to the external circle. Each slice represents a different view that corresponds to a specific class of users. In our process, developers have not constrained by a specific views approach, they can choose the appropriate views approach from the literature (e.g. 4+1 view approach). Initial requirements, in this process, are represented by an extension of use case diagram definition of UML. The proposed process is driven by requirements. It is used for large software systems developed by a numerous and heterogeneous development teams. The developed process is characterized by its simplicity, and it can be easily adapted for other agile processes.","PeriodicalId":185730,"journal":{"name":"2009 Fourth International Conference on Dependability of Computer Systems","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131638790","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

Operational Availability of Railway Dispatch Communication System 铁路调度通信系统的运行有效性

2009 Fourth International Conference on Dependability of Computer Systems Pub Date : 2009-06-30 DOI: 10.1109/DepCoS-RELCOMEX.2009.28

M. Siergiejczyk

引用次数: 3

Dependability of Large Reconfigurable Information Systems 大型可重构信息系统的可靠性

2009 Fourth International Conference on Dependability of Computer Systems Pub Date : 2009-06-30 DOI: 10.1109/DepCoS-RELCOMEX.2009.44

D. Caban

引用次数: 3

Siphon-Based Verification of Component Compatibility 基于虹吸的组件兼容性验证

2009 Fourth International Conference on Dependability of Computer Systems Pub Date : 2009-06-30 DOI: 10.1109/DepCoS-RELCOMEX.2009.35

W. M. Zuberek

引用次数: 3

The Design and Implementation of a Documentation Generator for the PRISM Language PRISM语言文档生成器的设计与实现

2009 Fourth International Conference on Dependability of Computer Systems Pub Date : 2009-06-30 DOI: 10.1109/DepCoS-RELCOMEX.2009.29

H. Dworak

引用次数: 1

A Domain Specific Language in Dependability Analysis 可靠性分析中的领域特定语言

2009 Fourth International Conference on Dependability of Computer Systems Pub Date : 2009-06-30 DOI: 10.1109/DepCoS-RELCOMEX.2009.14

M. Kowalski, K. Wilkosz

{"title":"A Domain Specific Language in Dependability Analysis","authors":"M. Kowalski, K. Wilkosz","doi":"10.1109/DepCoS-RELCOMEX.2009.14","DOIUrl":"https://doi.org/10.1109/DepCoS-RELCOMEX.2009.14","url":null,"abstract":"Domain Specific Languages gain increasing popularity as they substantially leverage software development by bridging the gap between technical and business area. After a domain framework is produced, experts gain an effective vehicle for assessing quality and performance of a system in the business-specific context. We consider the domain to be dependability of Multi-Agent System (MAS), for which a key requirement is an efficient verification of a topology model of a power system. As a result, we come up with a reliability evaluation solution offering a significant rise in the level of abstraction towards MAS utilized for purposes of a power system topology verification.. By means of the mentioned solution safety engineers are enabled to perform analysis while the design is still incomplete.A new DSL is developed in XText in order to specify a structure of the system together with dependability extensions, which are further translated into Dynamic Fault Trees using Model to Model Transformations. The Eclipse Ecore becomes a common denominator, in which both metamodels’ Abstract Syntax Trees are defined. Finally, an expert is offered with two ways of defining a model: through abstract and textual concrete syntax, both of which are checked for consistency using Object Constraint Language.","PeriodicalId":185730,"journal":{"name":"2009 Fourth International Conference on Dependability of Computer Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117225856","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

A Concept of a Web Application Blending Thin and Fat Client Architectures 混合瘦客户端和胖客户端架构的Web应用概念

2009 Fourth International Conference on Dependability of Computer Systems Pub Date : 2009-06-30 DOI: 10.1109/DepCoS-RELCOMEX.2009.9

H. Dworak

引用次数: 1

Data Mining Techniques for Semi-automatic Signature Generation 半自动签名生成的数据挖掘技术

2009 Fourth International Conference on Dependability of Computer Systems Pub Date : 2009-06-30 DOI: 10.1109/DepCoS-RELCOMEX.2009.24

W. Tylman

引用次数: 3

Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies 故障树描述系统实时分析中的CTL和RTCTL演算语言

2009 Fourth International Conference on Dependability of Computer Systems Pub Date : 2009-06-30 DOI: 10.1109/DepCoS-RELCOMEX.2009.12

P. Głuchowski

引用次数: 2

On Complexity of Coordination of Parallel Graph Transformations in GRADIS Framework GRADIS框架下并行图变换的协调复杂性研究

2009 Fourth International Conference on Dependability of Computer Systems Pub Date : 2009-06-30 DOI: 10.1109/DepCoS-RELCOMEX.2009.51

L. Kotulski, A. Sȩdziwy

引用次数: 7