#### Filter Results:

#### Publication Year

1995

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Jules Desharnais, Nadir Belkhiter, +4 authors Nejib Zaguia
- Theor. Comput. Sci.
- 1995

- Jules Desharnais, Bernhard Möller, Fairouz Tchier
- AMAST
- 2000

In relational semantics, the input-output semantics of a program is a relation on its set of states. We generalize this in considering elements of Kleene algebras as semantical values. In a nondeterministic context, the demonic semantics is calculated by considering the worst behavior of the program. In this paper, we concentrate on while loops. Calculating… (More)

- Jules Desharnais, Bernhard Möller, Fairouz Tchier
- J. Log. Algebr. Program.
- 2006

In relational semantics, the input-output semantics of a program is a relation on its set of states. We generalise this in considering elements of Kleene algebras as se-mantical values. In a nondeterministic context, the demonic semantics is calculated by considering the worst behaviour of the program. In this paper, we concentrate on while loops.… (More)

- Fairouz Tchier
- Software Engineering Research and Practice
- 2003

- Fairouz Tchier
- Int. J. Math. Mathematical Sciences
- 2004

Relations and relational operators can be used to define the semantics of programming languages. The operations ∨ and • serve to give angelic semantics by defining a program to go right when there is a possibility to go right. On the other hand, the demonic operations and do the opposite: if there is a possibility to go wrong, a program whose semantics is… (More)

- Hossein Jafari, Hassan Kamil Jassim, Fairouz Tchier, Dumitru Baleanu
- Entropy
- 2016

In this paper, we consider the local fractional decomposition method, variational iteration method, and differential transform method for analytic treatment of linear and nonlinear local fractional differential equations, homogeneous or nonhomogeneous. The operators are taken in the local fractional sense. Some examples are given to demonstrate the… (More)

- Mahmoud Abdel-Aty, Ravi P Agarwal, +33 authors Merve Abay
- 2014

- Fairouz Tchier
- RelMiCS
- 2000

- Fairouz Tchier, Huda Alrashidi
- 2016

In this chapter, the authors categorize methods that are used to formally specify and verify software requirements. They discuss several formal method-related subjects such as calculus fuzzy and relational calculus.

- Resat Yilmazer, Mustafa Inç, Fairouz Tchier, Dumitru Baleanu
- Entropy
- 2016

In this work; we present a method for solving the second-order linear ordinary differential equation of hypergeometric type. The solutions of this equation are given by the confluent hypergeometric functions (CHFs). Unlike previous studies, we obtain some different new solutions of the equation without using the CHFs. Therefore, we obtain new discrete… (More)