UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...

UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...

Changes in seed dormancy were selected during the domestication of crop plants from wild-plant species, because some features of dormancy that provide ecological advantages presented agronomic disadvantages within a farmed system. Seed dormancy varies widely among seed batches, even for seeds of the same genotype, indicating large environmental influences. For genetic studies, it is essential t...

System Level Analysis calls for a language comprehensible to experts with different background and yet precise enough to support meaningful analyses. SysML is emerging as an effective balance between such conflicting goals. In this paper we outline some the results obtained as for SysML based system level functional formal verification by an ESA/ESTEC study, with a collaboration among INTECS an...

Methods for ranking the importance of nodes in a network have a rich history in machine learning and across domains that analyze structured data. Recent work has evaluated these methods through the "seed set expansion problem": given a subset [Formula: see text] of nodes from a community of interest in an underlying graph, can we reliably identify the rest of the community? We start from the ob...

– for the development of safety critical systems from formal requirements specifications to executable code, including the verification of safety requirements and the correctness of implementations, – for semantical foundations of programming languages from a specification of the semantics to a verified compiler, – for building security models and architectural models as they are needed for hig...

Climate change is predicted to have major impacts on small-scale farmers in Mexico whose livelihoods depend on rain-fed maize. We examined the capacity of traditional maize seed systems to provide these farmers with appropriate genetic material under predicted agro-ecological conditions associated with climate change. We studied the structure and spatial scope of seed systems of 20 communities ...

An opto-electronic sensor system for measuring seed spacing uniformity with different types of seeds is described in this paper. It consisted of a rectangular photogate block (124 × 92 mm) with 24 phototransistors (diameter, 3 mm) receiving light beams from 24 light emitting diodes (diameter, 3 mm) opposite them, a digital input/output board in a personal computer, and power supplies. The opto-...