Anti-Patterns (Smells) in Temporal Specifications

Dor Ma’ayan*, Shahar Maoz, Jan Oliver Ringert

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Temporal specifications are essential inputs for verification and synthesis. Despite their importance, temporal specifications are challenging to write, which might limit their use by software engineers. To this day, almost no quality attributes of temporal specifications have been defined and investigated. Our work takes a first step toward exploring and improving the quality of temporal specifications by proposing a preliminary catalog of anti-patterns (a.k.a. smells). We base the catalog on our experience in developing and teaching temporal specifications for verification and synthesis. In addition, we examined publicly available specification repositories and relevant literature. Finally, we outline our future plans for a better understanding of what constitutes high-quality temporal specifications and the development of tools that will help engineers write them.

Original languageEnglish
Title of host publicationProceedings - 2023 ACM/IEEE 45th International Conference on Software Engineering
Subtitle of host publicationNew Ideas and Emerging Results, ICSE-NIER 2023
PublisherIEEE Computer Society
Pages13-18
Number of pages6
ISBN (Electronic)9798350300390
DOIs
StatePublished - 2023
Event45th ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2023 - Melbourne, Australia
Duration: 14 May 202320 May 2023

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Conference

Conference45th ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2023
Country/TerritoryAustralia
CityMelbourne
Period14/05/2320/05/23

Fingerprint

Dive into the research topics of 'Anti-Patterns (Smells) in Temporal Specifications'. Together they form a unique fingerprint.

Cite this