Formal verification of ASM designs using the MDG tool

In this paper, we present a formal hardware verification framework linking ASM with MDG. ASM (Abstract State Machine) is a state based language for describing transition systems. MDG (Multiway Decision Graphs) provides symbolic representation of transition systems with support of abstract sorts and functions. We implemented a transformation tool that automatically generates MDG models from ASM specifications, then formal verification techniques provided by the MDG tool, such as model checking or equivalence checking, can be applied on the generated models. We support this work with a case study of an Island Tunnel Controller, which behavior and structure were specified in ASM then using our ASM-MDG tool successfully verified within the MDG tool.

Fostering professional development through integrating work and formal learning

The Undergraduate Site Learning Program (USLP) is an innovative work-based learning program that addresses the call to develop a broader set ofattributes in engineering graduates. Unlike cooperative education programs, site learning can give students full academic credit for their placement without extending the duration of the degree through the use of an innovative learning alignment model. A cenrralpart ofthis program is a unique course entitled Professional Development in which students articulate and reflect upon the lessons they leom while on placement in industry. Students spend the bulk ofa semester on-site often in remote locations, which requires a flexible approach to course operation and fosters independent learning. Thus the USLP challenges both staff and students and produces outcomes that bofh the alumni and industry value.

DA OBJEÇÃO AO RECONHECIMENTO: uma análise da política eclesiástica da Assembleia de Deus brasileira com respeito à educação teológica formal (1943-1983)

Este texto é resultado de uma pesquisa, do ponto de vista histórico e sociológico, sobre a política eclesiástica da Assembleia de Deus brasileira com respeito à formação teológico-pastoral. Buscou-se entender como se deu a mudança de postura da liderança assembleiana, que, de uma objeção inicial quanto à educação teológica formal, passou a reconhecê-la como requisito ao ministério pastoral. O marco cronológico que delimita o tema explica-se pelo fato de que, em 1943, ocorreram as primeiras discussões oficiais sobre o ensino teológico formal, ocasião em que a Assembleia de Deus rejeitou a criação dos seminários teológicos. A mudança ocorreu gradativamente, mediante uma série de acontecimentos, dentre eles, a diminuição de influência dos missionários suecos junto às Assembleias de Deus, a criação da Casa Publicadora, a chegada de missionários norte-americanos e à ascensão de pastores apoiadores de uma educação formal. Quarenta anos depois, em 1983, a Convenção Geral dos líderes assembleianos decidiu recomendar a qualificação teológica, como exigência ao ministério pastoral. A metodologia adotada foi de uma pesquisa bibliográfica. Visando um estudo explicativo, foi feito um levantamento de dados históricos a partir dos periódicos oficiais da AD, além de documentos que retratam o assunto proposto neste trabalho.

A Rádio-peão no ar Um estudo sobre a comunicação informal e a comunicação formal face a face no ambiente organizacional

A rádio-peão é estudada nos Estados Unidos desde o período pós II Guerra Mundial. No Brasil, este processo comunicacional ganhou relevância no final da década de 1970 com os movimentos operários que buscavam formas democráticas de diálogo, durante o regime militar. Já a comunicação formal face a face começou a ser praticada nas organizações brasileiras em meados dos anos 1990, com a chegada de novos modelos internacionais de gestão empresarial. Ao estudar estes dois formatos de comunicação, através de pesquisas bibliográfica e documental e entrevistas semi-abertas com acadêmicos e profissionais de mercado de diferentes áreas de conhecimento e atuação, foi possível um aprofundamento acerca de suas histórias, atributos e papéis desempenhados hoje, nas organizações, além de como essas formas de comunicação face a face (formal e informal) interagem entre si, de acordo com interesses pessoais ou organizacionais.(AU)

EDUCAÇÃO NÃO-FORMAL E O MOVIMENTO METODISTA: UMA DISCUSSÃO A PARTIR DA ESCOLA DOMINICAL!

