Buscar
Mostrando ítems 1-10 de 12
Ponencia
A Kernel P System
(Fénix Editora, 2012)
A basic P system, called kernel P system (kP system for short), covering features of different P systems introduced and studied so far is defined and discussed. It is a relatively low level specification system aiming ...
Ponencia
Search Based Software Engineering in Membrane Computing
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
This paper presents a testing approach for kernel P Systems (kP systems), based on test data generation for a given scenario. This method uses Genetic Algorithms to generate the input sets needed to trigger the given ...
Ponencia
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
(Fénix Editora, 2012)
This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, illustrated on a tissue P system with active membranes solving the 3-colouring problem. The paper ...
Ponencia
Modeling, Verification and Testing of P Systems Using Rodin and ProB
(Fénix Editora, 2011)
In this paper we present an approach to modelling, verification and testing for cell-like P-systems based on Event-B and the Rodin platform. We present a general framework for modelling P systems using Event-B, which we ...
Ponencia
kPWorkbench: A Software Framework for Kernel P Systems
(Fénix Editora, 2015)
P systems are the computational models introduced in the context of membrane computing, a computational paradigm within the more general area of unconventional computing. Kernel P (kP) systems are de ned to unify the ...
Ponencia
Kernel P Systems Modelling, Testing and Veri cation
(Fénix, 2016)
A kernel P system (kP system, for short) integrates in a coherent and elegant manner many of the P system features most successfully used for modelling various applications and, consequently, it provides a framework for ...
Ponencia
Testing Identifiable Kernel P Systems Using an X-machine Approach
(Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing framework and the concept of cover automaton. The testing methodology ensures that the implementation conforms the ...
Ponencia
Kernel P Systems - Version 1
(Fénix Editora, 2013)
A basic P system, called kernel P system4 (kP system for short), combining features of di erent P systems introduced and studied so far is de ned and discussed. The structure of such systems is de ned as a dynamic graph, ...
Ponencia
Mutation Based Testing of P Systems
(Fénix Editora, 2009)
Although testing is an essential part of software development, until recently, P system testing has been completely neglected. Mutation testing (mutation analysis) is a structural software testing method which involves ...
Ponencia
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
(Fénix Editora, 2014)
As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal veri cation will become more prevalent. This is so because \programming" in unconventional substrates ...