Sciweavers

4895 search results - page 344 / 979
» Tools for Grammar Engineering
Sort
View
ISESE
2003
IEEE
15 years 12 months ago
Management of Interdependencies in Collaborative Software Development
In this paper we report results of an informal field study of a software development team conducted during an eight week internship at the NASA/Ames Research Center. The team deve...
Cleidson R. B. de Souza, David F. Redmiles, Gloria...
IWPC
2002
IEEE
15 years 11 months ago
Fused Data-Centric Visualizations for Software Evolution Environments
During software evolution, several different facets of the system need to be related to one another at multiple levbstraction. Current software evolution tools have limited capabi...
Jens H. Jahnke, Hausi A. Müller, Andrew Walen...
APSEC
2004
IEEE
15 years 10 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...
FATES
2006
Springer
15 years 10 months ago
Model-Based Testing of Thin-Client Web Applications
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Acht...
AADEBUG
2005
Springer
15 years 8 months ago
Random testing of C calling conventions
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
Christian Lindig