Concepedia

Specification Languages

Specification Languages is a formal system comprising syntactic and semantic conventions that precisely define the structure, behavior, and constraints of software and hardware systems, distinguished from other modeling or programming languages by its emphasis on unambiguous, mathematically rigorous descriptions intended for verification and validation.

6.3K

Publications

286K

Citations

9.8K

Authors

1.8K

Institutions

Publications per year

2017–2026

485

Parents

Children

Publications

6.3K

The Semantics of a Simple Language for Parallel Programming.

Gilles Kahn · IFIP Congress · 1974 · 2.1K citations

, , +14

A classification and comparison framework for software architecture description languages

Nenad Medvidović, Richard N. Taylor · IEEE Transactions on Software Engineering · 2000 · 2K citations

, , +12

Guarded commands, nondeterminacy and formal derivation of programs

Edsger W. Dijkstra · Communications of the ACM · 1975 · 1.9K citations · Full text

, , +14

The synchronous data flow programming language LUSTRE

Nicolas Halbwachs, P. Caspi, Pascal Raymond et al. · Proceedings of the IEEE · 1991 · 1.5K citations · Full text

, , +15

Software abstractions: logic, language and analysis

Choice Reviews Online · 2007 · 1.5K citations

, , +11

1–5 of 6.3K

Authors

9.8K

  1. GT
    Gary T. Leavens

    Iowa State University, United States

    25 publications · 2.2K citations

    19

    h-index

  2. DH
    David Harel

    Weizmann Institute of Science, Israel

    22 publications · 3.6K citations

    18

    h-index

  3. GR
    Grigore Roşu

    University of Illinois Urbana-Champaign, United States

    25 publications · 1.4K citations

    18

    h-index

  4. GV
    Gregor von Bochmann

    Université de Montréal, Canada

    22 publications · 1.4K citations

    17

    h-index

  5. SM
    Shahar Maoz

    Tel Aviv University, Israel

    20 publications · 857 citations

    17

    h-index

1–5 of 9.8K

Institutions

1.8K

  1. Carnegie Mellon University

    Pittsburgh, United States

    47 h-index

    156 publications

    18.1K citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    42 h-index

    280 publications

    13.6K citations

  3. Imperial College London

    London, United Kingdom

    40 h-index

    225 publications

    15.4K citations

  4. Stanford University

    Stanford, United States

    39 h-index

    114 publications

    9.5K citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    35 h-index

    218 publications

    9.5K citations

  6. Massachusetts Institute of Technology

    Cambridge, United States

    34 h-index

    141 publications

    9.3K citations

  7. Weizmann Institute of Science

    Rehovot, Israel

    31 h-index

    72 publications

    8.2K citations

  8. University of Oxford

    Oxford, United Kingdom

    30 h-index

    82 publications

    5.9K citations

1–8 of 1.8K

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 188 publications · 16.9K citations

    65

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 202 publications · 7.5K citations

    42

    h-index

  3. Theoretical Computer Science

    73 publications · 6.3K citations

    36

    h-index

  4. Science of Computer Programming

    71 publications · 3.5K citations

    32

    h-index

  5. ACM SIGPLAN Notices

    86 publications · 4.2K citations

    32

    h-index

1–5