Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Laboratoire d'analyse et d'architecture des systèmes
labStructName_s : Laboratoire de Méthodes de Conception de Systèmes
Image document

Requirement Analysis in Data Warehouses to Support External Information

Mohamed Lamine Chouder , Rachid Chalal , Waffa Setra
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.243-253, ⟨10.1007/978-3-319-19578-0_20⟩
Conference papers hal-01789941v1
Image document

Engineering the Requirements of Data Warehouses: A Comparative Study of Goal-Oriented Approaches

Waffa Setra , Rachid Chalal , Mohamed Lamine Chouder
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.254-265, ⟨10.1007/978-3-319-19578-0_21⟩
Conference papers hal-01789961v1
Image document

Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus

Silvano Dal Zilio , Bernard Berthomieu
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
Conference papers hal-01202799v1