9821 search results - page 192 / 1965 » A Framework for the Development of Protocols |
172
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Developer documentation helps developers learn frameworks and libraries. To better understand how documentation in open source projects is created and maintained, we performed a q...
183
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
167
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
This paper describes the use of executable specifications to ease incremental development, by providing more flexibility regarding the order in which modules are implemented. In t...
191
click to vote
WSCG
2001
15 years 8 months ago
2001
In this paper we report on using Common Object Request Broker Architecture (CORBA) middleware as a means of supporting the rapid development of Distributed Virtual Environment (DV...
158
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
We propose an approach (based on Water Transformations) to migrate web applications between various web development frameworks. This migration process preserves the structure of t...