619 search results - page 19 / 124 » Formal Methods Meet Domain Specific Languages |
VL
1999
IEEE
13 years 12 months ago
1999
IEEE
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
AAAI
1998
13 years 9 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Today ontology languages present a syntax which looks not “natural” and are lacking of built-in primitives (i.e., modeling notions) domain experts are familiar with. In this pa...
CADUI
2006
13 years 9 months ago
2006
: Participatory design and model-based approaches are two major HCI design approaches. Traditionally opposed, the first ones promote user's creativity while the second ones su...
COMCOM
1998
13 years 7 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...