東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Foundation for composable microservi...

Kim, Sung Joong.

Linked to FindBook

Google Book

Amazon

博客來

Foundation for composable microservices for rapid synthesis of highly reliable software systems.

Record Type:	Electronic resources : Monograph/item
Title/Author:	Foundation for composable microservices for rapid synthesis of highly reliable software systems./
Author:	Kim, Sung Joong.
Description:	188 p.
Notes:	Source: Dissertation Abstracts International, Volume: 65-07, Section: B, page: 3541.
Contained By:	Dissertation Abstracts International65-07B.
Subject:	Computer Science. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3139229
ISBN:	0496863754

Foundation for composable microservices for rapid synthesis of highly reliable software systems.
Kim, Sung Joong.

Foundation for composable microservices for rapid synthesis of highly reliable software systems. - 188 p.

Source: Dissertation Abstracts International, Volume: 65-07, Section: B, page: 3541.

Thesis (Ph.D.)--The University of Texas at Dallas, 2004.

Software continues to become more and more complex due to the growing sophistication and complexity of modern applications. Furthermore, today's highly competitive business environment demands accelerated development schedules to exploit windows of opportunities. In addition, it is necessary to be able not only to achieve high quality but also to rigorously demonstrate that high quality has in fact been achieved. Thus, success in today's global marketplace requires the ability to quickly customize and adapt products for niche markets and to satisfy diverse regional reliability requirements, standards, and procedures. This research identifies several drawbacks with current software development methods and proposes a novel aspect-oriented design method to ensure that system properties can be mathematically inferred from those of its components. This will enable the development of highly dependable software systems. In particular, we address a fundamental challenge in integrating highly dependable software systems from existing commercial-off-the-shelf (COTS) components. We have developed a method of constructing a repository of dependable orthogonal microservices that can be rapidly customized and automatically integrated together to build reliable application-specific frameworks. The method ensures that the dependability of the resulting application can be mathematically inferred from the dependability of the underlying microservices and the application-specific components. The approach has been validated for applications ranging from sensor networks to secure e-mail systems.

ISBN: 0496863754Subjects--Topical Terms:

626642
Computer Science.

Foundation for composable microservices for rapid synthesis of highly reliable software systems.
LDR:02504nmm 2200265 4500 001 1846691
005 20051103093537.5
008 130614s2004 eng d
020 $a 0496863754
035 $a (UnM)AAI3139229
035 $a AAI3139229
040 $a UnM $c UnM
100 1 $a Kim, Sung Joong. $3 1934795
245 1 0 $a Foundation for composable microservices for rapid synthesis of highly reliable software systems.
300 $a 188 p.
500 $a Source: Dissertation Abstracts International, Volume: 65-07, Section: B, page: 3541.
500 $a Supervisor: Farokh B. Bastani.
502 $a Thesis (Ph.D.)--The University of Texas at Dallas, 2004.
520 $a Software continues to become more and more complex due to the growing sophistication and complexity of modern applications. Furthermore, today's highly competitive business environment demands accelerated development schedules to exploit windows of opportunities. In addition, it is necessary to be able not only to achieve high quality but also to rigorously demonstrate that high quality has in fact been achieved. Thus, success in today's global marketplace requires the ability to quickly customize and adapt products for niche markets and to satisfy diverse regional reliability requirements, standards, and procedures. This research identifies several drawbacks with current software development methods and proposes a novel aspect-oriented design method to ensure that system properties can be mathematically inferred from those of its components. This will enable the development of highly dependable software systems. In particular, we address a fundamental challenge in integrating highly dependable software systems from existing commercial-off-the-shelf (COTS) components. We have developed a method of constructing a repository of dependable orthogonal microservices that can be rapidly customized and automatically integrated together to build reliable application-specific frameworks. The method ensures that the dependability of the resulting application can be mathematically inferred from the dependability of the underlying microservices and the application-specific components. The approach has been validated for applications ranging from sensor networks to secure e-mail systems.
590 $a School code: 0382.
650 4 $a Computer Science. $3 626642
690 $a 0984
710 2 0 $a The University of Texas at Dallas. $3 1018411
773 0 $t Dissertation Abstracts International $g 65-07B.
790 1 0 $a Bastani, Farokh B., $e advisor
790 $a 0382
791 $a Ph.D.
792 $a 2004
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3139229