3763 search results - page 633 / 753 » Component-Based Software Engineering Processes |
172
click to vote
SFP
2004
15 years 7 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
171
click to vote
INTERACT
2003
15 years 7 months ago
2003
: An increasing number of consumer products for everyday use offer the user advanced programming capabilities. Existing technologies offer the potential to design human-product int...
159
click to vote
INFSOF
2000
15 years 6 months ago
2000
The paper shows a SHEL oriented requirements engineering approach, which has been applied in a case study dealing with the definition of the requirements for a new railways traffi...
157
click to vote
ML
2007
ACM
15 years 5 months ago
2007
ACM
The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
134
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
We consider fast two-sided error-tolerant search that is robust against errors both on the query side (type alogrithm, find documents with algorithm) as well as on the document si...