A Formal Model for Natural-Language Timed Requirements of Reactive Systems

Semantic Annotations in Clinical Guidelines

“…al. [4] have created a framework to formally generate test cases from the written software requirements into several formalisms using natural language processing (NLP) techniques. Written in a controlled natural language, the requirements are transformed into data flow reactive system (DFRS), where inputs and outputs are modelled as signals, with timers to capture the time-based behaviour.…”

“…This feature is also used to add more generalisation to other features, for instance the POS features, which are specifically important for the semantic analysis task. Slightly different from the approach used in [5], we utilise the GloVe 6 billion tokens 3 [17] and the fastText 16 billion tokens 4 [15] as our word vector representation.…”

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

“…Entre os pesquisadores que destacam-se estão Robert M. Hierons, autor dos estudos mais recentes, e Jan Tretmans, autor do estudo clássico de teste a partir de IOTS. Além disso, existem trabalhos em colaboração com grupos de pesquisadores brasileiros (Machado et al, 2007;Damasceno et al, 2015;Sampaio et al, 2009;Carvalho et al, 2014;Simao e Petrenko, 2011, da Universidade Federal de Campina Grande, Universidade Federal de Pernambuco e da Universidade de São Paulo.…”

“…• TIOTS (6 estudos): Timed IOTS (Briones e Brinksma, 2005;Hessel et al, 2008;Schmaltz e Tretmans, 2008;Pardo et al, 2010;Carvalho et al, 2014), incorpora a noção de tempo com rótulos que indicam o progresso de tempo, conforme mostrado na Figura 13 (extraído de (Hessel et al, 2008)).…”

“…Síncrona (Bourdonov et al, 2006;Brandl et al, 2010;Brinksma et al, 1998;Briones e Brinksma, 2005;Chédor et al, 2012;Faivre et al, 2007;Frantzen et al, 2006;Frantzen e Tretmans, 2007;Gaston et al, 2006;Gaudel, 2010b;Gnesi et al, 2004;Gromov e Willemse, 2007;Jeannet et al, 2007;Lestiennes e Gaudel, 2002;Li et al, 2004aLi et al, , 2003Hessel et al, 2008;Kervinen e Virolainen, 2005;Li et al, 2004b;Pardo et al, 2010;Rollet e Salva, 2009Tretmans, 2008;van Beek e Mauw, 2004;van der Bijl et al, 2005van der Bijl et al, , 2004Weiglhofer e Wotawa, 2009;Simao e Petrenko, 2014;Noroozi et al, 2013;Carvalho et al, 2014;Bhateja, 2014;Helovuo e Leppanen, 2001;Fu e Koné, 2015;Pickin et al, 2007;Damasceno et al, 2015;De León et al, 2013) 37 Assíncrona (Bhateja et al, 2006;Bhateja, 2009;Bi et al, 1998;Hierons et al, 2012b;Huo e Petrenko, 2005Petrenko et al, 2003; Simao e Petrenko, 2011; Weiglhofer e Wotawa, 2009; Noroozi et al,…”