8083 search results - page 1254 / 1617 » A Formalization of Software Architecture |
219
click to vote
PLDI
2004
ACM
16 years 8 days ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
188
click to vote
AFP
2004
Springer
16 years 7 days ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
188
click to vote
PPPJ
2003
ACM
16 years 2 days ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...
191
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
A relevant consequence of the unceasing expansion of the Web and e-commerce is the growth of the demand of new Web sites and Web applications. The software industry is facing the ...
226
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...