Félice, Fortuné Barthélemy de, Vasconcelos, João Rosado Vilalobos e,
Translation of: Elémens de la police générale d'un état. Book.
0000 - Gale Group | The Making of Modern World
Produção Nacional
Revisado por pares
Denise Menezes Brunetta, Fabiana Aguiar Carneiro‐Silva, J.B.M. Vasconcelos, Rosângela de Albuquerque Ribeiro, Denissa Ferreira Gomes Mesquita, Gustavo Coelho, Fernando Barroso‐Duarte, José Huygens Parente Garcia,
... 4; Carneiro‐Silva, Fabiana Aguiar M.D.1; Vasconcelos, João Batista Marinho M.D.2; de Albuquerque Ribeiro, ...
Tópico(s): Chronic Myeloid Leukemia Treatments
2015 - Lippincott Williams & Wilkins | Liver Transplantation
Produção Nacional
Revisado por pares
Bruna Silva Oliveira, João Vasconcelos, João Flávio de Freitas Almeida, Luiz Ricardo Pinto,
The planning of hospital beds is among the most debated problems in healthcare. Despite being an important issue, many initiatives have failed to sustain services improvements, resulting in high costs and also high refusal rates. The stochastic problem involves conflicting criteria, therefore, we propose a Simulation-Optimisation approach to solve it. The Evolutionary Algorithm NSGA-II drives the process, and the solutions are validated and evaluated via Discrete Event Simulation. An application ...
Tópico(s): Health Systems, Economic Evaluations, Quality of Life
2020 - Elsevier BV | International Journal of Medical Informatics
Maria João M. Vasconcelos, João Manuel R. S. Tavares,
In this work we developed methods to automatically extract significant points of objects like hand palms and faces represented in images that can be used to build Point Distribution Models automatically. These models are further used to segment the modelled objects in new images, through the use of Active Shape Models or Active Appearance Models. These models showed to be efficient in the segmentation of objects, but had as drawback the fact that the labelling of the landmark points was usually ...
Tópico(s): Robotics and Sensor-Based Localization
2008 - Tech Science Press | Computer Modeling in Engineering & Sciences
Marília Barreiros dos Santos, Raquel B. Queirós, Álvaro Geraldes, C. N. Marques, Vânia Vilas‐Boas, Lorena Diéguez, Elvira Paz, Ricardo Ferreira, João Morais, Vı́tor Vasconcelos, João Piteira, P. P. Freitas, Begoña Espiña,
Microcystins are the most worldwide extended and common toxins produced by cyanobacteria in freshwater. Microcystin-leucine arginine (MC-LR), associated with the most toxic incidents involving microcystins, are within the cyanobacteria (intracellular) until released into the surrounding waters (extracellular) during cell lysis. Therefore, the relationship between intracellular and extracellular cyanotoxins will allow a comprehensive risk of cyanobacteria-containing waters, preventing disease and improving ...
Tópico(s): Marine Toxins and Detection Methods
2019 - Elsevier BV | Biosensors and Bioelectronics
Produção Nacional
Márlon Paluch, Olaf Hermann Hendrik Mielke, Carlos Eduardo Beserra Nobre, Mirna Martins Casagrande, Douglas Henrique Alves Melo, André Victor Lucci Freitas,
... on the Brazilian semi-arid, the Parque Ecológico João Vasconcelos Sobrinho (PEJVS), locally known as "Brejo dos Cavalos" ...
Tópico(s): Animal and Plant Science Education
2011 - Fundação de Amparo à Pesquisa do Estado de SP | Biota Neopropica/Biota Neotropica
Produção Nacional
Revisado por pares
Sérgio Romero da Silva Xavier, Iva Carneiro Leão Barros,
... aspectos ecológicos das pteridófitas ocorrentes no Parque Ecológico João Vasconcelos Sobrinho, também conhecido como Brejo dos Cavalos, caracteristicamente ...
Tópico(s): Plant and animal studies
2005 - Sociedade Botânica do Brasil | Acta Botanica Brasilica
Produção Nacional
Revisado por pares
Daniel Guerreiro Diniz, César Augusto Raiol Fôro, Carla M Damasceno Rego, David A. Gloria, Fabio R. R. De Oliveira, Juliana M. P. Paes, Aline Andrade de Sousa, Tatyana Pereira Tokuhashi, Lucas Siqueira Trindade, M. Turiel, Erick G. R. Vasconcelos, João Bento‐Torres, Colm Cunnigham, V. Hugh Perry, Pedro Fernando da Costa Vasconcelos, Cristovam Wanderley Picanço Diniz,
Abstract Environmental and age‐related effects on learning and memory were analysed and compared with changes observed in astrocyte laminar distribution in the dentate gyrus. Aged (20 months) and young (6 months) adult female albino Swiss mice were housed from weaning either in impoverished conditions or in enriched conditions, and tested for episodic‐like and water maze spatial memories. After these behavioral tests, brain hippocampal sections were immunolabeled for glial fibrillary acid protein ...
Tópico(s): Neurogenesis and neuroplasticity mechanisms
2010 - Wiley | European Journal of Neuroscience
Produção Nacional
Revisado por pares
Tereza Helena Cavalcanti de Vasconcelos, João Modesto-Filho, Margareth de Fátima Formiga Melo Diniz, Hosana Bandeira Santos, Fernanda Burle de Aguiar, Patrícia Vasconcelos Leitão Moreira,
O estudo objetivou realizar ensaio toxicológico pré-clínico inicial para investigar a toxicidade da planta. Na investigação da DL50 foram utilizados grupos de camundongos Swiss machos (n = 10) submetidos a doses de 5,0 g/kg, via oral, e dose de 2,0 g/kg por via intraperitoneal, da fração aquosa das folhas (FAF) de Cissus sicyoides L. Foi retirado sangue através do plexo braquial após sete dias, para análise laboratorial de parâmetros hematológicos e bioquímicos. No estudo anatomopatológico, os animais ...
Tópico(s): Ethnobotanical and Medicinal Plants Studies
2007 - Springer Science+Business Media | Revista Brasileira de Farmacognosia
Produção Nacional
Revisado por pares
Fernando Bacal, João David de Souza Neto, Alfredo Inácio Fiorelli, Juan Alberto Cosquillo Mejía, Fabiana G. Marcondes‐Braga, Sandrigo Mangini, José de Lima Oliveira, Dirceu Rodrigues Almeida, Estela Azeka, Jarbas Jakson Dinkhuysen, Maria da Consolação Vieira Moreira, João Manoel Rossi Neto, Reinaldo B. Bestetti, Juliana Rolim Fernandes, Fátima das Dores Cruz, Lucinei Paz Ferreira, Helenice Moreira da Costa, Ana Augusta Maria Pereira, N Panajotopoulos, Luiz Alberto Benvenuti, Lídia Zytynski Moura, Glauber Gean de Vasconcelos, João Nelson Rodrigues Branco, Cláudio Léo Gelape, Ricardo Barreira Uchoa, Silvia Moreira Ayub‐Ferreira, Luís Fernando Aranha Camargo, Alexandre Siciliano Colafranceschi, Solange Bordignon, Reginaldo Cipullo, Estela Suzana Kleiman Horowitz, Klébia Castelo Branco, Marcelo Biscegli Jatene, Sergio Lopes Veiga, César Augusto Guimarães Marcelino, Guaracy Fernandes Teixeira Filho, José Henrique Andrade Vila, Marcelo Westerlund Montera,
Tópico(s): Transplantation: Methods and Outcomes
2010 - Sociedade Brasileira de Cardiologia (SBC) | Arquivos Brasileiros de Cardiologia
Silvania Lopes Pinheiro, Raíssa Ottes Vasconcelos, João Lucas Campos de Oliveira, Fabiana Gonçalves de O. A. Matos, Nelsi Salete Tonini, Débora Cristina Ignácio Alves,
Tópico(s): Advances in Oncology and Radiotherapy
2017 - UNIVERSIDADE FEDERAL DE MINAS GERAIS | Reme Revista Mineira de Enfermagem
Francisco Vasconcelos, João P. Barreto, Edmond Boyer,
We propose a new method to add an uncalibrated node into a network of calibrated cameras using only pairwise point correspondences. While previous methods perform this task using triple correspondences, these are often difficult to establish when there is limited overlap between different views. In such challenging cases we must rely on pairwise correspondences and our solution becomes more advantageous. Our method includes an 11-point minimal solution for the intrinsic and extrinsic calibration ...
Tópico(s): Robotics and Sensor-Based Localization
2017 - IEEE Computer Society | IEEE Transactions on Pattern Analysis and Machine Intelligence
Produção Nacional
Revisado por pares
Thaís C. de Oliveira, Priscila T. Rodrigues, Maria José Menezes, Raquel M. Gonçalves‐Lopes, Melissa S. Bastos, Nathália F. Lima, Susana Barbosa, Alexandra Lehmkuhl Gerber, Guilherme Loss de Morais, Luisa Berná, Jody Phelan, Carlos Robello, Ana Tereza Ribeiro de Vasconcelos, João M. P. Alves, Marcelo U. Ferreira,
The Americas were the last continent colonized by humans carrying malaria parasites. Plasmodium falciparum from the New World shows very little genetic diversity and greater linkage disequilibrium, compared with its African counterparts, and is clearly subdivided into local, highly divergent populations. However, limited available data have revealed extensive genetic diversity in American populations of another major human malaria parasite, P. vivax.We used an improved sample preparation strategy ...
Tópico(s): Parasites and Host Interactions
2017 - Public Library of Science | PLoS neglected tropical diseases
Produção Nacional
Revisado por pares
Geraldo Bezerra da Silva, Adolfo Gomes Vasconcelos, Amanda Maria Timbó Rocha, Vanessa Ribeiro de Vasconcelos, João de Barros Neto, Julye Sampaio Fujishima, Nathália Barros Ferreira, Elvino José Guardão Barros, Elizabeth De Francesco Daher,
Bee stings can cause severe reactions and have caused many victims in the last years. Allergic reactions can be triggered by a single sting and the greater the number of stings, the worse the prognosis. The poisoning effects can be systemic and can eventually cause death. The poison components are melitin, apamin, peptide 401, phospholipase A2, hyaluronidase, histamine, dopamine, and norepinephrine, with melitin being the main lethal component. Acute kidney injury (AKI) can be observed in patients ...
Tópico(s): Venomous Animal Envenomation and Studies
2017 - UNIVERSIDADE DE SÃO PAULO | Revista do Instituto de Medicina Tropical de São Paulo
Produção Nacional
Revisado por pares
Evanthia Mantzouki, James Campbell, E. Emiel van Loon, P. Visser, Iosif Konstantinou, Maria Antoniou, Grégory Giuliani, Danielle Machado-Vieira, Alinne Gurjão de Oliveira, Dubravka Špoljarić Maronić, Filip Stević, Tanja Žuna Pfeiffer, Itana Bokan Vucelić, Petar Žutinić, Marija Gligora Udovič, Anđelka Plenković-Moraj, Nikoletta Tsiarta, Luděk Bláha, Rodan Geriš, Markéta Fránková, Kirsten Christoffersen, Trine Perlt Warming, Tõnu Feldmann, Alo Laas, Kristel Panksep, Lea Tuvikene, Kersti Kangro, Kerstin Häggqvist, Pauliina Salmi, Лаури Арвола, Jutta Fastner, Dietmar Straile, Karl‐Otto Rothhaupt, Jérémy Fonvielle, Hans‐Peter Grossart, Christos Avagianos, Triantafyllos Kaloudis, Theodoros M. Triantis, Sevasti‐Kiriaki Zervou, Anastasia Hiskia, Spyros Gkelis, Manthos Panou, Valerie McCarthy, Victor C. Perello, Ulrike Obertegger, Adriano Boscaini, Giovanna Flaim, Nico Salmaso, Leonardo Cerasino, Judita Koreivienė, Jūratė Karosienė, Jūratė Kasperovičienė, Ksenija Savadova, Irma Vitonytė, Sigrid Haande, Birger Skjelbred, Magdalena Grabowska, Maciej Karpowicz, Damian Chmura, Lidia Nawrocka, Justyna Kobos, Hanna Mazur‐Marzec, Pablo Alcaraz‐Párraga, Elżbieta Wilk‐Woźniak, Wojciech Krztoń, Edward Walusiak, Ilona Gągała, Joanna Mankiewicz‐Boczek, Magdalena Toporowska, Barbara Pawlik‐Skowrońska, Michał Niedźwiecki, Wojciech Pęczuła, Agnieszka Napiórkowska‐Krzebietke, Julita Dunalska, Justyna Sieńska, Daniel Szymański, Marek Kruk, Agnieszka Budzyńska, Ryszard Gołdyn, Anna Kozak, Joanna Rosińska, Elżbieta Szeląg‐Wasielewska, Piotr Domek, Natalia Jakubowska, Kinga Kwasiżur, Beata Messyasz, Aleksandra Pełechata, Mariusz Pełechaty, Mikołaj Kokociński, Beata Mądrecka, Iwona Kostrzewska‐Szlakowska, Magdalena Frąk, Agnieszka Bańkowska‐Sobczak, Michał Wasilewicz, Agnieszka Ochocka, Agnieszka Pasztaleniec, Iwona Jasser, Ana Maria Geraldes, Manel Leira, Armand Hernández, Vı́tor Vasconcelos, João Morais, Micaela Vale, Pedro M. Raposeiro, Vítor Gonçalves, Boris Aleksovski, Svetislav Krstić, Hana Nemova, Iveta Drastichova, Lucia Chomova, Špela Remec-Rekar, Tina Eleršek, Jordi Delgado Martín, David Granado García, José Luis Cereijo-Arango, Joan Gomà, María del Carmen Trapote, Teresa Vegas‐Vilarrúbia, Biel Obrador, Ana García‐Murcia, Monserrat Real, Elvira Romans, Jordi Noguero‐Ribes, David Parreño Duque, Elísabeth Fernández‐Morán, Bárbara Úbeda, J. A. Gálvez, Rafael Marcé, Núria Catalán, Carmen Pérez‐Martínez, Eloísa Ramos‐Rodríguez, Carmen Cillero Castro, Enrique Moreno‐Ostos, José María Blanco, Valeriano Rodrı́guez, Jorge Juan Montes‐Pérez, Roberto L. Palomino, Estela Rodríguez‐Pérez, Rafael Carballeira, Antonio Camacho, Antonio Picazo, Carlos Rochera, Anna C. Santamans, Carmen Ferriol, Susana Romo, Juan M. Soria, Lars‐Anders Hansson, Pablo Urrutia‐Cordero, Arda Özen, Andrea G. Bravo, Moritz Buck, William Colom, Kristiina Mustonen, Donald C. Pierson, Yang Yang, Jolanda M. H. Verspagen, Lisette N. de Senerpont Domis, Laura M.S. Seelen, Sven Teurlincx, Yvon Verstijnen, Miquel Lürling, Valentini Maliaka, Elisabeth J. Faassen, Delphine Latour, Cayelan C. Carey, Hans W. Paerl, Andrea Törökné, Tünay Karan, Nilsun Demi̇r, Meryem Beklioğlu, Nur Filiz, Eti E. Levi, Uğur Işkın, Gizem Bezirci, Ülkü Nіhan Tavşanoğlu, Kemal Çelik, Koray Özhan, Nusret Karakaya, Mehmet Ali Turan Koçer, Mete Yılmaz, Faruk Maraşlıoğlu, Özden FAKIOĞLU, Elif Neyran Soylu, Meral Apaydın Yağcı, Şakir Çınar, Kadir Çapkın, Abdülkadir Yağcı, Mehmet Cesur, Fuat Bilgin, Cafer Bulut, Rahmi Uysal, Latife Köker, Reyhan Akçaalan, Meriç Albay, Mehmet Tahir, Korhan Özkan, Tuğba Ongun Sevi̇ndi̇k, Hatice Tunca, Burçin Önem, Jessica Richardson, Christine Edwards, Victoria Bergkemper, Sarah O’Leary, Eilish Beirne, Hannah Cromie, Bastiaan W. Ibelings,
Abstract Under ongoing climate change and increasing anthropogenic activity, which continuously challenge ecosystem resilience, an in-depth understanding of ecological processes is urgently needed. Lakes, as providers of numerous ecosystem services, face multiple stressors that threaten their functioning. Harmful cyanobacterial blooms are a persistent problem resulting from nutrient pollution and climate-change induced stressors, like poor transparency, increased water temperature and enhanced stratification. ...
Tópico(s): Fish Ecology and Management Studies
2018 - Nature Portfolio | Scientific Data
Paula Rodrigues, Olga Vasconcelos, João Barreiros, Ricardo Barbosa, Fábio Trifilio,
Abstract Right‐ and left‐handed performance presents different degrees of manual functional asymmetry, because left‐handers usually present lower asymmetry in several tasks. Thus, we asked 27 right‐handed and 33 left‐handed male and female adolescents to perform a coincidence‐anticipation task. Absolute, constant, and variable errors were calculated for each participant, for the preferred and non‐preferred hand, as well as the performance asymmetry index. Results demonstrated that: (i) right‐ and ...
Tópico(s): Motor Control and Adaptation
2009 - Taylor & Francis | European Journal of Sport Science
La Salete Martins, Guilherme Rocha, Anabela Rodrigues, Josefina Santos, Carlos Vasconcelos, João Correia, Filipa Farinha, Isabel Almeida, Paulo José Bastos Barbosa, S Guimarães,
Lupus nephritis (LN) is a frequent and serious manifestation of systemic lupus erythematosus. However, the outcome has progressively improved in the last 3 decades and this was due to more efficient and early treatment of LN and comorbid situations. The aim of our study was to analyze our experience and outcome in LN, to evaluate clinicopathologic and clinicolaboratory correlations and to search for risk factors for renal and patient survival.We conducted a retrospective study of 78 patients with ...
Tópico(s): Hepatitis C virus research
2002 - Dustri-Verlag | Clinical Nephrology
Michèle Milili, Henedina Antunes, Carla Blanco-Betancourt, Ana Nogueiras, Eugénia Santos, Júlia Vasconcelos, João e Melo, Claudine Schiff,
Tópico(s): Blood disorders and treatments
2002 - Springer Science+Business Media | European Journal of Pediatrics
Ana C. L. Sá, José M. C. Pereira, Maria J. Vasconcelos, João M. N. Silva, Natasha Ribeiro, A. Awasse,
The goal of this study was to evaluate the feasibility of sub-pixel burned area detection in the miombo woodlands of northern Mozambique, using imagery from the Moderate Resolution Imaging Spectroradiometer (MODIS). Multitemporal Landsat-7 ETM+ data were acquired to produce a high spatial resolution map of areas burned between mid-August and late September 2000, and a field campaign was conducted in early November 2000 to gather ground truth data. Mapping of burned areas was performed with an ensemble ...
Tópico(s): Fire effects on ecosystems
2003 - Taylor & Francis | International Journal of Remote Sensing
Clara Vasconcelos, Joâo Félix Praia, Leandro S. Almeida,
Uma preocupação sempre presente da investigação na área da Psicologia Educacional, é a da compreensão do processo de aprendizagem do aluno, nomeadamente em contexto formal de ensino. Nessa linha, o ensino das ciências recorre a essa área de conhecimento para fundamentar teoricamente concepções e práticas de ensino/aprendizagem, no contexto e ecologia de sala de aula específicos. Neste artigo apresenta-se o contributo das diversas teorias de aprendizagem no processo de ensino/aprendizagem das ciências, ...
Tópico(s): Chemistry Education and Research
2003 - Associação Brasileira de Psicologia Escolar e Educacional | Psicologia Escolar e Educacional
Produção Nacional
Revisado por pares
Karina Simone de Souza Vasconcelos, João Marcos Domingues Dias, Rosângela Corrêa Dias,
As mulheres apresentam risco aumentado para a osteoartrite (OA) de joelhos e obesidade. Associadas, essas doenças podem gerar dor e prejuízos funcionais, principalmente em atividades de locomoção. Este estudo visou comparar o impacto do grau de obesidade nos sintomas e capacidade funcional de mulheres com OA de joelhos. Foram selecionadas 13 mulheres obesas (com índice de massa corporal - IMC>30 kg/m²) e 15 com obesidade mórbida (IMC>40 kg/m²), todas com OA bilateral de joelhos. Os sintomas de ...
Tópico(s): Lower Extremity Biomechanics and Pathologies
2008 - UNIVERSIDADE DE SÃO PAULO | Fisioterapia e Pesquisa
Paula Rodrigues, Olga Vasconcelos, João Barreiros, Ricardo Barbosa,
Abstract This study investigated the effects of handedness and gender on manual asymmetry in the performance of a complex coincidence-anticipation task. Left-handed (N=63) and right-handed (N=93) undergraduate students (78 males, 78 females) were required to press six buttons sequentially in conjunction with visual stimulation provided by a coincidence-anticipation apparatus. Participants were further separated into subgroups based on the degree of hand preference. Timing accuracy (AE, CE, VE) and timing ...
Tópico(s): Action Observation and Synchronization
2008 - Taylor & Francis | Laterality Asymmetries of Body Brain and Cognition
Produção Nacional
Revisado por pares
Roseane Cavalcanti dos Santos, Gizelda Maia Rêgo, Astrogildo P. G. da Silva, José O. L. Vasconcelos, João Coutinho, Péricles de Albuquerque Melo Filho,
Onze linhagens avançadas de amendoim, eretas e rasteiras, foram conduzidas em condições de sequeiro, em quatro estados nordestinos, visando-se avaliar a produtividade em vagens e sementes. Os ensaios foram conduzidos no período de 2005 a 2007, nos municípios de Araripina e Parnamirim, PE, Lagarto, SE, Cruz das Almas e Caetité, BA, Campina Grande e Itabaiana, PB. O delineamento experimental adotado foi em blocos ao acaso, com 13 tratamentos, constituídos de oito linhagens eretas e cinco rasteiros, ...
Tópico(s): Rural Development and Agriculture
2010 - UNIVERSIDADE FEDERAL DE CAMPINA GRANDE | Revista Brasileira de Engenharia Agrícola e Ambiental
Carlos A. Molina, Magdy Selim,
... Riera R, Tosello G, Clezar C, Amorim J, Vasconcelos V, Joao B and Flumignan R (2020) Type of anaesthesia ...
Tópico(s): Cardiac, Anesthesia and Surgical Outcomes
2010 - Lippincott Williams & Wilkins | Stroke
A. M. G. Pacheco, M. C. Freitas, Mafalda S. Baptista, T. Vasconcelos, João Paulo Cabral,
Samples of Platanus hybrida Brot. bark and Flavoparmelia caperata (L.) Hale thalli, from a clean area in northern Portugal (Baião), were transplanted into an exposure location at the south-western Atlantic coast, impacted by urban-industrial emissions (Sines), for a 10-month long experiment. Bark pieces were confined into nylon bags (2-mm mesh), and lichen thalli kept with their bark substrate (Pinus pinaster (Ait.) Sol.). Every two months, a double set of transplants (one for bark, one for lichens) was ...
Tópico(s): Radioactive contamination and transfer
2007 - Elsevier BV | Environmental Pollution
Mafalda S. Baptista, Marco Vasconcelos, João Paulo Cabral, M. Carmo Freitas, A. M. G. Pacheco,
This work aimed at comparing the dynamics of atmospheric metal accumulation by the lichen Flavoparmelia caperata and bark of Platanus hybrida over different periods of time. Transplants were exposed in three Portuguese coastal cities. Samples were retrieved (1) every 2 months (discontinuous exposure), or (2) after 2-, 4-, 6-, 8- and 10-month periods (continuous exposure), and analysed for Cu, Ni and Pb. Airborne accumulation of metals was essentially independent of climatic factors. For both biomonitors [ ...
Tópico(s): Plant Pathogens and Fungal Diseases
2007 - Elsevier BV | Environmental Pollution
Vı́tor Vasconcelos, João Morais, Micaela Vale,
A monitoring program of cyanobacteria and cyanotoxins in the framework of the surveillance of the Water Treatment Plant efficiency of the municipality of Santa Comba Dão (Portugal) was conducted from 1994 until 2007. With these data we aimed to answer the question, are MCs produced evenly over the years in a single water body? Samples were taken by the local health authorities in the site of the Water treatment plant and analyzed for total phytoplankton, cyanobacteria and the hepatotoxic cyanotoxins ...
Tópico(s): Marine and coastal ecosystems
2011 - Royal Society of Chemistry | Journal of Environmental Monitoring
Paulo Vasconcelos, João Cúrdia, Margarida Castro, Miguel B. Gaspar,
Tópico(s): Marine Ecology and Invasive Species
2006 - Springer Science+Business Media | Hydrobiologia
M. C. Freitas, A. M. G. Pacheco, I. Dionísio, S. Sarmento, Mafalda S. Baptista, T. Vasconcelos, João Paulo Cabral,
Tópico(s): Geochemistry and Geologic Mapping
2006 - Elsevier BV | Nuclear Instruments and Methods in Physics Research Section A Accelerators Spectrometers Detectors and Associated Equipment
Isabel Nunes, Antónia Lopes, Vasco T. Vasconcelos, João Abreu, Luís S. Reis,
We present and evaluate an approach for the run-time conformance checking of Java classes against property-driven algebraic specifications. Our proposal consists in determining, at run-time, whether the classes subject to analysis behave as required by the specification. The key idea is to reduce the conformance checking problem to the runtime monitoring of contract-annotated classes, a process supported today by several runtime assertion-checking tools. Our approach comprises a rather conventional ...
Tópico(s): Software Testing and Debugging Techniques
2006 - Springer Science+Business Media | Lecture notes in computer science