Sciweavers

932 search results - page 72 / 187
» Software Reliability Engineering: A Roadmap
Sort
View
152
Voted
ASWEC
2007
IEEE
15 years 10 months ago
A Configurable Event Correlation Architecture for Adaptive J2EE Applications
Distributed applications that adapt as their environment changes are developed from selfmanaging, self-configuring and self-optimising behaviours. This requires constant monitorin...
Yan Liu, Ian Gorton, Vinh Khanh Le
134
Voted
ASWEC
2008
IEEE
15 years 10 months ago
Experiences on the Belief-Theoretic Integration of Para-consistent Conceptual Models
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
Ebrahim Bagheri, Ali A. Ghorbani
AC
2002
Springer
15 years 3 months ago
Empirical Studies of Quality Models in Object-Oriented Systems
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...
Lionel C. Briand, Jürgen Wüst
SIGSOFT
2010
ACM
14 years 10 months ago
Language-based verification will change the world
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
Tim Sheard, Aaron Stump, Stephanie Weirich
266
Voted
POPL
2007
ACM
16 years 4 months ago
Conditional must not aliasing for static race detection
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
Mayur Naik, Alex Aiken