東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Enhanced unified modeling language m...

Zubeck, John C.

FindBook

Google Book

Amazon

博客來

Enhanced unified modeling language model-checking for business software applications.

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Enhanced unified modeling language model-checking for business software applications./
作者:	Zubeck, John C.
面頁冊數:	245 p.
附註:	Adviser: David C. Rine.
Contained By:	Dissertation Abstracts International67-10B.
標題:	Computer Science. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3239476
ISBN:	9780542933110

Enhanced unified modeling language model-checking for business software applications.
Zubeck, John C.

Enhanced unified modeling language model-checking for business software applications. - 245 p.

Adviser: David C. Rine.

Thesis (Ph.D.)--George Mason University, 2007.

The industry standard Unified Modeling Language (UML) tool provides the software developer little guidance about whether proposed sets of UML diagrams are sensible representations approaching satisfaction of domain application requirements. Standard automated-UML-checkers do not check for omission of critical types of domain UML elements, nor for dependency relationships between different functional types of these elements. This dissertation developed an enhanced UML-checking-tool which focuses on three conceptual groups of keystone UML elements that organize automated-UML-checking for business applications software design. In addition, a complementary UML methodology is proposed which further organizes UML business software application development by emphasizing preference of reusable UML elements representing software from legacy applications, from commercial-off-the-shelf (COTS) components, and from software design patterns. Evaluations of the dissertation prototype against the industry standard automated-UML-checker showed improved checking that highlights conflicts and dependencies among conceptual building-blocks for a specific domain. This research demonstrates how knowledge representation in the form of UML elements can be translated into a format that can be subjected to enhanced automated-rule-checking.

ISBN: 9780542933110Subjects--Topical Terms:

626642
Computer Science.

Enhanced unified modeling language model-checking for business software applications.
LDR:02221nam 2200277 a 45 001 964270
005 20110901
008 110901s2007 eng d
020 $a 9780542933110
035 $a (UMI)AAI3239476
035 $a AAI3239476
040 $a UMI $c UMI
100 1 $a Zubeck, John C. $3 1287333
245 1 0 $a Enhanced unified modeling language model-checking for business software applications.
300 $a 245 p.
500 $a Adviser: David C. Rine.
500 $a Source: Dissertation Abstracts International, Volume: 67-10, Section: B, page: 5873.
502 $a Thesis (Ph.D.)--George Mason University, 2007.
520 $a The industry standard Unified Modeling Language (UML) tool provides the software developer little guidance about whether proposed sets of UML diagrams are sensible representations approaching satisfaction of domain application requirements. Standard automated-UML-checkers do not check for omission of critical types of domain UML elements, nor for dependency relationships between different functional types of these elements. This dissertation developed an enhanced UML-checking-tool which focuses on three conceptual groups of keystone UML elements that organize automated-UML-checking for business applications software design. In addition, a complementary UML methodology is proposed which further organizes UML business software application development by emphasizing preference of reusable UML elements representing software from legacy applications, from commercial-off-the-shelf (COTS) components, and from software design patterns. Evaluations of the dissertation prototype against the industry standard automated-UML-checker showed improved checking that highlights conflicts and dependencies among conceptual building-blocks for a specific domain. This research demonstrates how knowledge representation in the form of UML elements can be translated into a format that can be subjected to enhanced automated-rule-checking.
590 $a School code: 0883.
650 4 $a Computer Science. $3 626642
650 4 $a Engineering, System Science. $3 1018128
690 $a 0790
690 $a 0984
710 2 0 $a George Mason University. $3 1019450
773 0 $t Dissertation Abstracts International $g 67-10B.
790 $a 0883
790 1 0 $a Rine, David C., $e advisor
791 $a Ph.D.
792 $a 2007
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3239476