Integrating formal methods with domain analysis

Felice, Laura; Leonardi, María Carmen; Mauco, María Virginia; Montejano, Germán Antonio; Riesco, Daniel Eduardo; Debnath, Narayan C.

doi:10.3233/jcm-2010-0275

Cited by 3 publications

(4 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

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%

A Feature Model of E-Government Systems Integrated with Formal Specifications

Debnath

Felice

Montejano

et al. 2008

Fifth International Conference on Information Technology: New Generations (Itng 2008)

Self Cite

View full text Add to dashboard Cite

Feature modeling has become one of the most popular methods for representing variabilities and commonalities in software product families. In this paper we describe the feature model for egovernment systems. In addition, we present a first approach to integrate formal specifications with feature models in order to produce guidelines to be used in the context of specifications reuse. We show that RSL language can adequately capture relations introducing semantics to the feature model of a system.

show abstract

Section: Current Work and Conclusionmentioning

confidence: 99%

A Feature Model of E-Government Systems Integrated with Formal Specifications

Debnath

Felice

Montejano

et al. 2008

Fifth International Conference on Information Technology: New Generations (Itng 2008)

Self Cite

View full text Add to dashboard Cite

show abstract

“…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

“…Em função disso, um processo de formalização deve abranger tanto as epatas de identicação e documentação dos requisitos de um sistema com base em sua análise de domínio quanto sua representação utilizando um meio de comunicação capaz de tradu-zir corretamente os uxos de informações existentes na estrutura do sistema (Figura 2.1) (Felice et al, 2010). Figura 2.1: Fatia do processo de formalização de sistemas capaz de ilustrar o local em que a especicação formal se encaixa neste uxo.…”

Section: Formalização De Sistemasunclassified

See 1 more Smart Citation

Formalização e validação de aplicações de captura e acesso em ambientes educacionais ubíquos

Ribeiro¹

View full text Add to dashboard Cite

Capture and Access is a recurring theme of research in Ubiquitous Computing, which deals with the possibility of recording multimedia streams to later provision and access.In academic scope, its use allows the automation of educational activities, collaborating with teaching and learning processes and creating Ubiquitous Learning Environments. In this context, this study aimed to formalize the interactive ows and validate the applicability of a ubiquitous learning platform called Classroom eXperience (CX ), located at the Faculty of Computing in Federal University of Uberlândia. During the formalization, we created a language for specifying interactive Web ows based on Colored Petri Nets, which was used for modeling the system. Subsequently, the designed model was veried with a graph of reachability and the language eciency was validated using questionnaires for users and interviews with experts. For CX's validation, groups of undergraduate and graduate students were investigated over four semesters. Variables such as user attendance, performance and impressions were collected and analyzed employing statistical techniques for data certication, when appropriate. As a result, the system usage resulted in higher performance increases among undergraduate than graduate students. Their attendance suered no signicant changes between those who had or not contact with the application. Teachers who employed CX in daily activities felt condent while making its use, showing interest in using it more often and recommending the system to colleagues.Students reported they paid more attention to teachers' explanations who used the application during classes, justifying they did not need to annotate everything written by the instructor and could concentrate on content displayed. In addition, they declared that content recording did not discourage their attendance, but incited them to study more.

show abstract