3799 search results - page 290 / 760 » An Engineering Approach to Formal Methods |
177
click to vote
FSTTCS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
141
click to vote
IHM
2004
ACM
16 years 3 days ago
2004
ACM
This paper describes an approach for the participatory design. After describing the trends in the domain, a formalization of the design process is expressed based on « phase »...
255
Voted
FAABS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
178
click to vote
ITS
2004
Springer
16 years 1 days ago
2004
Springer
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
215
click to vote
DOOD
1997
Springer
15 years 11 months ago
1997
Springer
With the increasing importance of the World Wide Web as an information source, there is a growing interest for integration of Web and database technology. Several Web query languag...