8083 search results - page 136 / 1617 » A Formalization of Software Architecture |
149
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
DAC
2009
ACM
15 years 8 months ago
2009
ACM
161
click to vote
ACSAC
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
114
click to vote
ESEM
2007
ACM
15 years 7 months ago
2007
ACM
With today's ever increasing demands on software, developers must produce software that can be changed without the risk of degrading the software architecture. Degraded softw...
110
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...