Sign inSubmit

American Journal of Applied Sciences

ISSN 1546-9239 (print)eISSN 1554-3641 (online) Open access
Sign up for alertsSubmit manuscript
Research Article · Open access · Published 30 April 2008

SNL2Z: Tool for Translating an Informal Structured Software Specification into Formal Specification

Mohamed A. Sullabi, Zarina Shukur
ArticleArticle metrics

Since publication

7,139Views
5,275PDF downloads
2Citations (Crossref)

Views and downloads by month

NovDecJanFebMarAprMayJunJulAugSepOct
Views PDF downloadsLast 12 months, counted as COUNTER asks (robots and repeat clicks within 30 seconds left out)
Show as a table
Views and downloads by month
MonthViewsDownloads
Nov 202515993
Dec 202513080
Jan 202613792
Feb 202613962
Mar 2026186104
Apr 2026127131
May 2026166105
Jun 202619899
Jul 2026192102
Aug 2026107106
Sep 202614282
Oct 202610186

Citing articles (2)

Read from Crossref’s cited-by service every week, newest first.

  1. doi:10.1109/access.2019.2955160Found 12 June 2020
  2. doi:10.1109/infrkm.2012.6204993Found 12 June 2020