3564 search results - page 63 / 713 » Evaluating a Formal Modelling Language |
IJIT
2004
14 years 11 months ago
2004
Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They extend state transition diagrams with notons of hier...
MTSR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper describes a proposed formalization of the notion of Applications Profiles as used in the Dublin Core community. The formalization, called Description Set Profi...
RR
2010
Springer
14 years 8 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
ENTCS
2008
14 years 9 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
CORR
1999
Springer
14 years 9 months ago
1999
Springer
The NWO Priority Programme Language and Speech Technology is a 5-year research programme aiming at the development of spoken language information systems. In the Programme, two al...