Letteratura scientifica selezionata sul tema "JPFB"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "JPFB".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Articoli di riviste sul tema "JPFB"
Lu, Xinyi, Xingli Wu, Lin Jing, Lingjia Tao, Yingxuan Zhang, Renke Huang, Gong Zhang e Jianlin Ren. "Network Pharmacology Analysis and Experiments Validation of the Inhibitory Effect of JianPi Fu Recipe on Colorectal Cancer LoVo Cells Metastasis and Growth". Evidence-Based Complementary and Alternative Medicine 2020 (26 luglio 2020): 1–15. http://dx.doi.org/10.1155/2020/4517483.
Testo completoJalili, V. P. "JPFA on silver track". Journal of Pierre Fauchard Academy (India Section) 25, n. 1 (marzo 2011): 47. http://dx.doi.org/10.1016/s0970-2199(11)50009-8.
Testo completoWalker, Matt, Parssa Khazra, Anto Nanah Ji, Hongru Wang e Franck van Breugel. "jpf-logic". ACM SIGSOFT Software Engineering Notes 48, n. 1 (10 gennaio 2023): 32–36. http://dx.doi.org/10.1145/3573074.3573083.
Testo completoKwon, David. "Human Security". Journal for Peace and Justice Studies 29, n. 2 (2019): 3–24. http://dx.doi.org/10.5840/peacejustice201929214.
Testo completoAnipah, Sri, Asep Suherman e Yudhi Mahmud. "Perbandingan Analisa Usaha Penggemukan Sapi PO yang Diberi Ransum Komersil dan JPFA Dengan Ransum Dedak Padi, Indigofera, sp., dan JPFA pada Kelompok Ternak Tunggal Rasa Desa Majasari Kecamatan Sliyeg Kabupaten Indramayu". Agri Wiralodra 15, n. 1 (7 maggio 2023): 37–48. http://dx.doi.org/10.31943/agriwiralodra.v15i1.62.
Testo completoBesseling, Johan, e Cyrille Artho. "Using Theia Trace Viewer to Visualize JPF Traces". ACM SIGSOFT Software Engineering Notes 48, n. 1 (10 gennaio 2023): 22–26. http://dx.doi.org/10.1145/3573074.3573081.
Testo completoYi, Pu, Anjiang Wei, Wing Lam, Tao Xie e Darko Marinov. "Finding Polluter Tests Using Java PathFinder". ACM SIGSOFT Software Engineering Notes 46, n. 3 (14 luglio 2021): 37–41. http://dx.doi.org/10.1145/3468744.3468756.
Testo completoKawamura, S. "Briefing outside JPB". Journal of Photochemistry and Photobiology B: Biology 6, n. 4 (agosto 1990): 453. http://dx.doi.org/10.1016/1011-1344(90)85120-l.
Testo completoSpikes, JohnD. "Briefing outside JPB". Journal of Photochemistry and Photobiology B: Biology 7, n. 2-4 (novembre 1990): 369. http://dx.doi.org/10.1016/1011-1344(90)85172-s.
Testo completoHölzle, Erhard. "Briefing outside JPB". Journal of Photochemistry and Photobiology B: Biology 8, n. 2 (gennaio 1991): 227. http://dx.doi.org/10.1016/1011-1344(91)80065-p.
Testo completoTesi sul tema "JPFB"
Noonan, Eric S. "Slice—n—Dice Algorithm Implementation in JPF". BYU ScholarsArchive, 2014. https://scholarsarchive.byu.edu/etd/4147.
Testo completoMelo, Rafael de Araújo. "Recursos linguísticos orais no telejornalismo: estratégias de audiência no texto do JPB 1ª edição". Universidade Federal da Paraíba, 2017. http://tede.biblioteca.ufpb.br:8080/handle/tede/9598.
Testo completoMade available in DSpace on 2017-09-20T14:24:43Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1658203 bytes, checksum: c44b0ebc3d2bab82509c5708b45bea4b (MD5) Previous issue date: 2017-03-30
This paper discusses the update of the journalistic text Television analyzing oral language resources that are used. It started from the hypothesis that language is used not only to inform, but especially, to seek identification between public and the television news. This results in maintenance and expansion of the audience, a kind of linguistic reading agreement with the public. The objective of the research is to describe how this activity is done in television news in a local program. For this, we analyzed the texts produced in JPB 1st Edition, we analyzed the words, expressions and oral placements, especially, the informal aspect, and analyzed based on theories of communication and language, considering the pragmatic, the language of functionality, according the new precepts of television journalism. We also discuss the performative intentionality of texts and present the guidelines of journalistic writing manuals for TV have been developed more recently. Soul, we want to know how the oral linguistic resources are used as audience strategies in journalistic text JPB 1st Edition. We seek to identify these resources, analyze them and categorize them, and check the effects of possibilities intended by the producer. We follow television news editions and cataloged the colloquial language or proximista records to then analyze them. The research helps to reflect on the changes and language changes and an analysis of the interaction caused from the text of newspapers. Soul, the paper can understand and show why the choice of language primarily through the axis of the audience.
O presente trabalho discute a atualização do texto jornalístico de Televisão analisando os recursos linguísticos orais que são utilizados. Parte-se da hipótese de que a língua é utilizada não somente para informar mas, sobretudo, para buscar identificação do público com o telejornal, uma espécie de contrato de leitura linguístico com o público. Isto resulta em manutenção e ampliação da audiência. O objetivo da pesquisa é descrever como esta atividade é feita no telejornalismo a partir de um programa local. Para isso, analisamos os textos produzidos no JPB 1ª Edição, ressaltamos os termos, expressões e colocações oriundas da oralidade, em particular o aspecto informal, e os analisamos à luz de teorias da comunicação e da linguística, considerando a pragmática, a funcionalidade da língua, que atende aos preceitos novos do telejornalismo. Discutimos também a intencionalidade performativa dos textos e apresentamos as orientações dos manuais de redação jornalística para TV que foram elaborados mais recentemente. Deste modo, queremos saber como os recursos linguísticos orais são utilizados como estratégias de audiência no texto telejornalístico do JPB 1ª Edição. Assim, buscamos identificar estes recursos, analisá-los e categorizá-los, além de verificar as possibilidades de efeitos visados pelo produtor. Acompanhamos as edições do telejornal e catalogamos os registros de linguagem coloquial ou proximista para, em seguida, analisá-los. Como resultado da pesquisa surge uma reflexão sobre as variações e as mudanças linguísticas e uma análise da interação provocada a partir do texto dos jornais. Em suma, o trabalho consegue compreender e mostrar porque a escolha da linguagem passa fundamentalmente pelo eixo da audiência.
Melo, Rostand de Albuquerque. "Telejornalismo e Cotidiano: a construção de enquadramentos sobre a vida urbana no JPB 1ª edição". Universidade Federal da Paraíba, 2010. http://tede.biblioteca.ufpb.br:8080/handle/tede/4495.
Testo completoCoordenação de Aperfeiçoamento de Pessoal de Nível Superior
Considering the journalism while a way of specific knowledge with an own logic of perception about the everyday life, this dissertation purpose is understand the relationships between the common sense knowledge and the apprehension forms of the social reality adopted in the news production process. For so much, the theoretical perspective of Alfred Schutz's phenomenology is adopted to observe the journalists' behavior in the work place. The objective is to describe and to understand the operation mechanisms of the intrinsic relevance s system to the journalistic field. To understand the constitution of what we can call a journalistic "common sense" and the construction of established visions about the everyday life on the city, is opted for an etno-construcionist approach, based in the notion of social construction of the reality. Addressing the analysis focus to the TV local journalism, the methodological choice is the application of the Etnomethodology. The purpose is to understand as the journalists of TV see (perceive) the urban life and that it sorts out that peculiar framing is reverse-built in a narrative marked by the techniques and procedures of journalistic counting and of the audiovisual language. It was delimited as studies object the routines of production of the television news JPB 1st Edition, exhibited daily by Cabo Branco TV and Paraíba TV, affiliated stations to the Globo Broadcasting Network in the State of Paraíba. A field research was accomplished systematized in two apprenticeships: the participant observation and the application of interviews semi-structured with the responsible journalists by the production and edition of the analyzed television news. The information and obtained inferences were divided in two different perspectives. First the "regularities" of the productive routines and way of work organization will be analyzed, as well as the hierarchical and organizational structure in which the production of the television news is inserted. In a second moment, analytical narratives will be presented on episodes and circumstances observed during the field research. They are peculiar situations that reveal the compound linkage of relationships that settles down in the news production process and how the editorial choices are permeate from subjective and symbolic aspects.
Considerando o jornalismo enquanto um modo de conhecimento específico com uma lógica própria de percepção do cotidiano, esta dissertação busca compreender as relações entre o conhecimento do senso comum e as formas de apreensão da realidade social adotadas no processo de produção de notícias. Para tanto, adota-se a perspectiva teórica da fenomenologia de Alfred Schutz aplicada à observação do comportamento dos jornalistas no ambiente de trabalho: a redação. O objetivo é descrever e compreender os mecanismos de funcionamento do sistema de relevâncias intrínseco ao campo jornalístico. Para compreender a constituição do que podemos chamar de um senso comum da redação e a construção de visões apriorísticas sobre o cotidiano da cidade, optou-se por uma abordagem etno-construcionista, fundamentada na noção de construção social da realidade. Direcionando o foco de análise ao telejornalismo local, propõe-se como escolha metodológica a aplicação da Etnometodologia. O propósito é compreender como os jornalistas de TV vêem (percebem) a vida urbana e de que maneira esse enquadramento peculiar é re-construído em uma narrativa marcada pelas técnicas e procedimentos de apuração jornalística e da linguagem audiovisual. Delimitou-se como objeto de estudo as rotinas de produção do telejornal JPB 1ª Edição, exibido diariamente pela TV Cabo Branco e TV Paraíba, emissoras afiliadas à Rede Globo no Estado da Paraíba. Foi realizada uma pesquisa de campo sistematizada em dois estágios: a observação participante e a aplicação de entrevistas semi-estruturadas com os jornalistas responsáveis pela produção e edição do telejornal analisado. As informações e inferências obtidas foram divididas em duas perspectivas distintas. Primeiro serão analisadas as regularidades das rotinas produtivas e modo de organização de trabalho na redação, bem como a estrutura hierárquica e organizacional no qual a produção do telejornal está inserida. Num segundo momento, serão apresentadas narrativas analíticas sobre episódios e circunstâncias observadas durante a pesquisa de campo. São situações particulares que revelam o complexo encadeamento de relações que se estabelece no processo de produção de notícias, bem como os aspectos subjetivos e simbólicos que permeiam as escolhas editoriais.
Souza, Bruna Fernandes de. "Um estudo sobre a busca pelo personagem do telejornal JPB 1ª edição da TV Cabo Branco". Universidade Federal da Paraíba, 2017. http://tede.biblioteca.ufpb.br:8080/handle/tede/9587.
Testo completoMade available in DSpace on 2017-09-20T12:54:30Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2540614 bytes, checksum: be63a9cf1230d85ce8c83ca97d246545 (MD5) Previous issue date: 2017-04-20
It is usual to watch on the news ordinary people, who are not experts or authorities, providing testimony, telling facts of their lives, talking about different topics. They are the characters that support and humanize the reports. In this study, we try to understand how is the presence of this character in the television news. The object of study is the television news JPB 1st edition, transmitted by Cabo Branco TV, an affiliate of Rede Globo in Paraiba. The research ranges from the search process to find these characters, approaching the journalistic routines of the newsroom, to the inclusion of these individuals in the reports. Other goals we tried to achieve were to identify the tools used to find the characters, understand the interaction of the TV producers with new means to search and contact, especially social networks, and reflect on ways to improve the process of searching and selecting characters. Therefore, we use concepts and theories that deal with issues of humanization of journalism, participation and approach of the public with journalistic practices. It is a qualitative and exploratory research, which included bibliographic research, interviews and questionnaires with journalists of the newsroom, especially producers, as well as analysis of that television news reports. It was also used the participant observation method.
É habitual ver nos telejornais pessoas comuns, que não são especialistas ou autoridades, dando depoimentos, contando fatos de suas vidas, falando sobre os mais diversos temas. Elas são os personagens que embasam e humanizam as matérias. Neste trabalho, procuramos compreender como se dá a presença desse personagem no telejornalismo, tendo como objeto de estudo o telejornal do horário do meio-dia, JPB 1ª edição, da TV Cabo Branco, afiliada da Rede Globo na Paraíba. A pesquisa vai desde os processos de busca para encontrar esses personagens, abordando as rotinas jornalísticas da redação, até a inserção desses indivíduos nas matérias. Outros objetivos que tentamos atingir foram os de identificar as ferramentas usadas para encontrar os personagens, entender a interação dos produtores da redação com as novas formas de busca e contato, principalmente as redes sociais, e refletir sobre meios de aperfeiçoar o processo de procura e escolha de personagens. Para tanto, utilizamos conceitos e teorias que tratam de questões relativas à humanização do jornalismo, participação e aproximação do público com as práticas jornalísticas. Trata-se de uma pesquisa qualitativa e exploratória, na qual realizamos pesquisa bibliográfica, entrevistas e questionários com os jornalistas da redação, principalmente os repórteres produtores, e na qual também foi utilizado o método de observação participante na redação. Além disso, foram feitas análises de matérias desse telejornal com o intuito de perceber as características dos personagens participantes.
Souza, Denise Helena Delmiro de. "Tensões midiáticas (ou conflitos de mediação) entre a comunidade e a gestão pública – A agenda do Calendário JPB". Universidade Estadual da Paraíba, 2016. http://tede.bc.uepb.edu.br/tede/jspui/handle/tede/2622.
Testo completoApproved for entry into archive by Secta BC (secta.csu.bc@uepb.edu.br) on 2016-10-17T13:33:47Z (GMT) No. of bitstreams: 1 PDF - Denise Helena Delmiro de Souza.pdf: 2401179 bytes, checksum: 4a6d944273e8f164f69b4c9913d2b4b3 (MD5)
Made available in DSpace on 2016-10-17T13:33:47Z (GMT). No. of bitstreams: 1 PDF - Denise Helena Delmiro de Souza.pdf: 2401179 bytes, checksum: 4a6d944273e8f164f69b4c9913d2b4b3 (MD5) Previous issue date: 2016-06-09
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
When the media press public management by determined action, asking, including a period marked to its resolution would be interfering with the autonomy of the proposed planning for a particular territory? The media in disseminating social problems creates conflict between the government agenda and the population? This study presents the research results on the "Calendário JPB" aired on TV newscast JPB - 1st Edition, TV Paraíba, Rede Globo affiliate in Campina Grande-PB. The object of study is presented as a proposal in which the viewer characterizes itself the reports of the issuer of the problems experienced in their community, which in turn would make for and he revindication to public officials. So it is analyzed, generally as Service Journalism can be one of the actors who influence and / or press the state to schedule actions of interest and the contributions of “Calendário JPB" for those involved in the reports communities are the structuring or immediate type, that is, if there was some sort of planning or not. The research is descriptive-analytic nature and is based on literature and field research. We review the television picture productions since 2011 (the year it was started) in 2015 were 37 reports assessed, always being a chosen per month, to give more breadth to research. In the evaluation, at first we describe the kind of social demand, the neighborhood, the result given by journalists (resolved or unresolved) and type, in a second moment we observe that the claimed actions are structuring or immediate. The result of the research points to works that most often proved immediate and leave no significant changes and / or planned for the future of communities. The research also resulted in an inventory of common social demands, which become guidelines for the local media.
Quando a mídia pressiona a gestão pública por determinada ação, cobrando, inclusive, um período marcado para sua resolução, gera conflito entre a agenda governamental e a população? A ação midiática na divulgação de problemas sociais promove algum desenvolvimento para a comunidade envolvida? Este estudo apresenta os resultados de pesquisa sobre as tensões midiáticas ou conflitos de mediação entre comunidade e gestão pública na agenda do quadro “Calendário JPB”, exibido no telejornal JPB – 1ª Edição, da TV Paraíba, afiliada Rede Globo em Campina Grande-PB. O referido objeto de estudo apresenta-se como uma proposta em que o telespectador pauta as reportagens da emissora sobre problemas de infraestrutura urbana ou de serviços públicos prestados de forma precária, situações vividas em sua comunidade, que por sua vez faria para e por ele a reinvindicação aos agentes públicos. Assim, analisa-se, de modo geral, como o Jornalismo de Serviço pode ser um dos atores que influencia e/ou pressiona o Estado a agendar ações de seu interesse e ainda se as obras demandadas no “Calendário JPB” são estruturantes (políticas de planejamento) ou imediatistas (ações paliativas). A pesquisa é de natureza descritiva-analítica e se apoia em pesquisas bibliográficas e de campo. Analisamos as produções do quadro televisivo desde 2011 (ano em que foi iniciado) até 2015: foram 37 reportagens avaliadas, sendo escolhida uma por mês. Na avaliação, em um primeiro momento, descrevemos o tipo de demanda social, o bairro, o resultado dado pelos jornalistas (resolvido ou não resolvido) e a tipologia; em um segundo momento, observamos se as ações reivindicadas e exibidas pelo canal de TV são estruturantes ou imediatistas. O resultado da pesquisa aponta para obras que na maioria das vezes se mostraram imediatistas e que não deixam mudanças significativas e/ou planejadas para o futuro das comunidades.
Duarte, Zuila Frutuoso David. "Processos de Reconstrução Identitária do Telejornal Local da Globo em Tempos de Concorrência e Convergência Midiática: modos de dizer, interagir e circular do JPB 1ª edição". Universidade Federal da Paraíba, 2015. http://tede.biblioteca.ufpb.br:8080/handle/tede/7976.
Testo completoMade available in DSpace on 2016-03-14T12:17:39Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 3587012 bytes, checksum: 60a01c4f97d7f7a2499b985683b26616 (MD5) Previous issue date: 2015-09-25
This paper aims at analyzing the renovation process of the identity of JPB 1st Edition of Globo TV. Taking into consideration that this local television news reformulates its identification strategies with viewers in order to overcome the unsatisfactory audience ratings. Concerning to understand this problem, we suppose as hypothesis that this news rebuilds its identity or identification modes with viewers / online surfers, particularly with the adoption of two main strategies: Developing ambiguous thematic organization and at the same time favoring numerically police matters in its editions and discursively being constructed as a television news turned to the "provision of services to communities"; mediated a propagation process by the presenter between his/her public and private life by appropriating of social networks as "propagator" spaces TV news identity conformers. Essentially, we work with the concepts of "society in media coverage pathways" with Fausto Neto; news media coverage with Salaverria and Aviles, Verón and Fausto Neto; Technological and cultural convergence with Jenkins and identity with Stuart Hall, Woodward, Silva and Bauman. We adopt the TV news analysis methodology developed by Itânia Gomes and we operate with two methodological concepts "television genre" and "addressing schemes". Assuming the "analytical operators" suggested by the author: mediator; communicative context; thematic organization and pacts on the role of journalism. It is created an operator named "circulation" to observe the processes of interaction between producers and Internet users in institutional profiles and anchor on Instagram and Facebook. In conclusion, JPB 1st Edition reconstructs its own identity with the materialization of a “self-reflective” speech and serious / ethical newscast, which addresses a variety of topics that interests community as a whole and adopts a fluid aesthetic, light, mediated and converging with the Web. It is distinguished from the local competitors, which are defined in the same profile - police newscasts, but JPB 1st Edition presents as a television news which has a "liquid identity", contemporary, constantly changing, adaptable to needs for which may suffer the "society in media coverage routes."
Análise dos processos de reconstrução da identidade do JPB 1ª Edição da Rede Globo de Televisão. Parte-se do pressuposto de que esse telejornal local reformula suas estratégias de identificação com telespectadores de modo a reverter os insatisfatórios índices de audiência. Na empreitada de compreender tal problemática, parte-se da hipótese de que o respectivo noticiário reconstrói sua identidade ou modos de identificação com os telespectadores/internautas, particularmente, com a adoção de duas estratégias centrais: construção de organização temática ambígua, ao tempo que privilegia numericamente os assuntos policiais em suas edições e se constrói discursivamente como um telejornal voltado para a “prestação de serviços às comunidades”; processo de mediação midiatizada do apresentador no entremeio de sua vida pública e privada com apropriação das redes sociais como espaços “circulatórios” conformadores de identidade telejornalística. Essencialmente, trabalha-se com os conceitos de “sociedade em vias de midiatização” com Fausto Neto; midiatização jornalística com Salaverria e Avilés, Verón e Fausto Neto; Convergência tecnológica e cultural com Jenkins e identidade com Stuart Hall, Woodward, Silva e Bauman. Adota-se a Metodologia de Análise de Telejornalismo elaborada por Itânia Gomes e opera-se com dois conceitos metodológicos “gênero televisivo” e “modos de endereçamento”. Consideram-se os “operadores analíticos” propostos pela autora: mediador; contexto comunicativo; organização temática e pactos sobre o papel do jornalismo. Formula-se o operador “circulação” para observação dos processos de interação entre produtores e internautas nos perfis institucionais e do apresentador do telejornal no Instagram e Facebook. Sinteticamente, o JPB 1ª Edição reconstrói sua identidade com a materialização de um discurso “auto-reflexivo” de telejornal sério/ ético, que aborda temáticas diversas de interesse comunitário e adota uma estética fluída, leve, midiatizada e convergente com a Web. Distingue-se dos concorrentes locais, que se definem em um perfil único, de telejornais policiais ao tempo que se “deixa ver” como um jornal televisivo que tem uma “identidade líquida”, contemporânea, em constante transformação, adaptável às necessidades pelas quais passa a” sociedade em vias de midiatização”.
Kohan, Tomáš. "User-Defined XML-to-Relational Mapping". Master's thesis, 2007. http://www.nusl.cz/ntk/nusl-288469.
Testo completoKohan, Tomáš. "Presenting results of software model checker via debugging interface". Master's thesis, 2012. http://www.nusl.cz/ntk/nusl-305081.
Testo completo王克丞. "嘉南地區地震定位、測站分布與地下構造成像相性之研究PDFs/JPF之應用". Thesis, 1995. http://ndltd.ncl.edu.tw/handle/03024567788304457472.
Testo completoLibri sul tema "JPFB"
Messner, William C. Autonomous Technologies: Applications That Matter. United States: AUVSI, 2014. http://dx.doi.org/10.4271/jpf-auv-004.
Testo completoAdachi, Masayuki, e Hiroshi Nakamura. Engine Emissions Measurement Handbook. Warrendale, PA: SAE International, 2013. http://dx.doi.org/10.4271/jpf-hor-002.
Testo completoThoppil, Timothy George. Unwinding Electric Motors Strategic Perspectivies and Insights for Automotive Powertrain Applications. Warrendale, PA: SAE International, 2014. http://dx.doi.org/10.4271/jpf-p3-003.
Testo completolilley, p. j. New Developments in Anarchist Studies. punctum books, 2015.
Cerca il testo completoCapitoli di libri sul tema "JPFB"
Artho, Cyrille, Pavel Parízek, Daohan Qu, Varadraj Galgali e Pu Yi. "JPF: From 2003 to 2023". In Tools and Algorithms for the Construction and Analysis of Systems, 3–22. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57249-4_1.
Testo completoWu, Libin, Yahui Lu, Jing Qi, Shubin Cai, Bo Deng e Zhong Ming. "Bug Analysis of Android Applications Based on JPF". In Lecture Notes in Computer Science, 173–82. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-52015-5_18.
Testo completoDennis, Louise A., Michael Fisher e Matt Webster. "Using Agent JPF to Build Models for Other Model Checkers". In Lecture Notes in Computer Science, 273–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40624-9_17.
Testo completoMinh Do, Canh, e Kazuhiro Ogata. "A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude". In Structured Object-Oriented Formal Language and Method, 42–58. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-41418-4_4.
Testo completo"The Jungian Personality Framework (JPF)". In Advances in Educational Marketing, Administration, and Leadership, 60–80. IGI Global, 2023. http://dx.doi.org/10.4018/978-1-6684-6563-9.ch003.
Testo completoAtti di convegni sul tema "JPFB"
Mehlitz, Peter, Oksana Tkachuk e Mateusz Ujma. "JPF-AWT: Model checking GUI applications". In 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2011. http://dx.doi.org/10.1109/ase.2011.6100131.
Testo completoDo, Canh Minh, e Kazuhiro Ogata. "A divide & conquer approach to testing concurrent programs with JPF*". In 2020 27th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 2020. http://dx.doi.org/10.1109/apsec51365.2020.00044.
Testo completoIqbal, Saeed, Shakir Ullah Shah, Mohammad Nauman e Muhammad Amin. "Extending Java Pathfinder (JPF) with property classes for verification of Android permission extension framework". In 2013 IEEE 3rd International Conference on System Engineering and Technology (ICSET). IEEE, 2013. http://dx.doi.org/10.1109/icsengt.2013.6650135.
Testo completo