Constraint-based Specification

Constraint-Based Specification is a formal specification method that belongs to the class of declarative specification techniques, distinguished by its use of logical predicates and mathematical constraints to define the permissible states and behaviors of a system without prescribing procedural implementation details.

127

Publications

5.3K

Citations

307

Authors

117

Institutions

Publications per year

2017–2026

Parents

Specification Languages

Publications

127

SPIRIT: Sequential Pattern Mining with Regular Expression Constraints

Minos Garofalakis, Rajeev Rastogi, Kyuseok Shim · 1999 · 451 citations

Computing, Computer Science, Data Mining +11

Constraint-based Task Specification and Estimation for Sensor-Based Robot Systems in the Presence of Geometric Uncertainty

Joris De Schutter, Tinne De Laet, Johan Rutgeerts et al. · The International Journal of Robotics Research · 2007 · 263 citations · Full text

Engineering, Mechanical Engineering, Robotics Engineering +13

6D hands

Robert Wang, Sylvain Paris, Jovan Popović · 2011 · 225 citations

Engineering, Design, Robotics Engineering +13

The TETRAD Project: Constraint Based Aids to Causal Model Specification

Richard Scheines, Peter Spirtes, Clark Glymour et al. · Multivariate Behavioral Research · 1998 · 217 citations

Social Sciences, Computer Science, Mathematics +17

Charticulator: Interactive Construction of Bespoke Chart Layouts

Donghao Ren, Bongshin Lee, Matthew Brehmer · IEEE Transactions on Visualization and Computer Graphics · 2018 · 142 citations

Computing, Design, Visualization +15

1–5 of 127

Authors

307

FM
Frédéric Mallet
Institut national de recherche en sciences et technologies du numérique, France
7 publications · 257 citations
7
h-index
JD
Joris De Schutter
KU Leuven, Belgium
5 publications · 432 citations
5
h-index
EA
Erwin Aertbeliën
KU Leuven, Belgium
4 publications · 418 citations
4
h-index
CA
Charles André
Universidade Federal do Rio de Janeiro, Brazil
4 publications · 202 citations
4
h-index
KM
Kim Marriott
Monash University, Australia
3 publications · 134 citations
3
h-index

1–5 of 307

Institutions

117

1–8 of 117

Venues

Software & Systems Modeling
SoSyM · 4 publications · 98 citations
4
h-index
HAL (Le Centre pour la Communication Scientifique Directe)
Repository · 2 publications · 128 citations
2
h-index
Knowledge-Based Systems
2 publications · 38 citations
2
h-index
arXiv (Cornell University)
Repository · 2 publications · 124 citations
2
h-index
Innovations in Systems and Software Engineering
2 publications · 121 citations
2
h-index

1–5