E-LIB Suche - Ergebnisse für: Mashkoor, Atif

1

A conceptual framework for context-driven self-adaptive int..:

Ali, Mughees ; Khan, Saif Ur Rehman ; Mashkoor, Atif.
Cognition, Technology & Work. 26 (2024) 1 - p. 83-106 , 2024

2

Trace preservation in B and Event-B refinements:

Stock, Sebastian ; Mashkoor, Atif ; Leuschel, Michael.
Journal of Logical and Algebraic Methods in Programming. 137 (2024) - p. 100943 , 2024

Link: https://doi.org/10.1016/..

3

MOBICAT: a model-driven engineering approach for automatic ..:

Zafar, Haroon ; Ur Rehman Khan, Saif ; Mashkoor, Atif.
Frontiers in Computer Science. 6 (2024) - p. , 2024

Link: https://doi.org/10.3389/..

4

Teaching Engineering of AI-Intensive Systems:

Mashkoor, Atif ; Assunção, Wesley K. G. ; Egyed, Alexander
IEEE Software. 41 (2024) 2 - p. 30-35 , 2024

Link: https://doi.org/10.1109/..

5

Supporting High-Level to Low-Level Requirements Coverage Re..:

, In: Proceedings of the 21st International Conference on Mining Software Repositories,

Preda, Anamaria-Roberta ; Mayr-Dorn, Christoph ; Mashkoor, Atif. - p. 242-253 , 2024

Link: https://dl.acm.org/doi/1..

6

Towards Leveraging Fine-Grained Dependencies to Check Requi..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Preda, Anamaria-Roberta ; Mayr-Dorn, Christoph ; Mashkoor, Atif.. - p. 292-293 , 2024

Link: https://doi.org/10.1145/..

7

Balanced knowledge distribution among software development ..:

Shafiq, Saad ; Mayr‐Dorn, Christoph ; Mashkoor, Atif.
Journal of Software: Evolution and Process. 36 (2024) 8 - p. , 2024

Link: https://doi.org/10.1002/..

8

Towards Leveraging Fine-Grained Dependencies to Check Requi..:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,

Preda, Anamaria-Roberta ; Mayr-Dorn, Christoph ; Mashkoor, Atif.. - p. 292-293 , 2024

Link: https://dl.acm.org/doi/1..

9

Code smells in pull requests: An exploratory study:

Azeem, Muhammad Ilyas ; Shafiq, Saad ; Mashkoor, Atif.
Software: Practice and Experience. 54 (2023) 3 - p. 419-436 , 2023

Link: https://doi.org/10.1002/..

10

Database and Expert Systems Applications - DEXA 2023 Worksh..

Communications in Computer and Information Science, 1872

Kotsis, Gabriele ; Tjoa, A Min ; Khalil, Ismail... - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

11

Modeling and Analysis of a Safety-Critical Interactive Syst..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Geleßus, David ; Stock, Sebastian ; Vu, Fabian.. - p. 284-302 , 2023

Link: https://doi.org/10.1007/..

12

A Fuzzy AHP-based approach for prioritization of cost overh..:

Abusaeed, Syed ; Khan, Saif Ur Rehman ; Mashkoor, Atif
Applied Soft Computing. 133 (2023) - p. 109977 , 2023

Link: https://doi.org/10.1016/..

13

Validation-Driven Development:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Stock, Sebastian ; Mashkoor, Atif ; Egyed, Alexander - p. 191-207 , 2023

Link: https://doi.org/10.1007/..

14

A Context Ontology-Based Model to Mitigate Root Causes of U..:

, In: Database and Expert Systems Applications - DEXA 2023 Workshops; Communications in Computer and Information Science,

Asmat, Mah Noor ; Khan, Saif Ur Rehman ; Mashkoor, Atif. - p. 45-56 , 2023

Link: https://doi.org/10.1007/..

15

Validation by Abstraction and Refinement:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Stock, Sebastian ; Vu, Fabian ; Geleßus, David... - p. 160-178 , 2023

Link: https://doi.org/10.1007/..