6197 search results - page 140 / 1240 » Sandbridge Software Tools |
PDSE
1998
13 years 10 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
SPLC
2007
13 years 10 months ago
2007
Besides ordinary applications, also infrastructure software such as operating systems or database management systems is being developed as a software product line. With proper too...
FMICS
2010
Springer
13 years 9 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
ECSA
2008
Springer
13 years 11 months ago
2008
Springer
This paper presents a dependency constraint language that allows software architects to restrict the spectrum of dependencies that can be presented in a given software system. The ...
IUSED
2008
13 years 10 months ago
2008
Permanent involvement of end users in software development is both highly recommended and highly challenging. Against the background of our results and experiences from two resear...