Tabular Expressions Operators

Imen Bourguiba; Belaid Moa

doi:10.3233/fi-2012-730

Tabular Expressions Operators

Fundamenta Informaticae ◽

10.3233/fi-2012-730 ◽

2012 ◽

Vol 119 (2) ◽

pp. 121-147 ◽

Cited By ~ 1

Author(s):

Imen Bourguiba ◽

Belaid Moa

Keyword(s):

Tabular Expressions

Download Full-text

Interpretation of Tabular Expressions Using Arrays of Relations

Relational Methods for Computer Science Applications - Studies in Fuzziness and Soft Computing ◽

10.1007/978-3-7908-1828-4_1 ◽

2001 ◽

pp. 3-14 ◽

Cited By ~ 1

Author(s):

Jules Desharnais ◽

Ridha Khédri ◽

Ali Mili

Keyword(s):

Tabular Expressions

Download Full-text

The Interchange Format of Tabular Expressions Using XML

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-31220-0_3 ◽

2016 ◽

pp. 29-43

Author(s):

Mao Huang ◽

Yihai Chen ◽

Ridha Khedri ◽

Huaikou Miao

Keyword(s):

Tabular Expressions ◽

Interchange Format

Download Full-text

Graphic and Tabular Expressions of Bayes' Theorem

Medical Decision Making ◽

10.1177/0272989x8700700207 ◽

1987 ◽

Vol 7 (2) ◽

pp. 104-106 ◽

Cited By ~ 4

Author(s):

William A. Benish

Keyword(s):

Bayes Theorem ◽

Tabular Expressions

Download Full-text

On a formal semantics of tabular expressions

Science of Computer Programming ◽

10.1016/s0167-6423(00)00004-6 ◽

2001 ◽

Vol 39 (2-3) ◽

pp. 189-213 ◽

Cited By ~ 26

Author(s):

Ryszard Janicki ◽

Ridha Khedri

Keyword(s):

Formal Semantics ◽

Tabular Expressions

Download Full-text

Definition of SCR Tables in the New Model of Tabular Expressions

2008 International Conference on Computer and Electrical Engineering ◽

10.1109/iccee.2008.42 ◽

2008 ◽

Cited By ~ 1

Author(s):

Jing Zhang ◽

Ying Jin

Keyword(s):

New Model ◽

Tabular Expressions ◽

Definition Of

Download Full-text

An IDE for software development using tabular expressions

10.1145/1321211.1321238 ◽

2007 ◽

Cited By ~ 5

Author(s):

Dennis K. Peters ◽

Mark Lawford ◽

Baltasar Trancón y Widemann

Keyword(s):

Software Development ◽

Tabular Expressions

Download Full-text

Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-05416-2_9 ◽

2014 ◽

pp. 125-141 ◽

Cited By ~ 4

Author(s):

Linna Pang ◽

Chen-Wei Wang ◽

Mark Lawford ◽

Alan Wassyng

Keyword(s):

Function Blocks ◽

Tabular Expressions

Download Full-text

Stateflow to Tabular Expressions

Proceedings of the Sixth International Symposium on Information and Communication Technology - SoICT 2015 ◽

10.1145/2833258.2833285 ◽

2015 ◽

Cited By ~ 2

Author(s):

Neeraj Kumar Singh ◽

Mark Lawford ◽

Thomas S. E. Maibaum ◽

Alan Wassyng

Keyword(s):

Tabular Expressions

Download Full-text

Converting Software Cost Reduction Tables into Tabular Expressions

Environment and Water Resource Management / 813: Modelling and Simulation / 814: Power and Energy Systems / 815: Health Informatics ◽

10.2316/p.2014.813-010 ◽

2014 ◽

Author(s):

Imen Bourguiba ◽

Ryszard Janicki

Keyword(s):

Cost Reduction ◽

Software Cost ◽

Tabular Expressions

Download Full-text

Tabular Expressions and Total Functional Programming

Implementation and Application of Functional Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85373-2_13 ◽

2008 ◽

pp. 219-236 ◽

Cited By ~ 1

Author(s):

Baltasar Trancón y Widemann ◽

David Lorge Parnas

Keyword(s):

Functional Programming ◽

Tabular Expressions

Download Full-text