Sciweavers

877 search results - page 127 / 176
» How to Cover a Grammar
Sort
View
94
Voted
ICCSA
2007
Springer
15 years 6 months ago
An Automatic Correction Tool for Relational Algebra Queries
Abstract. Relational algebra is one of the main topics covered in undergraduate computer science database courses. In this paper, we present a web-based tool designed to automatica...
Josep Soler, Imma Boada, Ferran Prados, Jordi Poch...
LADS
2007
Springer
15 years 6 months ago
A Common Basis for Agent Organisation in BDI Languages
Programming languages based on the BDI style of agent model are now common. Within these there appears to be some, limited, agreement on the core functionality of agents. However, ...
Anthony Hepple, Louise A. Dennis, Michael Fisher
98
Voted
MKM
2007
Springer
15 years 6 months ago
Narrative Structure of Mathematical Texts
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
Fairouz Kamareddine, Manuel Maarek, Krzysztof Rete...
APSEC
2006
IEEE
15 years 6 months ago
Interaction Testing in Model-Based Development: Effect on Model-Coverage
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
Renée C. Bryce, Ajitha Rajan, Mats Per Erik...
78
Voted
CSMR
2006
IEEE
15 years 6 months ago
Object-Oriented Legacy System Trace-based Logic Testing
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
Stéphane Ducasse, Tudor Gîrba, Roel W...