Buscar
Mostrando ítems 11-20 de 6255
Joker: um realizador de desenhos animados para linguagens formais
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2011-08-31)
Using formal methods, the developer can increase software s trustiness and correctness.
Furthermore, the developer can concentrate in the functional requirements of the
software. However, there are many resistance in ...
A formal specification of the MIDP 2.0 security model
(UR. FI – INCO., 2006)
This paper overviews a formal specification, using the Calculus of Inductive Constructions, of the application security model defined by the Mobile Information Device Profile 2.0 for Java 2 Micro Edition. We present an ...
Specification Patterns: Formal and Easy
(World Scientific, 2015-05)
Property specification is still one of the most challenging tasks for transference of software verification technology. The use of patterns has been proposed in order to hide the complicated handling of formal languages ...
Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach
(Centro Latinoamericano de Estudios en Informática, 2013)
Formal Specification Language Jpiaspectz: Looking For A Complete JPI Software Development Process
(2019-11)
Aspect-Oriented Software Development AOSD solves modularity issues in the Object-Oriented Software Development OOSD approach. AOSD adds a few more details concerning the dependency between related modules. Join Point ...
Metamodel-based formalization of DEVS atomic models
(Sage Publications Ltd, 2021-09-14)
The Discrete-Event System Specification (DEVS) formalism is a modeling formalism based on systems theory that provides a general methodology for hierarchical construction of reusable models in a modular way. When concrete ...
Geração de casos de teste a partir de especificações B
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2010-03-29)
With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization ...
“Minha avó faz sabão com óleo usado”: educação formal e não formal no ensino de química para crianças assistidas em unidades públicas assistenciais
(Universidade Tecnológica Federal do ParanáCampo MouraoBrasilDepartamento Acadêmico de QuímicaLicenciatura em QuímicaUTFPR, 2019-07-05)
Currently, individuals are undergoing various changes in the sectors of society, bringing significant ruptures in life forms, and education can not be indifferent to these changes. The quest for an egalitarian education, ...