 | 2011 |
|---|
| 7 |       | Francisco Supino Marcondes,
Ítalo Santiago Vega,
Luiz Alberto Vieira Dias:
An approach for modeling a formal Use Case Type at early development phase without loosing abstraction.
ISSE 7(1): 1-8 (2011) |
| 2010 |
|---|
| 6 | | Denis Avila Montini,
Danilo Douradinho Fernandes,
Francisco Supino Marcondes,
Paulo Marcelo Tasinaffo,
Ítalo Santiago Vega,
Luiz Alberto Vieira Dias:
Formal Approach Use to Choose a Software Manufactoring Cell's SDLC.
ITNG 2010: 1304-1305 |
| 5 | | Danilo Douradinho Fernandes,
Felipe Rafael Motta Cardoso,
Denis Avila Montini,
Francisco Supino Marcondes,
Paulo Marcelo Tasinaffo,
Luiz Alberto Vieira Dias:
An Algorithm Model to Mapping Mealy Machines for a Software Manufacture Cell Petri Net.
ITNG 2010: 1306-1308 |
| 2009 |
|---|
| 4 | | Denis Avila Montini,
Felipe Rafael Motta Cardoso,
Francisco Supino Marcondes,
Paulo Marcelo Tasinaffo,
Luiz Alberto Vieira Dias,
Adilson Marques da Cunha:
Using GQM Hypothesis Restriction to Infer Bayesian Network Testing.
ITNG 2009: 1436-1441 |
| 3 | | Francisco Supino Marcondes,
Danilo Douradinho Fernandes,
Denis Avila Montini,
Paulo Marcelo Tasinaffo,
Ítalo Santiago Vega,
Luiz Alberto Vieira Dias:
Systematic and Formal Approach to get a Domain Specific Language.
ITNG 2009: 1447-1450 |
| 2 | | Francisco Supino Marcondes,
Hamilton Jose Brumatto,
Eloiza Helena Sonoda,
Luiz Carlos Barboza,
Jefferson Zannuto:
Problem on Software Engineering Learning: Domain Engineering.
ITNG 2009: 1636 |
| 2008 |
|---|
| 1 | | Francisco Supino Marcondes,
Emilia de Menezes Colonese,
Ítalo Santiago Vega,
Luiz Alberto Vieira Dias:
Proposing a Formal Method to Reduce RTS Logical Model Complexity.
ITNG 2008: 645-650 |
Data released under the ODC-BY 1.0 license — See also our legal information page