6187 search results - page 275 / 1238 » Practical Software Measurement |
220
click to vote
CBSQ
2003
Springer
15 years 12 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...
186
Voted
ISSRE
2002
IEEE
15 years 11 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...
141
click to vote
WOSP
2000
ACM
15 years 11 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 ...
180
click to vote
CODES
2001
IEEE
15 years 10 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...
171
click to vote
HCI
2007
15 years 8 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...