An Ontology of Specification Patterns for Verification of Concurrent Systems
Garanina Natalia, Zubin Vladimir, Lyakh Tatiana, Gorlatch Sergei
Research article (book contribution) | Peer reviewedDetails about the publication
Publisher: Fujita Hamido, Herrera-Viedma Enrique
Book title: New Trends in Intelligent Software Methodologies, Tools and Techniques
Page range: 515-528
Publishing company: IOS Press
Place of publication: Amsterdam
Title of series: Frontiers in Artificial Intelligence and Applications
Volume of series: 303
Status: Published
Release year: 2018
Language in which the publication is written: English
ISBN: 978-1-61499-899-0
Keywords: specification patterns; requirement engeneering; temporal logics; formal specification; ontology
Authors from the University of Münster
| Gorlatch, Sergei | Professur für Praktische Informatik (Prof. Gorlatch) |