4895 search results - page 720 / 979 » Tools for Grammar Engineering |
213
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
189
click to vote
CROSSROADS
2010
15 years 1 months ago
2010
Crowdsourcing is an effective tool to solve hard tasks. By bringing 100,000s of people to work on simple tasks that only humans can do, we can go far beyond traditional models of ...
225
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Annotations are a means to attach additional meta data to the source code of a system. Nowadays, more and more technologies rely on the presence of such annotations in the source c...
234
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
Ontologies are gaining popularity in many domains as a way of representing, dealing and reasoning with large volumes of information, and they are starting to play a major role in ...
158
click to vote
TSMC
2011
15 years 1 months ago
2011
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...