Sciweavers

16883 search results - page 193 / 3377
» Generalized Non-Reducible Descriptors
Sort
View
ICSE
2011
IEEE-ACM
14 years 10 months ago
A lightweight code analysis and its role in evaluation of a dependability case
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang,...
ICSE
2011
IEEE-ACM
14 years 10 months ago
The quamoco tool chain for quality modeling and assessment
Continuous quality assessment is crucial for the long-term success of evolving software. On the one hand, code analysis tools automatically supply quality indicators, but do not p...
Florian Deissenboeck, Lars Heinemann, Markus Herrm...
ICSE
2011
IEEE-ACM
14 years 10 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...
ICSE
2011
IEEE-ACM
14 years 10 months ago
Understanding broadcast based peer review on open source software projects
Software peer review has proven to be a successful technique in open source software (OSS) development. In contrast to industry, where reviews are typically assigned to specific ...
Peter C. Rigby, Margaret-Anne D. Storey
ICUIMC
2011
ACM
14 years 10 months ago
Overhead analysis of query localization optimization and routing
Query localization is an improved extension of on-demand routing protocols for ad hoc networks. It makes use of prior routing histories to localize the query flood to a limited re...
Wenzheng Xu, Yongmin Zhang, Weifa Liang