Formal methods are mathematically based techniques for the rigorous development of
software-intensive systems. The railway signaling domain is a field in which formal methods …

MathSAT is a long-term project, which has been jointly carried on by FBK-IRST and
University of Trento, with the aim of develo** and maintaining a state-of-the-art SMT tool …

User stories are a widely adopted requirements notation in agile development. Yet, user
stories are too often poorly written in practice and exhibit inherent quality defects. Triggered …

One of the challenges of requirements engineering is the fact that requirements are often
formulated in natural language. This represents difficulty if requirements must be processed …

Contract-based design enriches a component model with properties structured in pairs of
assumptions and guarantees. These properties are expressed in term of the variables at the …

Higher order energy functions have the ability to encode high level structural dependencies
between pixels, which have been shown to be extremely powerful for image labeling …

Contract-based design is an emerging paradigm for the design of complex systems, where
each component is associated with a contract, ie, a clear description of the expected …

Contract-based design is an emerging paradigm for the design of complex systems, where
each component is associated with a contract, ie, a clear description of the expected …

Legal contracts specify the terms and conditions—in essence, requirements—that apply to
business transactions. This paper proposes a formal specification language for legal …

Business process modeling continues to increase in complexity, due, in part, to the dynamic
business contexts and complicated domain concepts found in today's global economic …