2796 search results - page 31 / 560 » A time structure based software reliability model |
JCIT
2010
13 years 3 months ago
2010
The complicated interactions among tasks lead to iterations in product design and development. To maintain the market share, enterprises should effectively manage their product de...
SAFECOMP
1998
Springer
14 years 16 days ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
ACCV
1995
Springer
14 years 15 days ago
1995
Springer
—Many recognition procedures rely on the consistency of a subset of data features with a hypothesis as the sufficient evidence to the presence of the corresponding object. We ana...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assert...
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
IT application landscapes alias software cities of large enterprises comprise tens or even hundreds of IT applications. Structuring software cities into domains is an important tas...