1001 search results - page 24 / 201 » Myths in Software Engineering: From the Other Side |
105
click to vote
SELMAS
2004
Springer
15 years 5 months ago
2004
Springer
The need of developing a new software engineering process (SEP) that could allow the quick prototyping of some robotic applications and meet the requests coming from some companie...
AMAST
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
TOOLS
2000
IEEE
15 years 4 months ago
2000
IEEE
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
WIKIS
2006
ACM
15 years 5 months ago
2006
ACM
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of...
PEPM
2010
ACM
15 years 8 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciï...