Specifications are not (necessarily) executable
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date1989/01/01
-
Journal
-
Indian UGC (journal)
-
Refrences20
-
Citations39
-
I.J. Hayes
-
C.B. Jones
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Title | 1986 | |||
| Title | 1983 | |||
| Title | 1975 | |||
| 10.1007/BF00263649 | ||||
| 10.1007/3-540-15199-0_9 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
Requirementsârelated fault prevention during the transformation from formal specifications to programs | IET Software |
| 2023 | |
| A formal specification animation method for operation validation | Journal of Systems and Software |
| 2 | 2021 |
Integrating formal specifications into applications: the ProB Java API | Formal Methods in System Design |
| 1 | 2020 |
A survey of challenges for runtime verification from advanced application domains (beyond software) | Formal Methods in System Design |
| 22 | 2019 |
| Validation of formal specifications through transformation and animation | Requirements Engineering |
| 3 | 2016 |
Citations Analysis
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science 29
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Computer-aided prototyping: transformational approach and was published in 1991. The most recent citation comes from a 2023 study titled Requirementsârelated fault prevention during the transformation from formal specifications to programs. This article reached its peak citation in 2001, with 4 citations. It has been cited in 20 different journals, 5% of which are open access. Among related journals, the Journal of Systems and Software cited this research the most, with 7 citations. The chart below illustrates the annual citation trends for this article.