2010
DOI: 10.3233/jcm-2010-0275
|View full text |Cite
|
Sign up to set email alerts
|

Integrating formal methods with domain analysis

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
1
0
3

Year Published

2015
2015
2015
2015

Publication Types

Select...
2
1

Relationship

1
2

Authors

Journals

citations
Cited by 3 publications
(4 citation statements)
references
References 13 publications
0
1
0
3
Order By: Relevance
“…The use of RSL as a language for expressing restrictions and additional constraints for feature models was previously analyzed in [6]. Also, we can derive domain architectures from the feature model.…”
Section: Current Work and Conclusionmentioning
confidence: 99%
“…The use of RSL as a language for expressing restrictions and additional constraints for feature models was previously analyzed in [6]. Also, we can derive domain architectures from the feature model.…”
Section: Current Work and Conclusionmentioning
confidence: 99%
“…O processo de desenvolvimento de aplicações de C&A abrange uma gama de peculiaridades que vai desde a formalização e a implantação de arquiteturas computacionais complexas até a elaboração e execução de métodos para avaliar essas aplicações em ambientes reais (Felice et al, 2010;Hierons et al, 2009). Por causa disso, fatores referentes ao projeto e à manutenção de interfaces são essenciais, tendo em vista que tais aplicações demandam uma quantidade signicativa de atenção ao tratar de questões relativas à interação entre humanos e computadores (Wilde et al, 2010).…”
Section: Motivaçãounclassified
“…Processos de formalização são métodos compostos por sequências de etapas complementares que objetivam amparar atividades de desenvolvimento de sistemas (Felice et al, 2010). Essas fases podem ser utilizadas tanto para descrever e analisar comportamentos e características quanto para vericar propriedades-chave que contribuem para a robustez e a conabilidade de um produto.…”
Section: Formalização De Sistemasunclassified
See 1 more Smart Citation