[PDF] Top 20 Automatic generation of the cases derived from algebraic specifications
Has 10000 "Automatic generation of the cases derived from algebraic specifications" found on our website. Below are the top 20 most common "Automatic generation of the cases derived from algebraic specifications".
Automatic generation of the cases derived from algebraic specifications
... few of foreseen issues. One of them is, since the reduce command is a black-box, knowing which of the axioms have been covered by the term rewriting system is difficult, meaning ... See full document
87
Automatic generation of user interfaces from rigorous domain and use case models
... use cases, whether it is associated to a domain base or derived Entity or ...not. The use case that is defined at the expenses of included cases associated to entity properties ... See full document
250
Automatic Generation of Sports News
... Language Generation (NLG) is a task of Natural Language Processing (NLP) that, from some non-linguistic representation of information, is able to construct understandable text in natu- ral ... See full document
86
Automatic Generation of Synthetic Website Wireframe Datasets from Source Code
... For the scope of this dissertation, we curated a list of 55 URLs to collect, which happened to be a ...to the ambiguity of HTML, we would regularly find new cases and had to add ... See full document
148
Automatic Question Generation for the Portuguese Language
... is the act of studying each of the different words in a sentence independently, aiming at their grammatical ...to the Portuguese grammar: Noun, Adjective, Verb, Adverb, Determinant, ... See full document
157
AUTOMATIC TEXTURE AND ORTHOPHOTO GENERATION FROM REGISTERED PANORAMIC VIEWS
... at the fusion of range data and color information from ...images. The combination of these two outputs allows to extract novel semantic ...information. The workflow presented in ... See full document
7
A different shape grammar approach for automatic design generation
... computations of symbols. This option has the advantage of supporting declarative knowledge and thus facilitates shape reasoning ...knowledge from shape knowledge using procedural notions that ... See full document
8
SubClonal Hierarchy Inference from Somatic Mutations: Automatic Reconstruction of Cancer Evolutionary Trees from Multi-region Next Generation Sequencing.
... tree of cell subpopulations can inform critical questions regarding the temporal order of mutations driving tumor progression and the mech- anisms of recurrence and ...As the ... See full document
26
Testing Implementations of Algebraic Specifications with Design-by-Contract Tools
... Closure of assertions within the context of a pair assertion/method, as briefly de- scribed in section 5, implies the insertion of the \forall JML construct that quantifies over ... See full document
49
A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
... use of Automatic Code Generators for Formal Methods not only minimizes efforts on the implementation of Software Systems, but also reduces the chance of existing errors on ... See full document
235
GPU support for automatic generation of finite-differences Stencil Kernels
... shows the performance result from the V100 graphic ...how the Performance respond for a given Operation Intensity considering the different opti- mization ...goes from approx- ... See full document
57
Automatic level generation for platform videogames using Genetic Algorit...
... set of examples obtained from our prototype without any particular parameterization (size was chosen to best fit a column in the article and generation time is less than a ...ran the ... See full document
8
An Approach to Automatic Generation of Test Cases Based on Use Cases in the Requirements Phase
... capture the key product functionality are available in early ...Use cases tell the customer what to expect, the developer what to code, the technical writer what to document, and ... See full document
12
Testing Java implementations of algebraic specifications
... – the GenT tool [3, 4] – generates JUnit test cases from ConGu specifi- ...test cases that are known to be comprehensive, ...constraints of the specification, as GenT does, is a ... See full document
16
A fault-location technique for Java implementations of algebraic specifications
... way of comparing designated sort objects for cases where equals is unreliable, this unreliability can still affect the integrated fault-location approach presented in this paper – the suspects ... See full document
37
Shaper-GA: automatic shape generation for modular house design
... results of 30 runs with 1 million generations each and 100 individuals in the evolutionary ...for the standard version the selective schemas performance is rather similar, the same ... See full document
7
Beyond Music Information Retrieval: A Proposed Model for Automatic Generation of Dialogic Music
... earGram, the set of rules that support the generative music algorithms are models inferred from the audio source in combination with music theory principles that were embedded in ... See full document
12
The object and the nature of service specifications
... This paper summarises the existent literature on service specifications and its control, and then presents the results of case research which explores the object and nature of service sp[r] ... See full document
10
Automatic Test Case Generation of C Program Using CFG
... describes the logical structure of the program. It consists of nodes and ...shows the all possible ways [2,6] for the flow of control through the program beginning ... See full document
5
Web service for automatic generation of 3D models through video
... dividing the input video, into several smaller videos, and performing the Structure from Motion ...all the reconstructions are aligned and merged. Some properties of the ... See full document
80
temas relacionados