6187 search results - page 275 / 1238 » Practical Software Measurement |
177
Voted
CBSQ
2003
Springer
15 years 9 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
142
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
114
click to vote
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
A pattern is a common solution to a problem that occurs in many different contexts. Patterns capture expert knowledge about “best practices” in software design in a form that ...
132
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
134
click to vote
HCI
2007
15 years 6 months ago
2007
Software Engineering (SE) and Usability Engineering (UE) both provide a wide range of elaborated process models to create software solutions. Today, many companies have realized th...