877 search results - page 12 / 176 » Model Based Development of Safety-Critical Systems Using Tem... |
ENTCS
2008
13 years 7 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
COMPSAC
2003
IEEE
14 years 29 days ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
ALPIT
2008
IEEE
14 years 2 months ago
2008
IEEE
The existing studies of a dialogue system can be classified into two major parts. One is a study for a practical system, and the other is a study to understand a principal of dial...
ECMDAFA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
NLPRS
2001
Springer
14 years 2 days ago
2001
Springer
The paper describes the design of a generation component for a spoken dialogue system. After discussing three existing models of generation, a model based on new information focus...