Automated Method for Identifying Inconsistencies Within Diagrammatic Software Requirements Specifications

Name: Automated Method for Identifying Inconsistencies Within Diagrammatic Software Requirements Specifications
Brand: Biblioscholar
SKU: 9781288911240
Price: 6235 HUF
Availability: InStock

Szerző: Zhong Zhang

Nyelv:

Kötés: Puha kötésű

Kiadó: Biblioscholar

Elérhetőség: Beszállítói készleten

Küldés 14-21 napon belül

6 235 Ft

The development of large-scale, composite software in a geographically distributed environment is an...

Információk a könyvről

Szerző

Zhong Zhang

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2013

oldal

102

EAN

9781288911240

ISBN

9781288911240

Enbook ID

08287048

Kiadó

Biblioscholar

Súly

195

Méretek

189 x 246 x 5

Teljes leírás

The development of large-scale, composite software in a geographically distributed environment is an evolutionary process. Often, in such evolving systems, striving for consistency is complicated by many factors, because development participants have various locations, skills, responsibilities, roles, opinions, languages, terminology and different degrees of abstraction they employ. This naturally leads to many partial specifications or viewpoints. These multiple views on the system being developed usually overlap. From another aspect, these multiple views give rise to the potential for inconsistency. Existing CASE tools do not efficiently manage inconsistencies in distributed development environment for a large-scale project. Based on the ViewPoints framework the WHERE (Web-Based Hypertext Environment for requirements Evolution) toolkit aims to tackle inconsistency management issues within geographically distributed software development projects. Consequently, WHERE project helps make more robust software and support software assurance process. The long term goal of WHERE tools aims to the inconsistency analysis and management in requirements specifications. A framework based on Graph Grammar theory and TCMJAVA toolkit is proposed to detect inconsistencies among viewpoints. This systematic approach uses three basic operations (UNION, DIFFERENCE, INTERSECTION) to study the static behaviors of graphic and tabular notations. From these operations, subgraphs Query, Selection, Merge, Replacement operations can be derived. This approach uses graph PRODUCTIONS (rewriting rules) to study the dynamic transformations of graphs. We discuss the feasibility of implementation these operations. Also, We present the process of porting original TCM (Toolkit for Conceptual Modeling) project from C++ to Java programming language in this thesis.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Automated Method for Identifying Inconsistencies Within Diagrammatic Software Requirements Specifications

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták