Sciweavers

100 search results - page 7 / 20
» A Knowledge-based Advisory System for Software Quality Assur...
Sort
View
QOSA
2010
Springer
13 years 4 months ago
A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems
Design decisions for complex, component-based systems impact multiple quality of service (QoS) properties. Often, means to improve one quality property deteriorate another one. In ...
Anne Martens, Danilo Ardagna, Heiko Koziolek, Raff...
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
14 years 22 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
IEEECIT
2010
IEEE
13 years 5 months ago
Study on the Industry Oriented Education for Computing of Ireland and Its Application
—This paper analyzes the mechanism of Industry Oriented Education of Ireland, especially in DIT and extracts useful experience to the education process of pilot software schools ...
Wu Tao, Chen Ya-ping, Ning Feng, Gu Xi-Qian
ECOOP
2010
Springer
13 years 11 months ago
Detecting Missing Method Calls in Object-Oriented Software
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this paper, we provide a comprehensiv...
Martin Monperrus, Marcel Bruch, Mira Mezini
HASE
1998
IEEE
13 years 11 months ago
Object-Oriented Software Testing: Some Research and Development
It is widely accepted that the OO paradigm will signi cantly increase software reusability, extendibility, interoperability, and reliability. This is also true for high assurance ...
David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, C...