1180 search results - page 163 / 236 » Total Functional Software Engineering - Overview Paper |
ADAEUROPE
2003
Springer
15 years 4 months ago
2003
Springer
The existence of a standard container library has been largely recognized as a key feature for improving the quality and effectiveness of Ada programming. In this paper, we aim at...
ADAEUROPE
2001
Springer
15 years 3 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
WEBENG
2001
Springer
15 years 3 months ago
2001
Springer
Despite the rapid evolution of Web technologies and development tools and skills, most Web sites fail (to varying degrees) to achieve their true business goals. This is at least pa...
ISSRE
2000
IEEE
15 years 3 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
AMAST
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...