6348 search results - page 606 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
180
click to vote
RE
2006
Springer
15 years 7 months ago
2006
Springer
Literature tends to discuss software (and system) requirements quality control, which includes validation and verification, as a heterogeneous process using a great variety of rel...
179
click to vote
GCC
2009
Springer
15 years 5 months ago
2009
Springer
The design and development of a complex system as well as the simulation of its dynamic behavior are usually involved in multidisciplinary field knowledge. HLA-based collaborative ...
181
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Although Web search engines have become information gateways to the Internet, for queries containing technical terms, search results often contain pages that are difficult to be ...
227
click to vote
UML
2005
Springer
16 years 21 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
216
click to vote
EKAW
2004
Springer
16 years 19 days ago
2004
Springer
We present a tool which helps domain experts capture and maintain constraints. The tool displays parts of an ontology (as classes, sub-classes and properties) in the form of a tree...