1799 search results - page 114 / 360 » The Logic of Correctness in Software Engineering |
186
click to vote
HPDC
2008
IEEE
16 years 19 days ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
166
Voted
WLP
2000
Springer
15 years 9 months ago
2000
Springer
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
143
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
156
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...
157
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...