4895 search results - page 578 / 979 » Tools for Grammar Engineering |
301
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
188
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious f...
162
Voted
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The design and maintenance of ontologies is a complex social collaborative activity, and this is true especially for semantic-web ontologies. On the one hand, such activity calls ...
173
Voted
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
169
Voted
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Six Sigma has been adopted by many software development organizations to identify problems in software projects and processes, find optimal solutions for the identified problems, ...