|
| << previous |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 4 of 4 found articles
| Title: |
Tabular Expressions Operators |
| Author: |
Bourguiba, Imen Moa, Belaid |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 119 (2012) nr. 2 pages 121-147 |
| Year: |
2012-07-17 |
| Contents: |
Tabular expressions are one of the most important table-based techniques used to formally specify software requirements. The power of tabular expressions stems from their visual structure, and concise representation of mathematical functions and relations. Towards using tabular expressions as a programming language, we propose a tabular expression language in which tabular expressions are first class citizens. The language is built upon atomic tabular expressions and operators. As such, tabular expressions are viewed as a stack of atomic expressions and operators that we apply on them. This view enhances building tools supporting the semantics of tabular expressions, and using them directly during the implementation. The tabular operators introduced are used to compose and decompose tabular expressions in a modular way, which improves their semantics. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 4 of 4 found articles
| << previous |
Toegankelijkheidsverklaring