2171 search results - page 73 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
140
click to vote
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
135
click to vote
IWPC
2003
IEEE
15 years 10 months ago
2003
IEEE
Increasingly, applications are being built by combining existing software components. For the most part, a software developer can treat components as black-boxes. However, for som...
155
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
Design pattern detection is a reverse engineering methodology that helps software engineers to analyze and understand legacy software by recovering its design and thereby aiding i...
115
click to vote
IJCAI
2007
15 years 6 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
138
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...