A proposta deste trabalho foi de investigar a contribuição da educação não-formal para a educação formal, no contexto da Escola Dominical da Igreja Metodista. O referencial teórico ancora-se em autores que se dedicam aos estudos relacionados à educação não-formal: Afonso (2002), Simson (2001), Brandão (2002), Duran (2007), Delors (2002), Gadotti (2005), Libâneo (2005) e Gohn (2001). A educação não-formal foi problematizada no contexto da Escola Dominical, tendo por base dados históricos que remontam ao seu início na Inglaterra do Sec. XVII, seu fundamento na história do movimento metodista e na biografia do seu fundador, considerando as contribuições de Buyers (1929/1945), Heitzenrater (2006), Reily (1991) e Levièvere (1997). A pesquisa empírica, de cunho qualitativo, teve por base a realização de entrevista intensiva e a aplicação de questionários. A entrevista foi realizada com um bispo honorário da Igreja Metodista, cuja história de vida está relacionada ao ambiente da Escola Dominical, à formação ali recebida e sua influência na escolha de sua profissão. Os questionários elaborados foram encaminhados à comunidade que frequenta a Escola Dominical, sendo respondidos por vinte e duas pessoas. A análise das respostas dos entrevistados considerou as condições contextuais nas quais os entrevistados estavam envolvidos. Os resultados obtidos suscitam alguns questionamentos, pois o ambiente em que se deu a proposta inicial da Escola Dominical, no Movimento Metodista, apresenta uma enorme distancia do lugar em que a mesma prática é realizada hoje, evidenciando-se a grande dificuldade para a Escola Dominical manter-se atrativa em um mundo moderno, que oferece muitas opções de lazer, cultura e educação, diferente do séc. XVII, em que a educação era privilégio de poucos. Apesar deste desafio, a Escola Dominical e a educação não-formal que ela oferece hoje, são vistas, por seus participantes, como fundamentais na formação do caráter tanto espiritual quanto moral, e relevante a sua contribuição para a sociedade como um todo.

O DESAFIO DO PEDAGOGO NOS ESPAÇOS DE EDUCAÇÃO NÃO FORMAL

A pesquisa teve como foco analisar e problematizar aspectos relevantes que envolvem a trajetória formativa e o processo de conquista e abrangência da atuação do pedagogo a partir de sua inserção em espaços de educação não formal, pois com o advento da globalização, surge à constatação na sociedade atual da importância e da necessidade da educação não formal. Nesse processo, é possível reconhecer que a educação não é um processo exclusivo da escola, ela pode acontecer em locais diferentes e em diversas situações sociais que não corresponde ao modelo escolar formal. Nesta perspectiva, busca-se superar a compreensão da educação somente como prática formal e ampliar seu sentido, reconhecendo não só a importância, mas a necessidade das práticas educativas que acontecem para além da escola. A pesquisa de cunho qualitativo compreende um trabalho bibliográfico intenso, no que se refere à construção e à conquista de espaços dos pedagogos no campo da educação não formal no Brasil. Assim, a pesquisa tem como suporte teórico alguns autores que problematizam questões relacionadas à educação não-formal: Afonso, 2002; Libâneo, 2001; Gadotti, 2005; Gohn, 2008; Duran & Santos Neto (2007). Foram realizadas entrevistas semi-estruturadas com o total de 04 sujeitos, sendo 03 pedagogos que trabalham numa ONG (Organização Não-Governamental) que tem como foco o trabalho com Projetos Sociais e 01 coordenadora de projetos da própria instituição, de forma a compor um perfil desses profissionais inseridos em tal contexto. Considerando dados da investigação é possível dizer que a educação não formal é uma modalidade de educação que vem se ampliando muito na sociedade atual. Por outro lado, apesar dessa ampliação, a sua compreensão ainda é de difícil entendimento porque não há uma legislação específica que lhe dê sustentação, o que abre precedentes para algumas considerações do que se denomina modalidade de educação não formal. O aprofundamento da análise dos dados da pesquisa possibilitou chegar a considerações mais precisas do campo da educação não formal, além de trazer elementos para compreensão de sua importância nesse diversificado universo de atuação.