@inproceedings{a5b4a60a7f5345e08af97fcccf0b94ea,
title = "FormulaBuilder: A tool for graph-based modelling and generation of formulae",
abstract = "In this paper we present the FormulaBuilder, a flexible tool for graph-based modelling and generation of formulae. The FormulaBuilder allows easy and intuitive creation of formulae by using basic components called Formula Building Blocks (FBBs) and arranging them as graphs according to the syntactic structure of a formula. Such a graph can then be validated and used to generate the corresponding formula on the basis of a specific syntax which is chosen from a list of syntaxes supported by the FormulaBuilder. An important application of the FormulaBuilder is the formal specification of properties that describe the requirements of a system. Such property specifications are usually needed by verification tools like model checkers, that help software engineers to detect errors in a specified system. The FormulaBuilder allows users to model property specifications as formula graphs by using commonly-occurring specification patterns.",
keywords = "Formula generation, Property specification, Specification patterns",
author = "Sven J{\"o}rges and Tiziana Margaria and Bernhard Steffen",
year = "2006",
language = "English",
isbn = "1595933751",
series = "Proceedings - International Conference on Software Engineering",
pages = "815--818",
booktitle = "Proceeding of the 28th International Conference on Software Engineering 2006, ICSE '06",
note = "28th International Conference on Software Engineering 2006, ICSE '06 ; Conference date: 20-05-2006 Through 28-05-2006",
}