Sciweavers

1221 search results - page 52 / 245
» Mixed-Initiative Development of Language Processing Systems
Sort
View
85
Voted
BIRTHDAY
2005
Springer
15 years 6 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»
15 years 21 days 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
15 years 4 months 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
115
Voted
HIS
2007
15 years 2 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...
110
Voted
RULEML
2005
Springer
15 years 6 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...