433 search results - page 2 / 87 » Typing the Behavior of Software Components using Session Typ... |
ESEM
2009
ACM
13 years 9 months ago
2009
ACM
Research has provided evidence that type usage in source files is correlated with the risk of failure of software components. Previous studies that investigated the correlation b...
COMPSAC
2004
IEEE
13 years 8 months ago
2004
IEEE
Off-The-Shelf (OTS) software components are being used within complex safety-critical applications. However, to use these untrustworthy components with confidence, it is necessary...
ICSE
2005
IEEE-ACM
14 years 5 months ago
2005
IEEE-ACM
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
ERLANG
2007
ACM
13 years 8 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
SIGSOFT
1996
ACM
13 years 9 months ago
1996
ACM
Abstract -- Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for du...