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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : ActiveEon
labStructName_s : Laboratoire de Méthodes de Conception de Systèmes
Image document

Painless Support for Static and Runtime Verification of Component-Based Applications

Nuno Gaspar , Ludovic Henrio , Eric Madelaine
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩
Conference papers hal-01168757v2
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