Behavioral interface specification languages
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2012/06/01
-
Journal
-
Indian UGC (journal)
-
Refrences269
-
Citations27
-
John Hatcliff Kansas State University
-
Gary T. Leavens University of Central Florida
-
K. Rustan M. Leino Microsoft Research
-
Peter Müller ETH Zurich
-
Matthew Parkinson Microsoft Research Cambridge
Abstract
Cite
Hatcliff, John, et al. “Behavioral Interface Specification Languages”. ACM Computing Surveys, vol. 44, no. 3, 2012, pp. 1-58, https://doi.org/10.1145/2187671.2187678.
Hatcliff, J., Leavens, G. T., Leino, K. R. M., Müller, P., & Parkinson, M. (2012). Behavioral interface specification languages. ACM Computing Surveys, 44(3), 1-58. https://doi.org/10.1145/2187671.2187678
Hatcliff J, Leavens GT, Leino KRM, Müller P, Parkinson M. Behavioral interface specification languages. ACM Computing Surveys. 2012;44(3):1-58.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
- A Sparse Matrix Arithmetic Based on $\Cal H$ -Matrices. Part I: Introduction to ${\Cal H}$ -Matrices
- Adaptive Low-Rank Approximation of Collocation Matrices
- Dimension?Adaptive Tensor?Product Quadrature
- A Systematic Review of Research about Game-based Learning in Virtual Worlds
- Finding the Gaps about Uses of Immersive Learning Environments: A Survey of Surveys
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Structural specification-based testing: Automated support and experimental evaluation. In Software Engineering -- ESEC/FSE '99, O. Nierstrasz and M. Lemoine, Eds. Lecture Notes in Computer Science, vol. 1687. Springer-Verlag, 285--302 | 1999 | |||
| Evolving algebras: A tutorial introduction | 1991 | |||
| Concurrency: State Models & Java Programs | 2006 | |||
| Unified Process: Practical Object-Oriented Analysis and Design | 2005 | |||
| Mathematical Center Tracts | 1980 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Model based component development and analysis with ComMA | Science of Computer Programming |
| 2024 | |
Co-Developing Programs and Their Proof of Correctness | Communications of the ACM |
| 2024 | |
| Verification of mutable linear data structures and iterator-based algorithms in Dafny | Journal of Logical and Algebraic Methods in Programming |
| 2023 | |
Formal Specification and Verification of JDK’s Identity Hash Map Implementation | Formal Aspects of Computing |
| 2023 | |
A Relational Program Logic with Data Abstraction and Dynamic Framing | ACM Transactions on Programming Languages and Systems |
| 2022 |
Citations Analysis
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science 22
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Stepwise refinement of heap-manipulating code in Chalice and was published in 2012. The most recent citation comes from a 2024 study titled Co-Developing Programs and Their Proof of Correctness. This article reached its peak citation in 2018, with 7 citations. It has been cited in 19 different journals, 5% of which are open access. Among related journals, the Formal Aspects of Computing cited this research the most, with 4 citations. The chart below illustrates the annual citation trends for this article.