Travelled to:1 × Finland
1 × Portugal
1 × USA
Collaborated with:I.Traoré H.Ye E.B.Johnsen W.Zhang O.Owe H.Abie T.Kristoffersen S.Mazaher T.Raguin
Talks about:distribut (3) develop (3) system (3) integr (3) formal (3) open (3) framework (2) languag (1) graphic (1) requir (1)
Person: Demissie B. Aredo
DBLP: Aredo:Demissie_B=
Contributed to:
2004
20032004
2002Wrote 4 papers:
- UML-2004-AbieAKMR #security #uml
- Integrating a Security Requirement Language with UML (HA, DBA, TK, SM, TR), pp. 350–364.
- SAC-2003-TraoreYA #development #distributed #framework
- An Integrated Framework for Formal Development of Open Distributed Systems (IT, DBA, HY), pp. 1078–1085.
- SAC-J-2003-TraoreAY04 #development #distributed #framework
- An integrated framework for formal development of open distributed systems (IT, DBA, HY), pp. 281–286.
- IFM-2002-JohnsenZOA #development #distributed #visual notation
- Combining Graphical and Formal Development of Open Distributed Systems (EBJ, WZ, OO, DBA), pp. 319–338.