Personal Information

Name: Gustavo da Fonseca Limaverde Cabral
Degree: M.Sc. on Computer Science
Current position: PhD candidate Tamai Laboratory/ The University of Tokyo
E-mail: gustavo.limaverde at gmail.com
Resume: [pdf]
LinkedIn Resume: [pdf] | [html]
My Picture

Current Research:

I have been researching ways to process requirements (i.e. requirement statements, system constraints, use cases) written in Natural Language (i.e. English) or a simplified version of it to enable its translation into well-formed notations. In my research current stage, I am defining a strategy that includes the definition of a generic Domain Specific Language (DSL) that defines an Ontology and its usage in a single document. Such a generic NL-like DSL enables the specification of application from different domains without the necessity of redefining the DSL syntax.

The solution includes the use of model and metamodel definitions in MOF or KM3. The final output shall be a IDE that supports the edition, debugging, refactoring and transformations of the proposed DSL. The use of current technologies such as Eclipse Modeling related projects (Model-to-Model project - M2M and Generative Model Technologies - GMT) is pertinent.

The next step after the generation of a processable model would be its usage to validate system properties and to generate test cases (automated or not). The usage of a formal notation, such as CSP or Circus, aims the verification of systems with concurrency characteristics.

In the formal model manipulation phase, the use of UTP shall be employed as a mean to understand the semantics of the modeling language (i.e. Circus) and as a result ease the definition and implementation of tools that shall automate the process of model specification, visualization, checking, and animation.

I have been working with software modeling using formal notations and software testing for the last 6 years, during my MSc, which was a research project sponsored by Motorola Inc. in cooperation with CIn/UFPE, and in my PhD course, which was founded by the Japanese Ministry of Education, Culture, Sports, Science and Technology (MEXT). These projects involved the following research areas:

Education

Date Award
April/2007 - on going Computer Science PhD - The University of Tokyo
Oct/2006 - Mar/2007 Computer Science Research Student - The University of Tokyo
April/2005 - Sept/2006 Computer Science M.Sc. - CIn/UFPE
Aug/1999 - Aug/2004 Computer Science Bachelor - CIn/UFPE

Publications

  1. June/2008 - Requirement-based testing through formal methods {short paper}
    [paper] [bibtex]
  2. April/2008 - JBCS'2008 - Automated Formal Specification Generation and Refinement from Requirement Documents
    [paper] [bibtex]
  3. Electronic Notes in Theoretical Computer Science - Volume 195, 18 January 2008, Pages 171-188
    Formal Specification Generation from Requirement Documents
    [paper] [bibtex]
  4. Sept/2006 - SBFM'2006 - Formal Specification Generation from Requirement Documents
    [paper] [presentation] [bibtex]

Not published

  1. Oct/2009 - L4J : a Java API for languages design and execution [pdf]
  2. May/2009 - Knowledge extraction from natural language text in the Model-driven Engineering [pdf]
  3. May/2009 - How to include natural language artifacts in the model-driven engineering? [pdf]
  4. Jan/2009 - Model-driven approach to extract grammatical relations from Natural Language [pdf]
  5. Jan/2009 - Can Model-driven Engineering solve Requirements Engineering problems? [pdf]
  6. Nov/2008 - Natural language reasoning through model-based engineering [pdf]
  7. Jan/2008 - Initial ideas - English-like natural language with Z features [pdf]

Interesting implemented tools

  1. Jan/2008 - CNL Editor as a TGE (Textual Generic Editor) Project & CNL to CSP transformation
    [files] [needed tool] [local download]
  2. Jan/2008 - CSP Editor as a TGE (Textual Generic Editor) Project
    [files] [needed tool] [local download]
  3. Sept/2006 - M.Sc. Dissertation - Formal Specification Generation from Requirement Documents
    [dissertation] [presentation] [bibtex]
  4. Mar/2006 - Systems Formal Modeling from Organizational Models
    [pdf]
  5. Feb/2006 - CSP to JCSP Mapping
    [pdf] [csp] [game]
  6. Ago/2004 - UML-RT models automatic transformation
    [abstract] [monograph-portuguese]

Research Interests (Software Engineering)

  • Software Requirements
      Requirements and Specification Techniques
      Requirements and Controlled Natural Language (CNL)
  • Software Modeling
      Model Transformation
      Platform Dependent Model (PDM)
  • Software Testing
      Specification verification and validation
      Test Case Generation from Models
      Test Coverage based on Models
      Test Metrics
      Test Points
  • Programming Languages (PL)
      PL paradigms and concepts
      PL Design
      Source code analysis (Static Testing)

Professional Experiences:

Date Company Site Activity
11/2007 - 05/2008 Transit Telecom Japan www.transitjapan.com Setting up and management of networks, routers, Internet links, servers (Windows and Linux), firewall, CISCO voice gateways (IOS) and ISDN voice links at datacenter. Design and implementation of VoIP solution for companies, such as VoIP PBXs with call plans and telephone extensions, using Asterisk.
06/2004 - 03/2005 CIn/UFPE P2K Project with Motorola www.cin.ufpe.br Configuration Manager and Software Engineer
08/2003 - 05/2004 Facilit Tecnologia Ltda. www.facilit.com.br Web and Desktop application development with J2EE
05/2003 - 08/2003 Procenge - Data Processing Ltda www.procenge.com.br Piramide ERP maintenance, development with CENTURA Builder and Oracle
10/2001 - 10/2002 RAM Consultoria e Sistemas Web application development with JSP/Servlets and Oracle

Academic Experience

Date Activity Supervisor Description
11/2003 - 05/2004 Analysis and Systems Design (ASD) discipline Augusto Sampaio and Alexandre Vasconcelos Students following up during the ASD under-graduation course at CIn/UFPE
04/2003 - 11/2003 Methods for Systems Design (MSD) discipline Alexandre Vasconcelos Students following up during the MSD under-graduation course at CIn/UFPE
11/2002 - 04/2003 Compilers discipline Andre Santos Students following up during the Compiler under- graduation course at CIn/UFPE
08/2000 - 09/2004 PET Scholarship Fernando Fonseca Involvement with researching and teaching activities, and events organization at CIn/UFPE
01/2000 - 02/2000 Analytic Geometry Israel Vainsencher Students following up on Calculus and Analytic Geometry course using the MAPLE V tool

Language Abilities

Portuguese native
English fluent
Spanish intermediary
French basic
Japanese basic
Last update:March 20th, 2010