All Stories

  1. Applying binary decision diagram to extract concepts from triadic formal context

    Article • March 2020, ACM (Association for Computing Machinery)

    mark song

  2. Characterization of long-lived and non-long lived profiles through biclustering

    Article • March 2020, ACM (Association for Computing Machinery)

    mark song, Ph.D. Student Marcos W. Rodrigues

  3. Domain-specific language for automatic generation of UML models

    Article • IET Software, April 2018, the Institution of Engineering and Technology (the IET)

    mark song, Márcio Assis Miranda, Mr Márcio Assis Miranda

  4. Automatic formal specification generation of APIs by mining unit tests

    Article • April 2016, ACM (Association for Computing Machinery)

    mark song