7027 search results - page 389 / 1406 » Software process: a roadmap |
216
click to vote
ISORC
2005
IEEE
16 years 14 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
160
click to vote
SAC
2004
ACM
16 years 9 days ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...
200
click to vote
ICSM
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...
166
click to vote
ICTAI
2003
IEEE
16 years 5 days ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
173
click to vote
WORDS
2003
IEEE
16 years 4 days ago
2003
IEEE
Ubiquitous application software usually has multiple QoS requirements, such as situationawareness, real-time, and security, which make the application software development complic...