2016 search results - page 227 / 404 » Tool Support for Ontology Engineering |
252
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
156
click to vote
WER
2004
Springer
15 years 11 months ago
2004
Springer
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
167
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software systems are designed and engineered to process data. However, software is data too. The size and variety of today's software artifacts and the multitude of stakehold...
178
click to vote
ICTAI
2007
IEEE
16 years 22 days ago
2007
IEEE
The goal of Semantic Web research is to transform the Web from a linked document repository into a distributed knowledge base and application platform, thus allowing the vast rang...
193
click to vote
AOSE
2003
Springer
15 years 11 months ago
2003
Springer
As agent-oriented paradigm is reaching a significant level of acceptance by software developers, there is a lack of integrated highstraction tools for the design and development o...