Anti-pattern Matching Modulo
From MaRDI portal
Publication:3540120
DOI10.1007/978-3-540-88282-4_26zbMath1156.68353OpenAlexW1575737560MaRDI QIDQ3540120
Pierre-Etienne Moreau, Claude Kirchner, Radu Kopetz
Publication date: 20 November 2008
Published in: Language and Automata Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00337722/file/KirchnerKM-LATA2008.pdf
Searching and sorting (68P10) Nonnumerical algorithms (68W05) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Connectors as designs: modeling, refinement and test case generation ⋮ Anti-patterns for rule-based languages
This page was built for publication: Anti-pattern Matching Modulo
