• Home
  • Browse
    • Current Issue
    • By Issue
    • By Author
    • By Subject
    • Author Index
    • Keyword Index
  • Journal Info
    • About Journal
    • Aims and Scope
    • Editorial Board
    • Publication Ethics
    • Indexing and Abstracting
    • Related Links
    • FAQ
    • Peer Review Process
    • Journal Metrics
    • News
  • Guide for Authors
  • Submit Manuscript
  • Reviewers
    • Reviewer's Guide
    • Publons Membership and Review Guide
  • Contact Us
  • Login
    • Login
    • Register
  • Persian

AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS

Authors

  • S. H. Mirian Hussein Abadi
  • A. Jalali

Dept. of Computer Engineering Sharif University of Technology

Abstract

-

Keywords

  • -

Sharif Journal of Civil Engineering
Vol. 19, No. 25
Science & Engineering
October 2003
Pages 42-53

Files

  • XML
  • PDF 2.4 M

Share

How to cite

  • RIS
  • EndNote
  • Mendeley
  • BibTeX
  • APA
  • MLA
  • HARVARD
  • CHICAGO
  • VANCOUVER

Statistics

  • Article View: 2,536
  • PDF Download: 1,307

APA

Mirian Hussein Abadi, S. H. and Jalali, A. (2003). AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS. Sharif Journal of Civil Engineering, Vol. 19(No. 25), 42-53.

MLA

Mirian Hussein Abadi, S. H. , and Jalali, A. . "AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS", Sharif Journal of Civil Engineering, Vol. 19, No. 25, 2003, 42-53.

HARVARD

Mirian Hussein Abadi, S. H., Jalali, A. (2003). 'AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS', Sharif Journal of Civil Engineering, Vol. 19(No. 25), pp. 42-53.

CHICAGO

S. H. Mirian Hussein Abadi and A. Jalali, "AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS," Sharif Journal of Civil Engineering, Vol. 19 No. 25 (2003): 42-53,

VANCOUVER

Mirian Hussein Abadi, S. H., Jalali, A. AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS. Sharif Journal of Civil Engineering, 2003; Vol. 19(No. 25): 42-53.

Explore Journal

  • Home
  • About Journal
  • Editorial Board
  • Submit Manuscript
  • Contact Us
  • Sitemap

Latest News

  • Obtaining rank A from the Sharif Civil Engineering and Management Journal from the Ministry of Atef in the evaluation of 1403 2025-11-09
  • Obtaining the first grade of Sharif Civil Engineering Magazine from the Ministry of Ataf in the assessment of 2024 2024-08-10
  • - 2017-03-21
  • The journal of Sharif went online by Springer publication. 2012-11-04
  • Access to the full file of articles is free and open for interested readers. 1994-03-21

publishing the papers of the authors in this journal is free of charge 

Creative Commons License  
This work is licensed under a Creative Commons Attribution 4.0 International License.

 

Newsletter Subscription

Subscribe to the journal newsletter and receive the latest news and updates

  • © Journal management system. designed by sinaweb