3763 search results - page 633 / 753 » Component-Based Software Engineering Processes |
130
Voted
SFP
2004
15 years 3 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...
124
Voted
INTERACT
2003
15 years 3 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...
112
Voted
INFSOF
2000
15 years 2 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...
106
click to vote
ML
2007
ACM
15 years 2 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...
SIGMOD
2010
ACM
15 years 12 days 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...