Filters








66 Hits in 2.8 sec

Rapeseed: how to value varieties with higher nitrogen use efficiency in France

Edwige Charbonnier, Aline Fugeray-Scarbel, Stéphane Lemarié
2019 Oilseeds and fats, crops and lipids  
Finally, nitrogen use efficiency can also be seen as a trait that improves the protein content of rapeseed oilcake and, therefore, increases its value compared to competing sources of protein.  ...  After a detailed presentation of these different valuations, we provide current or possible measures that have been or could be implemented to encourage different actors in the sector to develop and diffuse  ...  This project involves a consortium of sixteen public and private partners over a period exceeding seven years, with the aim of creating more nitrogen-efficient rapeseed varieties.  ... 
doi:10.1051/ocl/2019021 fatcat:s3u4hrmcgrfvjit5cqvpma4vr4

Evaluating the capabilities of Enterprise Architecture modeling tools for Visual Analysis

Naranjo David, Mario Sánchez, Jorge Villalobos
2015 Journal of Object Technology  
Since model transformations are executed for a family of (conforming) models, their validity becomes a crucial issue.  ...  This work is intended for a double audience. For newcomers, it provides a tutorial introduction to the field of formal verification of model transformations.  ...  They also propose a catalogue of specialised invariant-based properties characterising both languages, applied at two levels (individual rules and whole transformation) that they can extract and verify  ... 
doi:10.5381/jot.2015.14.1.a3 fatcat:w7msm7ud7neijmtmutgy2nwbri

Formal Verification Techniques for Model Transformations: A Tridimensional Classification

Moussa Amrani, Benoît Combemale, Levi Lúcio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy
2015 Journal of Object Technology  
Since model transformations are executed for a family of (conforming) models, their validity becomes a crucial issue.  ...  This work is intended for a double audience. For newcommers, it provides a tutorial introduction to the field of formal verification of model transformations.  ...  This work is partially supported by the Luxemburgish Fonds National de la Recherche (Fnr), the Natural Sciences and Engineering Research Council of Canada (Nserc), the Ibm Canada Center for Advanced Studies  ... 
doi:10.5381/jot.2015.14.3.a1 fatcat:2kakfgsrczdzhbfl3rlj5tgs4y

A survey of model transformation design patterns in practice

Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Sobhan Yassipour-Tehrani, Mohammadreza Sharbaf
2018 Journal of Systems and Software  
In this paper we provide a systematic literature review of transformation design pattern applications.  ...  Model transformation design patterns have been proposed by a number of researchers, but their usage appears to be sporadic and sometimes patterns are applied without recognition of the pattern.  ...  Trends: Has there been a change in the adoption of MT patterns over time? Have papers cataloguing MT patterns been influential for MT developers? Q5.  ... 
doi:10.1016/j.jss.2018.03.001 fatcat:32b56svlwrawzc2l5xhoamgjsq

Specification and Verification of Encapsulation in Java Programs [chapter]

Andreas Roth
2005 Lecture Notes in Computer Science  
Encapsulation is a major concept in object-oriented designs as design pattern catalogues, approaches for alias control, and the need for modular correctness of components demonstrate.  ...  We show how encapsulation in sequential Java programs is specified by means of a new concept, called encapsulation predicates, in a clearly defined and comprehensible way, well fitting into the concept  ...  JavaDL expressions may, in KeY, either be the result of a translation from specification languages such as UML/OCL or JML or of direct specification.  ... 
doi:10.1007/11494881_13 fatcat:332j5j4gwnchvdt5nrp4aysvae

Organic soybean production in Switzerland

Matthias Klaiss, Nathaniel Schmid, Claude-Alain Betrix, Alice Baux, Raphaël Charles, Monika M. Messmer
2020 Oilseeds and fats, crops and lipids  
After years of stakeholders efforts of the development of a value chain for organic soybeans for human nutrition, various attempts to develop the soybean cultivation for feed proved to be fruitful despite  ...  Since more than 30 years, Swiss breeders successfully develop 00 to 000 soybean varieties with a focus on human nutrition, organic soybean cultivation and the respective value chains from breeding to endproduct  ...  Fig. 4 . 4 Mechanical weeding in organic soybean at a glance. Source: Bernet et al. (2016). M.Klaiss et al.: OCL 2020, 27, 64  ... 
doi:10.1051/ocl/2020059 fatcat:w5b3vxclcvhbfdhfjsfqjjnhca

Lipids and lipolytic enzymes of the microalga Isochrysis galbana

Florence Hubert, Laurent Poisson, Céline Loiseau, Laurent Gauvry, Gaëlle Pencréac'h, Josiane Hérault, Françoise Ergan
2017 Oilseeds and fats, crops and lipids  
The heterologous expression of a sequence designated IgTeCe was implemented.  ...  Results showed the effective functionality of plasmid construction for the production of a recombinant protein with the expected molecular mass.  ...  Cloning products were verified by sequencing and the expression of IgTeCe was performed into E. coli strain Rosetta2 using the plasmid pET 52.  ... 
doi:10.1051/ocl/2017023 fatcat:ga763fac3ndkxh4bsap4ls2z2e

Implementing precision cancer medicine in the public health services of Norway: the diagnostic infrastructure and a cost estimate

