2271 search results - page 172 / 455 » Scalable Software Libraries |
132
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Programmers commonly reuse existing frameworks or libraries to reduce software development efforts. One common problem in reusing the existing frameworks or libraries is that the...
139
click to vote
APPINF
2003
15 years 6 months ago
2003
Evolution of existing large telecommunications software currently became an important issue. Efficient methods are needed to componentize existing software identify existing compo...
119
Voted
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
144
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
159
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
E-businesses are increasingly facing the need of porting the provision of their e-services to mobile customers. Evolving requirements, such as reliability, security, scalability, ...