Sciweavers

2371 search results - page 178 / 475
» Software Quality Perception
Sort
View
117
Voted
NIME
2005
Springer
163views Music» more  NIME 2005»
15 years 9 months ago
ixi software: The Interface as Instrument
This paper describes the audio human computer interface experiments of ixi in the past and outlines the current platform for future research. ixi software [5] was founded by Thor ...
Thor Magnusson
ICSE
2001
IEEE-ACM
15 years 7 months ago
Theory of Software Reliability Based on Components
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
Richard G. Hamlet, David V. Mason, Denise M. Woit
155
Voted
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 7 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
ICSE
1998
IEEE-ACM
15 years 7 months ago
Parallel Changes in Large Scale Software Development: An Observational Case Study
An essential characteristic of large scale software development is parallel development by teams of developers. How this parallel development is structured and supported has a pro...
Dewayne E. Perry, Harvey P. Siy, Lawrence G. Votta
155
Voted
AADEBUG
1995
Springer
15 years 7 months ago
Software Testability Measurement for Assertion Placement and Fault Localization
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
Jeffrey M. Voas