Sciweavers

1579 search results - page 56 / 316
» A software development process supporting non-functional pro...
Sort
View
TASE
2007
IEEE
15 years 10 months ago
Design of a Certifying Compiler Supporting Proof of Program Safety
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...
CORR
2010
Springer
134views Education» more  CORR 2010»
15 years 4 months ago
Effective Defect Prevention Approach in Software Process for Achieving Better Quality Levels
Defect prevention is the most vital but habitually neglected facet of software quality assurance in any project. If functional at all stages of software development, it can condens...
V. Suma, T. R. Gopalakrishnan Nair
HASE
2008
IEEE
15 years 10 months ago
Using Multi-Level Security Annotations to Improve Software Assurance
Current annotation technologies suffer from poor coverage over the development process phases, limited support for the broad scope of the security requirement types and inadequate...
Eryk Kylikowski, Riccardo Scandariato, Wouter Joos...
APSEC
2005
IEEE
15 years 10 months ago
CoxR: Open Source Development History Search System
In typical open source software development, developers use revision control systems for product management, mailing list systems for human communications, and bug tracking system...
Makoto Matsushita, Kei Sasaki, Katsuro Inoue
ICSE
2003
IEEE-ACM
16 years 4 months ago
Beyond the Personal Software Process: Metrics collection and analysis for the differently disciplined
Pedagogies such as the Personal Software Process (PSP) shift metrics definition, collection, and analysis from the organizational level to the individual level. While case study r...
Philip M. Johnson, Hongbing Kou, Joy Agustin, Chri...