1481 search results - page 96 / 297 » Enriching the Software Development Process by Formal Methods |
118
Voted
INFSOF
2002
15 years 3 months ago
2002
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
122
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
105
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
168
click to vote
CBSQ
2003
Springer
15 years 8 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
Voted
B
2007
Springer
15 years 9 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...