4767 search results - page 424 / 954 » Structures for Abstract Rewriting |
187
click to vote
CSEE
2009
Springer
16 years 1 months ago
2009
Springer
This paper reports on results from a pilot study that used Bloom’s Taxonomy to observe cognition levels during software inspections conducted by undergraduate computer science a...
178
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
170
click to vote
SBMF
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
181
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages, allowing classes to be organized into named abstractions. Maintainers of large ...
166
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Although predicting the RFID tag distribution before a read cycle begins would be generally difficult and even futile, a likely and interesting scenario is where the ta...