Extension and partitioning of use cases in support of formal object modeling

J Ryoo, JF Stach, EK Park - Proceedings 1999 IEEE …, 1999 - ieeexplore.ieee.org
… sub classification of actors obligates the environmentalsequences, where the sequence
is given a meaningful name in the problem domain of the requirements in which the sequence

Knowledge representation in the semantic web for Earth and environmental terminology (SWEET)

RG Raskin, MJ Pan - Computers & geosciences, 2005 - Elsevier
… Semantic understanding is enabled through the use of ontologies, or formal representations
… A taxonomy is a subject classification, as used by libraries or clearinghouses to classify

Top 50 most wanted fungi

RH Nilsson, C Wurzbacher, M Bahram, VRM Coimbra… - MycoKeys, 2016 - diva-portal.org
… receiving scientific attention and formal recognition. In order to … trivial proportion of sequences
simply classified as “Unidentified … In our work with environmental sequencing of fungi, we …

Blockchain forks: A formal classification framework and persistency analysis

F Schär - The Singapore Economic Review, 2020 - World Scientific
… ∈ { 0 , … , N − 1 } is a sequence number representing the block’s position in the blockchain,
… the dynamic block sequence vector. Figure 1 shows a simple block sequence (or blockchain…

LSCs: Breathing life into message sequence charts

W Damm, D Harel - Formal methods in system design, 2001 - Springer
… ie, the car receives setDest from the environment, the sequence of messages in the chart
should … (infinite) sequences of valuations of instance variables and events. We then classify the …

ClassyFire: automated chemical classification with a comprehensive, computable taxonomy

Y Djoumbou Feunang, R Eisner, C Knox… - Journal of …, 2016 - Springer
… in terms of their spherical environment. It employs an easily … Chemical Classification
Dictionary, ChemOnt can be formallyclassification tool, then entities or sequences are classified, …

Nomenclature for the nameless: a proposal for an integrative molecular taxonomy of cryptic diversity exemplified by planktonic foraminifera

R Morard, G Escarguel, AKM Weiner, A Andre… - Systematic …, 2016 - academic.oup.com
… can be applied to classify genetically defined units using the … existence of nonholophyletic
formally named morphospecies … gene region, environmental sequences lacking by nature an …

Fungal systematics: is a new age of enlightenment at hand?

DS Hibbett, JW Taylor - Nature Reviews Microbiology, 2013 - nature.com
… on environmental sequences and ask whether sequence-… between formal taxonomy and
species discovery through … with regard to the classification of environmental sequences. The …

[图书][B] A formal framework for analyzing sequence diagram

H Shen - 2013 - search.proquest.com
… Graphical representations of scenarios, such as UML Sequence Diagrams, serve as a
wellaccepted means for modeling the interactions among software systems and their environment

A formal ontology-based spatiotemporal mereotopology for integrated product design and assembly sequence planning

E Gruhier, F Demoly, O Dutartre, S Abboudi… - Advanced Engineering …, 2015 - Elsevier
… It is based on ontologies, which formally and explicitly classify and describe concepts within
a specific domain of knowledge [2] with axioms, definitions and theorems [4]. In addition, …