469 search results - page 84 / 94 » Language Design for Meta-programming in the Software Composi... |
SIGCSE
2004
ACM
15 years 5 months ago
2004
ACM
The event driven paradigm is ubiquitous in modern software. Many texts introduce events when discussing graphical user interfaces, but the event paradigm extends well beyond that ...
ASWEC
2010
IEEE
14 years 12 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
102
click to vote
EUROSYS
2006
ACM
15 years 8 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
117
click to vote
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
Solution-driven product line engineering is a project business where products are created for each customer individually. Although reuse of results from former projects is widely ...
110
click to vote
CACM
1999
14 years 11 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...