Sciweavers

1221 search results - page 52 / 245
» Mixed-Initiative Development of Language Processing Systems
Sort
View
BIRTHDAY
2005
Springer
14 years 2 months ago
Formal Software Development in MAYA
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
Dieter Hutter, Serge Autexier
CORR
2010
Springer
210views Education» more  CORR 2010»
13 years 8 months ago
Test Case Generation for Object-Oriented Imperative Languages in CLP
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
NLDB
2000
Springer
14 years 7 days ago
Conceptual Patterns - A Consolidation of Coad's and Wohed's Approaches
: The information system analysis process is considered as a difficult phase during the information systems development. The difficulty lies in gathering relevant information from ...
Petia Wohed
HIS
2007
13 years 10 months ago
Genetic Programming meets Model-Driven Development
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
Thomas Weise, Michael Zapf, Mohammad Ullah Khan, K...
RULEML
2005
Springer
14 years 2 months ago
A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
Nick Bassiliades, Efstratios Kontopoulos, Grigoris...