5591 search results - page 504 / 1119 » Design patterns: between programming and software design |
234
click to vote
KBSE
2006
IEEE
16 years 1 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
173
click to vote
GPCE
2008
Springer
15 years 8 months ago
2008
Springer
Feature modules are the building blocks of programs in software product lines (SPLs). A foundational assumption of feature-based program synthesis is that features are composed in...
179
click to vote
HCI
2007
15 years 8 months ago
2007
The author reviewed and participated in several exemplar industry projects from the Indian IT industry to study the integration of human-computer interaction (HCI) design into soft...
182
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Is there such a thing anymore as a software system that doesn't need to be secure? Almost every softwarecontrolled system faces threats from potential adversaries, from Inter...
193
click to vote
SIGARCH
2008
15 years 7 months ago
2008
Conventional programming models were designed to be used by expert programmers for programming for largescale multiprocessors, distributed computational clusters, or specialized p...