Buscar
Mostrando ítems 21-30 de 7385
Aplicação do método B ao projeto formal de software embarcado
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2009-09-09)
This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This
method is based on the B method, which was developed ...
Realidade educativa: relações entre a formalidade, não formalidade e informalidade da educação
(Universidade Tecnológica Federal do ParanáMedianeira, 2014-10-11)
This study analyzes the types of formal, informal and non-formal education, with their specificities, in broad instructional context, access to knowledge, beyond the limits of educational institutions. In the scene of ...
La administración de la educación no formal aplicada alas organizaciones sociales: Aproximacionesteórico-prácticas
(Universidad de Costa Rica, 2010)
Using formal methods for content validation of medical procedure documents.
(Elsevier Science Ireland Ltd, 2018)
Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
(UR. FI – INCO., 2007)
Este artículo presenta al Instituto de Computación (InCo) de la Facultad de Ingeniería (FING) de la Universidad de la República (Uruguay) y en particular a su grupo de Métodos Formales. Se describen las actividades principales ...
Variational method for excited states from supersymmetric techniques
(2003-11-01)
We suggest a method for constructing trial eigenfunctions for excited states to be used in the variational method. This method is a generalization of the one that uses a superpotential to obtain the trial functions for the ...
Variational method for excited states from supersymmetric techniques
(2003-11-01)
We suggest a method for constructing trial eigenfunctions for excited states to be used in the variational method. This method is a generalization of the one that uses a superpotential to obtain the trial functions for the ...
A inclusão da educação ambiental como disciplina curricular nas escolas municipais de São Gabriel - RS: reflexões sobre a educação formal, não formal e informal
(Universidade Federal de Santa MariaCentro de Ciências Rurais, 2013-12-13)
Education is a fundamental condition for the individual to participate in society , and this starts with the family, which is a socializing environment, since it allowed the children contact with the first rules of social ...