1781 search results - page 297 / 357 » An Emerging Need for a New Software Engineering Method |
FOSSACS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
76
Voted
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
106
Voted
COMSWARE
2006
IEEE
15 years 5 months ago
2006
IEEE
— The ability to access remote file storage from mobile devices enables a number of new use cases for storing and sharing data. We describe the design and implementation of a Rem...
SAC
2005
ACM
15 years 4 months ago
2005
ACM
As the usage of Web Services proliferates dramatically, new tools to help quickly generate web services are needed. In this paper, we propose a methodology that helps to automatic...
87
Voted
AOSD
2010
ACM
15 years 3 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...