Using Formal Methods in Component Based Software Development

被引：0

作者：

Shirali-Shahreza, Sajad ^{[1
]}

Shirali-Shahreza, Mohammad ^{[1
]}

机构：

[1] Sharif Univ Technol, Tehran, Iran

来源：

INNOVATIONS AND ADVANCES IN COMPUTER SCIENCES AND ENGINEERING | 2010年

关键词：

Component-Based Software Development; Component Retrieval; Formal Methods; Reuse; Software Engineering; REUSE;

D O I：

10.1007/978-90-481-3658-2_75

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Reusing the programs which have already been developed can shorten the production time and reduce costs and expenses. One of the important issues in software reuse is finding a program or a program component in a program library which has been already developed and using it in the new program. In view of precision and automation that formal methods can provide, we can use formal methods in retrieval appropriate components from the software libraries. In this paper, some of the works done in the field of retrieval of the components from the libraries by the help of formal methods have been surveyed and reviewed.

引用

页码：429 / 432

页数：4

共 32 条

[1]

AGARWAL NK, 2006, P 13 AS PAC SOFTW EN, P37

[2] Modelling formal integrated component retrieval [J].

Atkinson, S .

FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE REUSE - PROCEEDINGS, 1998, :337-346

[3] Cognitive deficiencies in software library design [J].

Atkinson, S .

ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, :354-363

[4] A formal approach to software components classification and retrieval [J].

Chang, CT ;

Chu, WC ;

Liu, CS ;

Yang, HJ .

COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, :264-269

[5]

Chu WC, 1995, P INT COMP SOFTW APP, P290, DOI 10.1109/CMPSAC.1995.524793

[6]

CHU WC, 1994, P INT COMP SOFTW APP, P252, DOI 10.1109/CMPSAC.1994.342796

[7] A formal method to software integration in reuse [J].

Chu, WC ;

Yang, HJ .

TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 :343-348

[8]

Clifton C, 1995, 10TH KNOWLEDGE-BASED SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, P139, DOI 10.1109/KBSE.1995.490129

[9] A metacomponent model to support the extensibility and evolvability of networked applications [J].

da Silveira, GE ;

Meira, SL .

TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS - TOOLS 34, PROCEEDINGS, 2000, :185-194

[10]

EHIKIOYA SA, 1999, P 1999 IEEE CAN C EL, V1, P283

← 1 2 3 4 →