Results 1 to 10 of about 187,911 (271)
Construction of Fuzzy Ontologies from Fuzzy UML Models [PDF]
International Journal of Computational Intelligence Systems, 2013 The success and proliferation of the Semantic Web depends heavily on construction of Web ontologies. However, classical ontology construction approaches are not sufficient for handling imprecise and uncertain information that is commonly found in many ...
Fu Zhang, Z. M. Ma
doaj +1 more source
Interpreting the Object Constraint Language [PDF]
, 1998 The Object Constraint Language (OCL), which forms part of the UML 1.1. set of modelling notations is a precise, textual language for expressing constraints that cannot be shown in the standard diagrammatic notation used in UML.
Hamie, Ali, Howse, John, Kent, Stuart
core +2 more sources
An Object Oriented Model of a Railway Safety-Related Control System
Communications, 2002 There is a variety of methods and formalisms usable for writing specifications of railway interlocking and signalling systems or their subsystems. To write a consistent technical specification means to make a model with a required level of precision ...
Karol Rastocny +2 more
doaj +1 more source
A subset of precise UML for Model-based Testing [PDF]
, 2007 This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria.
Bouquet, Fabien +5 more
core +3 more sources
Verification of UML Models by Translation to UML-B
, 2011 UML-B is a ‘UML like' notation based on the Event-B formalism which allows models to be progressively detailed through refinements that are proven to be consistent and to satisfy safety invariants using the Rodin platform and its automatic proof tools.
Snook, Colin +2 more
openaire +2 more sources
The UML model of business intelligence system in increasing corporate performance [PDF]
Strategic Management, 2014 In the new environment of open economy and high competitiveness on the market of products and services, the operation of companies must be based on information-based structure.
Zdraveski Dejan +2 more
doaj
Implementasi Ekonomi Melingkar pada Sistem Informasi Pengelolaan Hutan Mangrove
JEPIN (Jurnal Edukasi dan Penelitian Informatika), 2019 Penelitian ini bertujuan membangun sebuah sistem berbasis komputer yang dapat membantu pengelolaan hutan mangrove dengan menadopsi konsep ekonomi melingkar (Circular Economy).
Eva Faja Ripanti
doaj +1 more source
Vertical distribution and composition of phytoplankton under the influence of an upper mixed layer
, 2010 The vertical distribution of phytoplankton is of fundamental importance for the dynamics and structure of aquatic communities. Here, using an advection-reaction-diffusion model, we investigate the distribution and competition of phytoplankton species in ...
Blasius, Bernd +2 more
core +1 more source
Refining Nodes and Edges of State Machines [PDF]
, 2011 State machines are hierarchical automata that are widely used to structure complex behavioural specifications. We develop two notions of refinement of state machines, node refinement and edge refinement.
A. Kaldewaij +13 more
core +1 more source
COSMIC FPA CALCULATOR FOR MOBILE APPLICATION DEVELOPMENT COST BASED ON UNITY3D GAME ENGINE
Malaysian Journal of Computing, 2014 The emergence technology and popularity of mobile game application has led to higher demands in producing more colorful game environment, interactive design and selecting targeted platforms.
Nur Atiqah Sia Abdullah +1 more
doaj +1 more source