3564 search results - page 411 / 713 » Evaluating a Formal Modelling Language |
131
click to vote
TSE
2008
15 years 3 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
146
click to vote
AAMAS
2008
Springer
15 years 4 months ago
2008
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
125
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...
132
Voted
ICFCA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The “Semantic Mirrors Method” (Dyvik, 1998) is a means for automatic derivation of thesaurus entries from a word-aligned parallel corpus. The method is based on the c...
124
click to vote
SOCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...