670 search results - page 106 / 134 » Software safety: relating software assurance and software in... |
196
click to vote
EMISA
2006
Springer
15 years 9 months ago
2006
Springer
: This paper explains how we have designed a service-oriented architecture by combining and extending several open source environments. We show how the IT architecture of the Natio...
144
click to vote
CCE
2007
15 years 7 months ago
2007
: The concept of patterns and pattern languages has been applied in different application domains like software engineering, human computer interaction, and pedagogy. In the area o...
122
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...
141
click to vote
CN
2002
15 years 5 months ago
2002
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
151
click to vote
ESE
2000
15 years 5 months ago
2000
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...