1676 search results - page 181 / 336 » Formal System Development with KIV |
158
click to vote
ROOM
2000
15 years 7 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
163
click to vote
AAAI
2011
14 years 6 months ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human interventionâ...
262
click to vote
ICDE
1999
IEEE
16 years 7 months ago
1999
IEEE
Active database management systems have been developed for applications needing an automatic reaction in response to certain events. Events can be simple in nature or complex. Com...
199
click to vote
TABLEAUX
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
148
click to vote
APSEC
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...