Concepedia

Formal Specifications

Formal Specifications is a rigorous, mathematically precise description of a system's required properties, behaviors, or constraints, distinguished from informal or natural language specifications by its use of formal languages and logic to enable unambiguous interpretation and verification.

1.2K

Publications

58.5K

Citations

2.6K

Authors

791

Institutions

Publications per year

2017–2026

128

Variants

Formal Specification

Parents

Publications

1.2K

Formal ontology, conceptual analysis and knowledge representation

Nicola Guarino · International Journal of Human-Computer Studies · 1995 · 1.2K citations

, , +15

Inductive logic programming

Stephen Muggleton · New Generation Computing · 1991 · 945 citations

, , +16

Formal Ontology and Information Systems

Maureen P. Donnelly, Giancarlo Guizzardi · 2012 · 868 citations

, , +14

The category-partition method for specifying and generating functional tests

Thomas J. Ostrand, Marc Balcer · Communications of the ACM · 1988 · 795 citations · Full text

, , +15

Automatically finding patches using genetic programming

Westley Weimer, ThanhVu Nguyen, Claire Le Goues et al. · 2009 · 772 citations

, , +15

1–5 of 1.2K

Authors

2.6K

  1. SL
    Shaoying Liu

    Hosei University, Japan

    16 publications · 721 citations

    11

    h-index

  2. BH
    Betty H. C. Cheng

    Michigan State University, United States

    12 publications · 510 citations

    11

    h-index

  3. MP
    Mats P. E. Heimdahl

    University of Minnesota, United States

    10 publications · 864 citations

    10

    h-index

  4. CB
    Călin Belta

    Boston University, United States

    10 publications · 734 citations

    10

    h-index

  5. AM
    Angelo Morzenti

    Politecnico di Milano, Italy

    8 publications · 393 citations

    8

    h-index

1–5 of 2.6K

Institutions

791

  1. University of California, Berkeley

    Berkeley, United States

    17 h-index

    43 publications

    1.9K citations

  2. Massachusetts Institute of Technology

    Cambridge, United States

    16 h-index

    27 publications

    2K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    15 h-index

    34 publications

    1.8K citations

  4. Politecnico di Milano

    Milan, Italy

    13 h-index

    33 publications

    1.4K citations

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

    Le Chesnay-Rocquencourt, France

    13 h-index

    34 publications

    2.8K citations

  6. Imperial College London

    London, United Kingdom

    13 h-index

    28 publications

    1.1K citations

  7. Carnegie Mellon University

    Pittsburgh, United States

    13 h-index

    23 publications

    2.3K citations

  8. Michigan State University

    East Lansing, United States

    12 h-index

    28 publications

    1.7K citations

1–8 of 791

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 53 publications · 5.8K citations

    34

    h-index

  2. ACM SIGPLAN Notices

    21 publications · 1.2K citations

    17

    h-index

  3. Software Engineering Journal

    18 publications · 1.2K citations

    15

    h-index

  4. ACM Transactions on Software Engineering and Methodology

    TOSEM · 14 publications · 888 citations

    13

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 17 publications · 650 citations

    13

    h-index

1–5