2836 search results - page 126 / 568 » Model Checking for Software Architectures |
143
click to vote
COMSWARE
2008
IEEE
15 years 10 months ago
2008
IEEE
— The telecom and the internet world is converging towards all-IP network architecture and the operators are keen to provide innovative multimedia services coupled with advanced ...
114
click to vote
ACISICIS
2010
IEEE
15 years 5 months ago
2010
IEEE
Recently, software size becomes larger, and consequently, not only a software developer but also a software purchaser suffers considerable losses by software project failure. So av...
146
click to vote
AINA
2008
IEEE
15 years 5 months ago
2008
IEEE
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...
113
click to vote
IEEEARES
2009
IEEE
15 years 10 months ago
2009
IEEE
Within the field of software security we have yet to find efficient ways on how to learn from past mistakes and integrate security as a natural part of software development. Th...
141
Voted
SERP
2003
15 years 5 months ago
2003
In recent publications, two prominent approaches can be found which deal with the complexity of large software systems. First, there is the object–oriented approach, where ”ob...