Mark Alan J. Song
Mark Alan J. Song
Programa de Pós-Graduação em Informática
Verified email at pucminas.br
Title
Cited by
Cited by
Year
A formal methodology to specify e-commerce systems
A Pereira, M Song, G Gorgulho, W Meira, S Campos
International Conference on Formal Engineering Methods, 180-191, 2002
192002
Techniques for missing value recovering in imbalanced databases: Application in a marketing database with massive missing data
LE Zarate, BM Nogueira, TRA Santos, MAJ Song
2006 IEEE International Conference on Systems, Man and Cybernetics 3, 2658-2664, 2006
152006
Scgaz-A synthetic formal context generator with density control for test and evaluation of FCA algorithms
A Rimsa, MAJ Song, LE Zárate
2013 IEEE International Conference on Systems, Man, and Cybernetics, 3464-3470, 2013
112013
UML-Checker: An Approach for Verifying UML Behavioral Diagrams.
F Fernandes, MAJ Song
JSW 9 (5), 1229-1236, 2014
82014
An approach to knowledge extraction from ANN through formal concept analysis-computational tool proposal: SOPHIANN
LE Zárate, M Song, A Alvarez, B Soares, B Nogueira, R Vimieiro, S Dias, ...
2006 IEEE International Symposium on Industrial Electronics 1, 43-48, 2006
82006
Handling high dimensionality contexts in formal concept analysis via binary decision diagrams
SM Neto, LE Zárate, MAJ Song
Information Sciences 429, 361-376, 2018
72018
Model checking patterns for e-commerce systems
M Song, A Pereira, G Gorgulho, W Meira Jr, S Campos
Proceedings of the First Seminar on Advanced Research in Electronic Business, 2002
72002
Algoritmo para Linearização de Processos via redes neurais e sua análise de comportamento assintótico
LE Zárate, M Song, H Helman
Anais do 5 Simpósio Brasileiro de Redes Neurais, 199-204, 1998
61998
Formal Concept Analysis Applied to Professional Social Networks Analysis.
PRC Silva, SM Dias, WC Brandao, MAJ Song, LE Zárate
ICEIS (1), 123-134, 2017
52017
Minimal cover of implication rules to represent two mode networks
SM Neto, LE Zárate, MAJ Song, SM Dias
2015 IEEE/WIC/ACM International Conference on Web Intelligence and …, 2015
42015
Using implications from FCA to represent a two mode network data.
SM Neto, MAJ Song, LE Zarate, SM Dias
SEKE, 256-259, 2015
42015
Automatized checking of business rules for activity execution sequence in workflows
C Barros, M Song
Journal of Software 7 (2), 2012
42012
Evaluation of different bdd libraries to extract concepts in fca–perspectives and limitations
A Rimsa, LE Zárate, MAJ Song
International Conference on Computational Science, 367-376, 2009
42009
Exploring clause symmetry in a distributed bounded model checking algorithm
H Barros, S Campos, M Song, L Zarate
14th Annual IEEE International Conference and Workshops on the Engineering …, 2007
42007
Domain-specific language for automatic generation of UML models
MA Miranda, MG Ribeiro, HT Marques-Neto, MAJ Song
IET Software 12 (2), 129-135, 2017
32017
Self-optimization in autonomic computing systems based on the methodology of bees swarm intelligence
ALO Nhane, MAJ Song
Proceedings of the International Conference on Software Engineering Research …, 2014
32014
The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems
A Pereira, M Song, G Gorgulho
Electronic Commerce Research 6 (3-4), 265-303, 2006
32006
The UML-CAFE: an Environment to Specify and Verify Tran-sactional Systems
MAJ Song
PhD thesis, Universidade Federal de Minas Gerais, 2004
32004
Uma metodologia para verificaçao de modelos de sistemas de comércio eletrônico
A Pereira, M Song, G Gorgulho, W Meira Jr, S Campos
Workshop on Formal Methods (WMF 2002), 2002
32002
Implicpbdd: A new approach to extract proper implications set from high-dimension formal contexts using a binary decision diagram
PG Santos, PHB Ruas, JCV Neves, PR Silva, SM Dias, LE Zárate, ...
Information 9 (11), 266, 2018
22018
The system can't perform the operation now. Try again later.
Articles 1–20