Formal methods
Application of Formal Methods in the ITASAT Project
... incorporating formal methods in software ...of formal methods can be used to address many different subtasks in a software development ...mathematics methods, it is also a matter of ...
102
5th Symposium Formal Methods in Architecture: Book of Abstracts
... Housing shortage after urban disasters is often approached by governments and humanitarian organisations by building prefabricated houses that, during the transition between emergency and reconstruction, materialize the ...
36
An Entry Point for Formal Methods: Specification and Analysis of Event Logs
... The MSL ground control and observation software demonstrates an important concept: many critical systems already implement very powerful logging systems that can be used as a basis for automated evaluation of log files ...
6
Introduction of the Formal Methods in Software Engineering Training
... La característica más sobresaliente de la cultura de los desarrolladores profesionales, observada en los estudios de campo con los matemáticos y los científicos de la tier[r] ...
6
A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration
... These issues are considered in the present paper and the semi-formal method implemented to explore the parameter space is applied to an important question in biology: how iron homeostasis is maintained in ...
16
Towards a formally designed and verified embedded operating system: case study using the B method
... of formal methods in the construction and verification of kernels is not a common ...separate formal methods practitioners and OS ...using formal methods in OS implementation ...
130
Clinics vol.72 número8
... the methods used to estimate the quantities of resources, ...of formal methods to check the quality of the accuracy studies that provided support for the economic ...the methods used to ...
11
Beta: a B based testing approach
... and Formal Methods. Formal methods and testing are techniques that can complement each ...While formal methods provide sound mechanisms to reason about the system at a more ...
176
Towards a formally verified microkernel using the VCC verifier
... in [89] that applying formal methods to a system like Hyper-V, which was not implemented with verification in mind, has many challenges. The authors state that in the verification process developers and ...
94
Joker: um realizador de desenhos animados para linguagens formais
... Atelier-B (Figure 3.1) is a tool for specifying and developing software using the B- Method. This tool was developed by ClearSY System Engineering 2 and is freely avail- able. There is one specific installation file for ...
122
Verificação formal na indústria
... Formal Methods is a group of system design techniques that use mathematics formalism to assist specification, development and verification ...of formal methods in industry with a real case ...
59
Access to timely formal dementia care in Europe: protocol of the Actifcare (ACcess to Timely Formal Care) study
... Group characteristics per individual country will be cal- culated with proportions or means. Group comparisons will be performed with Chi square tests for categorical variables and t-tests for continuous variables. ...
7
FORMAÇÃO DE LEITORES: UM ESTUDO INVESTIGATIVO DE LEITURA LITERÁRIA ENTRE ESPAÇO FORMAL E NÃO FORMAL
... não formal os objetivos destacam-se em: socializar os indivíduos, desenvolver hábitos, atitudes, comportamentos, modos de pensar e de se expressar no uso da linguagem, segundo valores e crenças de grupos que ...
13
Do concurso formal de crimes
... O sistema de exasperação encontra-se previsto no Código Penal suíço (art. 68.1) 215 . A doutrina brasileira majoritária indica ser esse o sistema adotado também pelo nosso Código Penal para a punição do concurso ...
126
Pontes e fraturas no processo educativo e dos usos e abusos do formal e não formal em educação
... “Até hoje, por motivos que não vêm ao acaso citar aqui, definíamos a Educação Social em contraposição à escola. Educação formal, não formal e informal tem sido uma terminologia que serviu para separar ...
15
Educação formal, não formal e informal: da trilogia aos cruzamentos, dos hibridismos a outros contributos
... educação formal, não formal e informal) que surge associada à imagem de quadro; cruzamentos ou atravessamentos (marcados pela não compartimentação de categorias) com a “matriz tri-dimensional” a assentar no ...
16
CENTRO INTEGRADO DE EDUCAÇÃO EM CIÊNCIAS: UM CONCEITO INOVADOR DE ENSINO FORMAL E NÃO FORMAL DE CIÊNCIAS
... contexto formal, não-formal e informal; (iii) Integração das atividades desenvolvidas nos diferentes contextos; (iv) Integração da educação em ciências ao longo da vida dos indivíduos; (v) Integração a ...
15
Rev. Adm. (São Paulo) vol.52 número2
... formal and informal institutions, whereby the former are devised rules and the latter are conventions and codes of behavior. They constrain actors through sets of incentives and disincentives that channel human ...
3
Formal verification of PLC programs using the B Method
... Our approach consists of developing a tool that receives a PLC program based on the IEC 61131-3 standard and automatically builds an intermediary object from it. From this object a formal model in the B notation ...
177