4814 search results - page 574 / 963 » Combining abstract interpreters |
206
click to vote
SEMWEB
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
164
click to vote
SPIN
2005
Springer
16 years 8 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
213
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...
184
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
162
Voted
ZUM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...