Meetings
07 de abril: rg,vra,phmb
- discutir nocao de refinamento, pois um refinamento que torna opcional uma feature antes obrigatoria pode ser inviavel quando a gente observar a mudanca no codigo: pelo fato de ser mandatoria, a feature pode estar muito acoplada ao core da linha de produtos, na verdade, podendo fazer parte do mesmo; isto entao pode tornar a sua opcionalidade nao trivial;
- adaptar as transformacoes, refinamentos, e provas pra ficar consistente com a mudanca acima
- rohit preve que a mudanca de i. pode ter impacto consideravel na formalizacao, pois a linguagem core nao guarda informacao que de cardinalidade (?)
- no entanto, sobre o ponto i, podemos avaliar tambem a hipotese de uma disciplina de projeto que pudesse tornar a remocao de tal feature viavel: apesar de mandatoria, a feature poderia ter sido projetada para ja ser modular no codigo (por exemplo implementada com um aspecto, nao um variability aspect, mas um "aspects in the core", segundo paper icsr).
- o paper referenciara um relatorio tecnico (o pdf contendo as provas completas no pvs)
- o nome de rohit vem primeiro no relatorio tecnico
- discutir com uira a viabilidade de publicar formalmente o relatorio tecnico na puc-rio
- ajustar no pvs a definicao de satFormula, e refazar a prova. (isto é um beneficio de usar provador automatico de teoremas)
07 de abril: vra, uk
- o relatorio tecnico podera ser disponibilizado formalmente na puc-rio; o relatorio tera um numero e estara disponivel apenas on line; o prof. lucena autorizara.
Edit | Attach | Print version | History: %REVISIONS% | Backlinks | Raw View | Raw edit | More topic actions
Copyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback