94 search results - page 15 / 19 » Patterns and metamodel for a natural-language-based requirem... |
169
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
181
click to vote
VLDB
2002
ACM
15 years 5 months ago
2002
ACM
With the rapid growth of XML-document traffic on the Internet, scalable content-based dissemination of XML documents to a large, dynamic group of consumers has become an important...
171
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
184
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
161
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...