BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Estonia
1 × France
1 × Hungary
1 × India
1 × Ireland
1 × Switzerland
2 × USA
Collaborated with:
S.Uchitel A.Russo J.Kramer P.Gill R.Craven R.Degiovanni N.Aguirre L.Pasquale B.Nuseibeh A.v.Lamsweerde N.Ricci P.F.Castro J.Lockerbie N.A.M.Maiden A.Mavin M.Novak
Talks about:
goal (5) base (4) system (3) requir (3) model (3) scenario (2) approach (2) satisfi (2) specif (2) detect (2)

Person: Dalal Alrajeh

DBLP DBLP: Alrajeh:Dalal

Contributed to:

ICLP TC 20152015
ICSE 20142014
SEFM 20142014
ICSE 20132013
FASE 20122012
ICSE 20122012
ICLP 20112011
ICSE 20092009
FASE 20082008
ASE 20162016
ESEC/FSE 20172017

Wrote 11 papers:

ICLP-2015-AlrajehG #approach #comprehension
A Logic-Based Approach to Understanding Lone-Actor Terrorism (DA, PG), pp. 166–178.
ICSE-2014-DegiovanniAAU #automation #satisfiability
Automated goal operationalisation based on interpolation and SAT solving (RD, DA, NA, SU), pp. 129–139.
SEFM-2014-AlrajehC #automation #composition #detection #specification
Automated Error-Detection and Repair for Compositional Software Specifications (DA, RC), pp. 111–127.
ICSE-2013-AlrajehRLMMN
Computational alignment of goals and scenarios for complex systems (DA, AR, JL, NAMM, AM, MN), pp. 1249–1252.
FASE-2012-AlrajehKRU #learning #satisfiability #specification
Learning from Vacuously Satisfiable Scenario-Based Specifications (DA, JK, AR, SU), pp. 377–393.
ICSE-2012-AlrajehKLRU #generative #requirements
Generating obstacle conditions for requirements completeness (DA, JK, AvL, AR, SU), pp. 705–715.
ICLP-2011-AlrajehKRU #approach #induction #refinement
An Inductive Approach for Modal Transition System Refinement (DA, JK, AR, SU), pp. 106–116.
ICSE-2009-AlrajehKRU #learning #modelling #requirements
Learning operational requirements from goal models (DA, JK, AR, SU), pp. 265–275.
FASE-2008-AlrajehRU #behaviour #modelling #using
Deriving Non-zeno Behavior Models from Goal Models Using ILP (DA, AR, SU), pp. 1–15.
ASE-2016-DegiovanniRACA #detection #satisfiability
Goal-conflict detection based on temporal satisfiability checking (RD, NR, DA, PFC, NA), pp. 507–518.
ESEC-FSE-2017-AlrajehPN #forensics #on the #requirements
On evidence preservation requirements for forensic-ready systems (DA, LP, BN), pp. 559–569.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.