Sciweavers

4799 search results - page 376 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
CASES
2006
ACM
15 years 10 months ago
Efficient architectures through application clustering and architectural heterogeneity
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
Lukasz Strozek, David Brooks
COMPSAC
2008
IEEE
16 years 1 months ago
Ontology Model-Based Static Analysis on Java Programs
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang
MSR
2009
ACM
16 years 1 months ago
Evaluating process quality in GNOME based on change request data
The lifecycle of defects reports and enhancement requests collected in the Bugzilla database of the GNOME project provides valuable information on the evolution of the change requ...
Holger Schackmann, Horst Lichter
173
Voted
ICST
2008
IEEE
16 years 1 months ago
Quality of Automatically Generated Test Cases based on OCL Expressions
In this paper, we deal with coverage criteria for boundary testing. We focus on the automatic generation of boundary tests based on OCL expressions and evaluate the quality of the...
Stephan Weißleder, Bernd-Holger Schlingloff
CCR
2004
79views more  CCR 2004»
15 years 6 months ago
Reverse engineering the Internet
To provide insight into Internet operation and performance, recent efforts have measured various aspects of the Internet, developing and improving measurement tools in the process....
Neil T. Spring, David Wetherall, Thomas E. Anderso...