4919 search results - page 732 / 984 » A Process-Ontological Model for Software Engineering |
156
click to vote
ENTCS
2010
15 years 1 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
121
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from th...
120
click to vote
SERA
2005
Springer
15 years 9 months ago
2005
Springer
The development of a family of applications in a domain can be greatly eased if patterns in the domain are systematically reused. Systematic use of such a pattern can be achieved ...
145
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
137
click to vote
FLAIRS
2007
15 years 6 months ago
2007
Semantic relations are an important element in the construction of ontology-based linguistic resources and models of problem domains. Nevertheless, they remain under-specified. Th...