8083 search results - page 410 / 1617 » A Formalization of Software Architecture |
210
Voted
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Future communication and computation devices require mechanisms for on-the-fly reconfiguration in their protocol stack to operate in different situations and networks. Th...
146
Voted
SEW
2006
IEEE
16 years 25 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
176
click to vote
GI
2004
Springer
16 years 6 days ago
2004
Springer
: Open Source Software (OSS) has been well established in industrial software processes during the last couple of years. However, as the combination of OSS and commercial software ...
151
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
This report gives an overview of the 6th ICSE Workshop on Component-Based Software Engineering held at 25th International Conference on Software Engineering. The workshop brought ...
197
click to vote
SCP
2010
15 years 1 months ago
2010
Analyzing the evolution of large and long-lived software systems is a complex problem that requires extensive tool support due to the amount and complexity of the data that needs ...