Anne Hansen Ree, Hege G Russnes, Daniel Heinrich, Svein Dueland, Kjetil Boye, Vigdis Nygaard, Laxmi Silwal-Pandit, Olga Østrup, Eivind Hovig, Vegard Nygaard, Einar A Rødland, Sigve Nakken (+22 others)
2017 ESMO Open  
Metastatic tissue was analysed by DNA sequencing, using a 50-gene panel and a study-generated pipeline for analysis of sequence data, supplemented with fluorescence in situ hybridisation to cover relevant  ...  medicine in the public health services of Norway, including modelling of costs.  ...  The funding source had no role in the study design, collection, analysis and interpretation of data, or the decision to make a scientific report. All of the authors had full access to the data.  ... 
doi:10.1136/esmoopen-2017-000158 pmid:28761742 pmcid:PMC5519811 fatcat:qkdznadu4ra47m7wqsiwv5b6ri

Semantic Interoperability through the Definition of Conceptual Model Transformations

Peter Staub, Hans Rudolf Gnägi, Andreas Morf
2008 Transactions on GIS  
Its core is a new language for "horizontal" mapping of conceptual models, which is introduced by a small but multi-face example.  ...  Our work is based on practical experiences with the application of the MDA in Switzerland and a short review of these is given as introduction.  ...  The following workflow arises for a service user: • Service provides a catalogue of available models and corresponding data • Client creates a target model as well as a transformation model.  ... 
doi:10.1111/j.1467-9671.2008.01095.x fatcat:dkjd6vhtnzhfrk4ttu77pcxlia

Automatic verification of design patterns in Java

Alex Blewitt, Alan Bundy, Ian Stark
2005 Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05  
To verify that a design pattern has not been broken involves specifying the original intent of the design pattern.  ...  Patterns are defined in terms of variants, mini-patterns, and artefacts in a pattern description language called SPINE.  ...  More recently, the catalogue has been presented as a set of examples in [Fow00] .  ... 
doi:10.1145/1101908.1101943 dblp:conf/kbse/BlewittBS05 fatcat:dxrpgzh3infufgjcp56jkobfli

Mise en œuvre des patrons de conception par représentation explicite du problème

Hafedh Mili, Ghizlane El Boussaidi, Aziz Salah
2005 L objet  
, 2) a more natural representation of the transformations embodied in the application of the pattern, and 3) it is one step towards the automatic detection and application of patterns.  ...  An explicit representation of the problem has several advantages, 1) a better characterization of the problem space addressed by the pattern-better than the textual description embodied in pattern templates  ...  Le concepteur devrait donc avoir accès à un catalogue de tels concepts pour pouvoir les utiliser tels quels ou les spécialiser. Si une métaclasse A (e.g.  ... 
doi:10.3166/objet.11.1-2.113-126 fatcat:lvyuvujpw5dc3absav2dw7orsy

D33.2 Earth Science metadata, semantics and ontology harmonization report

Yannis Marketakis, Yannis Tzitzikas
2013 Zenodo  
The second section uses the results of the user requirements analysis (WP12) as a pivot in order to identify if the aforementioned ontologies cover the needs of communities.  ...  The deliverable is organized in three main sections aiming at (a) analyzing the results of the WP15 survey, (b) inspecting how the needs of communities are fulfilled and identifying gaps based on the user  ...  in a way domain experts of the sources cannot verify.  ... 
doi:10.5281/zenodo.3275163 fatcat:auuz2aiqabh47jdipeewa7wr2e

Formalizing refactorings with graph transformations

Tom Mens, Niels Van Eetvelde, Serge Demeyer, Dirk Janssens
2005 Journal of Software Maintenance and Evolution Research and Practice  
This paper introduces a graph representation of those aspects of the source code that should be preserved by refactorings, and graph transformations as a formal specification for the refactorings themselves  ...  The widespread interest in refactoring -transforming the source-code of an objectoriented program without changing its external behaviour-has increased the need for a precise definition of refactoring  ...  OCL constraints can be used to express invariants, pre-and postconditions.  ... 
doi:10.1002/smr.316 fatcat:wqf7dsegarer5gfeyrwhyzc7ni

Trusted Product Lines

Stuart Hutchesson, John McDermid
2013 Information and Software Technology  
Definition of a product-line reference architecture that can host components containing variation. 3.  ...  Design of model transformations that can automatically instantiate products from a set of components hosted within the reference architecture. 4.  ...  Using OCL for model analysis There is a significant level of research regarding the specification of model constraints using the Object Constraint Language (OCL) [83] and the validation of UML models  ... 
doi:10.1016/j.infsof.2012.06.005 fatcat:6amzpscfkzacphzgxz6xboudea

MOCAS: A State-Based Component Model for Self-Adaptation

Cyril Ballagny, Nabil Hameurlain, Franck Barbier
2009 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems  
Définition d'un composant logiciel « A software component is a unit of composition with contractually specified interfaces and explicit context dependencies only.  ...  -à-d. de suppression d'attributs), elle vérifie que la configuration active ne comporte aucunétat ayant des activités en cours d'exécution.  ...  fig. 6.13 ) : 1. dans la phase d'initiation : -un cma qui a besoin d'une adaptation prend le rôle d'initiateur.  ... 
doi:10.1109/saso.2009.11 dblp:conf/saso/BallagnyHB09 fatcat:oboftlr2p5hh3ftqcx2jvnxfwm
« Previous Showing results 1 — 15 out of 66 results