Programming Without Refining von Benabdelali, Marwa, Labed Jilani, Lamia, Ghardallou, Wided, Mili, Ali

Volltext

Invariant relations, invariant functions, and loop functions von Labed Jilani, Lamia, Louhichi, Asma, Mraihi, Olfa, Mili, Ali

Volltext

Innovations in systems and software engineering guest editorial: special issue on software and systems reuse von Jilani, Lamia Labed, Sassi, Sihem Ben

Volltext

Programming Without Refining von Benabdelali, Marwa, Lamia Labed Jilani, Ghardallou, Wided, Mili, Ali

Volltext

Invariant assertions, invariant relations, and invariant functions von Mraihi, Olfa, Louhichi, Asma, Jilani, Lamia Labed, Desharnais, Jules, Mili, Ali

Volltext

Invariant functions and invariant relations: An alternative to invariant assertions von Jilani, Lamia Labed, Mraihi, Olfa, Louhichi, Asma, Ghardallou, Wided, Bsaies, Khaled, Mili, Ali

Volltext

A model for analyzing architectural attributes von Derbel, Imen, Labed Jilani, Lamia, Mili, Ali

Volltext

Modeling COTS-based development and related selection methods processes with MAP von Sassi, S.B., Jilani, L.L., Ghezala, H.H.B.

Volltext

Reflexive transitive invariant relations: A basis for computing loop functions von Mili, Ali, Aharon, Shir, Nadkarni, Chaitanya, Jilani, Lamia Labed, Louhichi, Asma, Mraihi, Olfa

Volltext

A Deep Contextual Product Recommender System for SO-DSPL Framework von Maalaoui, Najla, Beltaifa, Raoudha, Labed Jilani, Lamia

Volltext

Reasoning About Quantitative Architectural Attributes (Invited Paper) von Jilani, Lamia Labed, Derbel, Imen, Bsaies, Khaled, Nasreddine, Hamdi, Mili, Ali

Volltext

Defining and applying measures of distance between specifications von Jilani, L.L., Desharnais, J., Mili, A.

Volltext

Cost estimation for product line engineering using COTS components von BEN LAMINE, Sana Ben, LABED JILANI, Lamia, BEN GHEZALA, Henda Haijami

Volltext

Using invariant functions and invariant relations to compute loop functions von Labed Jilani, Lamia, Mraihi, Olfa, Louhichi, Asma, Ghardallou, Wided, Mili, Ali

Volltext

Computing Preconditions and Postconditions of While Loops von Mraihi, Olfa, Ghardallou, Wided, Louhichi, Asma, Labed Jilani, Lamia, Bsaies, Khaled, Mili, Ali

Volltext

Towards an Engineering Discipline of Computational Society von Mili, Ali, Vinokurov, Alex, Jilani, Lamia Labed, Sheldon, Frederick T., Ayed, Rahma Ben

Volltext

Modeling security as a dependability attribute: a refinement-based approach von Mili, Ali, Sheldon, Frederick, Jilani, Lamia Labed, Vinokurov, Alex, Thomasian, Alex, Ayed, Rahma Ben

Volltext

A versatile concept for the analysis of loops von Ghardallou, Wided, Mraihi, Olfa, Louhichi, Asma, Jilani, Lamia Labed, Bsaies, Khaled, Mili, Ali

Volltext

Relational Methods in the Analysis of While Loops: Observations of Versatility von Louhichi, Asma, Mraihi, Olfa, Jilani, Lamia Labed, Bsaies, Khaled, Mili, Ali

Volltext

Towards an automated tool for computing loop functions von Jilani, L L, Mraihi, O, Louhichi, A, Mili, A

Volltext