Sciweavers

620 search results - page 10 / 124
» Tool support for component-based semantics
Sort
View
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
14 years 27 days ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
ECAI
2004
Springer
14 years 24 days ago
An Ontology Based Visual Tool for Query Formulation Support
In this paper we describe the principles of the design and development of an intelligent query interface, done in the context of the SEWASIE (SEmantic Webs and AgentS in Integrated...
Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, ...
SCCC
1998
IEEE
13 years 11 months ago
Tool Support for Helping the Use of Frameworks
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
Ricardo Pereira e Silva, Roberto Tom Price
SEMWEB
2004
Springer
14 years 22 days ago
HCOME: A Tool-Supported Methodology for Engineering Living Ontologies
Abstract. The fast emergent areas of the Semantic Web and knowledge management push researchers to new efforts concerning ontology engineering. The development of ontologies must b...
Konstantinos Kotis, George A. Vouros, Jerón...
COMPSAC
2009
IEEE
14 years 3 days ago
Tool Support for Design Pattern Recognition at Model Level
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett