DETERMINATION OF FORMAL METHODS CAPABILITIES FOR SOFTWARE SPECIFICATION AND ANALYSIS

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

BABAMIR S.M.; AHMADI SABET V.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR Year:2012 | Volume:10 | Issue:1 Page(s): 3-19

Download Full-Text

Persian Verion

View:

2,412

Download:

Cites:

Information Journal Paper

Title

DETERMINATION OF FORMAL METHODS CAPABILITIES FOR SOFTWARE SPECIFICATION AND ANALYSIS

Author(s)

BABAMIR S.M. | AHMADI SABET V. | Issue Writer Certificate

Keywords

SOFTWARE SPECIFICATION AND VERIFICATIONQ3

FORMAL METHODSQ3

SOFTWARE CATEGORIZATIONQ3

STATE BASEDQ3

EVENT BASEDQ3

Abstract

Software developers face the problem of adopting a suitable formal method to developing their software. We aim to determine capability level of FORMAL METHODS in software specification and analysis in four steps. The first step introduces the criteria by which the FORMAL METHODS assess. The second and third ones deal with categorizing sorts of software and FORMAL METHODS based on their solution methods. The fourth step determines fitness of some typical FORMAL METHODS to specification and analysis of each software category.

Cites

No record.

References

No record.

Cite

APA: Copy

BABAMIR, S.M., & AHMADI SABET, V.. (2012). DETERMINATION OF FORMAL METHODS CAPABILITIES FOR SOFTWARE SPECIFICATION AND ANALYSIS. NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR, 10(1), 3-19. SID. https://sid.ir/paper/228498/en

Vancouver: Copy

BABAMIR S.M., AHMADI SABET V.. DETERMINATION OF FORMAL METHODS CAPABILITIES FOR SOFTWARE SPECIFICATION AND ANALYSIS. NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR[Internet]. 2012;10(1):3-19. Available from: https://sid.ir/paper/228498/en

IEEE: Copy

S.M. BABAMIR, and V. AHMADI SABET, “DETERMINATION OF FORMAL METHODS CAPABILITIES FOR SOFTWARE SPECIFICATION AND ANALYSIS,” NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR, vol. 10, no. 1, pp. 3–19, 2012, [Online]. Available: https://sid.ir/paper/228498/en

Related Journal Papers