Concepedia

Dalal Alrajeh

DA

Statistics

Publications

16

Citations

388

H-Index

12

Active since

2006

Affiliations

Imperial College London(Current)

Universidad de Buenos Aires

University of Bristol

The Open University

Dalal Alrajeh is an author at Imperial College London specializing in engineering, systems engineering, and software design.

Top concepts

EngineeringSystems EngineeringFormal MethodsSoftware DesignComputer ScienceFormal VerificationSoftware EngineeringVerificationSoftware AnalysisAutomated Reasoning

Publications per year

2006–2020

16

Publications

16

Learning operational requirements from goal models

Dalal Alrajeh, Jeff Kramer, Alessandra Russo et al. · 2009 · 76 citations

Software Maintenance, Engineering, Requirement Modeling +20

Elaborating Requirements Using Model Checking and Inductive Learning

Dalal Alrajeh, Jeff Kramer, Alessandra Russo et al. · IEEE Transactions on Software Engineering · 2012 · 37 citations

Engineering, Requirement Modeling, Verification +18

Generating obstacle conditions for requirements completeness

Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde et al. · 2012 · 35 citations

Mathematical Programming, Software Maintenance, Engineering +24

Adapting requirements models to varying environments

Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde · 2020 · 32 citations

Software Maintenance, Engineering, Requirement Modeling +22

Towards forensic-ready software systems

Liliana Pasquale, Dalal Alrajeh, Claudia Peersman et al. · 2018 · 29 citations · Full text

Software Maintenance, Engineering, Information Security +18

1–5 of 16