BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Aredo:Demissie_B=

Contributed to:

UML 20042004
SAC 20032003
SAC 20032004
IFM 20022002

Wrote 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.

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.