451 search results - page 7 / 91 » Accomplishing software stability |
143
click to vote
SIAMCO
2011
14 years 9 months ago
2011
Abstract. We consider switched systems on Banach and Hilbert spaces governed by strongly continuous one-parameter semigroups of linear evolution operators. We provide necessary and...
107
Voted
ICSM
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we describe restructuring of C code into new C++ classes. Such restructuring is done to facilitate both software reuse and software evolution. The restructuring is ...
107
Voted
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...
111
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
125
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
The software industry is currently experiencing a paradigm shift towards web-based software. We argue that web technologies should evolve in a direction that would allow the devel...