82 search results - page 11 / 17 » Technology Transfer Issues for Formal Methods of Software Sp... |
TACS
2001
Springer
14 years 1 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
ASSETS
2010
ACM
13 years 3 months ago
2010
ACM
Individuals diagnosed with autism spectrum disorder (ASD) often fixate on narrow, restricted interests. These interests can be highly motivating, but they can also create attentio...
DAC
2007
ACM
14 years 15 days ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...