Mark Alan J. Song
Mark Alan J. Song
Programa de Pós-Graduação em Informática
Verified email at
Cited by
Cited by
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
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
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
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
UML-Checker: An Approach for Verifying UML Behavioral Diagrams.
F Fernandes, MAJ Song
JSW 9 (5), 1229-1236, 2014
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
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
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
Formal concept analysis applied to professional social networks analysis
PRC Silva, SM Dias, WC Brandao, MA Song, LE Zárate
International Conference on Enterprise Information Systems 2, 123-134, 2017
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
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
Using implications from FCA to represent a two mode network data.
SM Neto, MAJ Song, LE Zarate, SM Dias
SEKE, 256-259, 2015
Automatized checking of business rules for activity execution sequence in workflows
C Barros, M Song
Journal of Software 7 (2), 2012
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
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
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
A symbolic model checking appproach to verifying transact-SQL
R Diana, H Marques-Neto, L Zarate, M Song
2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2012
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
The UML-CAFE: an Environment to Specify and Verify Tran-sactional Systems
MAJ Song
PhD thesis, Universidade Federal de Minas Gerais, 2004
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
The system can't perform the operation now. Try again later.
Articles 1–20