111 search results - page 17 / 23 » Automatic Ada Code Generation Using a Model-Driven Engineeri... |
106
Voted
CHI
2004
ACM
16 years 17 hour ago
2004
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech, gesture and eye gaze tracking. The flexibility they offer results in ...
113
Voted
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...
110
Voted
SIGSOFT
2007
ACM
16 years 12 days ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
100
Voted
WECWIS
2005
IEEE
15 years 5 months ago
2005
IEEE
Business rules define or constrain some business [24]. Many different business rules engines exist to capture and manage the rules that comprise ones business. The lack of standa...
111
click to vote
APSEC
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...