48 search results - page 1 / 10 » An Empirically-based System for Processing Definite Descript... |
COLING
2000
13 years 6 months ago
2000
COLING
2000
13 years 4 months ago
2000
MODELS
2009
Springer
13 years 11 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
DGO
2003
13 years 6 months ago
2003
Metadata descriptions of database contents are required to build and use systems that access and deliver data in response to user requests. When numerous heterogeneous databases a...
DICS
2006
13 years 6 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...