Formal Specification of Scientific Applications Using Interval Temporal Logic

Provided by: RWSoftware
Topic: Software
Format: PDF
Scientific applications simulate any natural phenomena in different scientific domains. Moreover, the problems they solve are usually represented by mathematical models. Taking that in advance, these problems can be described by using specific formal notation and mathematical formulas. Scientific applications are usually created by the scientists without using any software development engineering practices. The authors' main goal is to include formal methods in the testing process of scientific applications. In this paper, they adapt Interval Temporal Logic (ITL) as a flexible notation for describing software applications.

Find By Topic