3564 search results - page 97 / 713 » Evaluating a Formal Modelling Language |
127
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
138
click to vote
CLEF
2010
Springer
15 years 4 months ago
2010
Springer
In our participation to the 2010 LogCLEF track we focused on the analysis of the European Library (TEL) logs and in particular we experimented with the identification of the natura...
120
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...
122
Voted
HOPL
2007
15 years 7 months ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
94
Voted
JANCL
2006
15 years 3 months ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...