3564 search results - page 3 / 713 » Evaluating a Formal Modelling Language |
UML
2005
Springer
14 years 25 days ago
2005
Springer
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...
WSPI
2004
13 years 8 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
ICDM
2008
IEEE
14 years 1 months ago
2008
IEEE
Finding relevant experts in a specific field is often crucial for consulting, both in industry and in academia. The aim of this paper is to address the expert-finding task in a...
COSIT
2007
Springer
13 years 11 months ago
2007
Springer
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...
FMICS
2009
Springer
14 years 1 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...