Travelled to:
1 × Republic of China
4 × USA
Collaborated with:
L.E.Zárate A.M.Pereira S.V.A.Campos S.M.Dias S.M.Neto L.E.Zarate F.Papatella T.F.Carvalho E.M.D.Pereira F.Lima G.Gorgulho W.M.Jr. A.Alvarez B.Soares B.M.Nogueira R.Vimieiro T.R.A.Santos N.Vieira
Talks about:
system (3) uml (2) photovolta (1) framework (1) transact (1) sophiann (1) previous (1) knowledg (1) specifi (1) network (1)
Person: Mark A. J. Song
DBLP: Song:Mark_A=_J=
Contributed to:
Wrote 5 papers:
- SEKE-2015-NetoSZD #network #using
- Using implications from FCA to represent a two mode network data (SMN, MAJS, LEZ, SMD), pp. 256–259.
- SEKE-2010-PapatellaCZPS #energy #framework
- A Framework for Solar Energy Applications Photovoltaic Systems (FP, TFC, LEZ, EMDP, MAJS), pp. 292–297.
- SEKE-2006-SongZDASNVSV #case study #named
- SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study (MAJS, LEZ, SMD, AA, BS, BMN, RV, TRAS, NV), pp. 631–638.
- SEKE-2005-SongPCZ #specification #transaction #uml #verification
- Formal Verification of Transactional Systems Based on UML Specifications (MAJS, AMP, SVAC, LEZ), pp. 199–204.
- SEKE-2003-SongPLGCM #e-commerce #uml #verification
- Extending UML to Specify and Verify E-commerce Systems (MAJS, AMP, FL, GG, SVAC, WMJ), pp. 306–313.