4917 search results - page 436 / 984 » Software Engineering is Not Computer Science |
139
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
152
Voted
GI
2007
Springer
15 years 10 months ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
106
Voted
GI
2007
Springer
15 years 10 months ago
2007
Springer
: The improved spatial resolution of modern SAR sensors allows the distinction of significant areas in rural as well as in urban environments. For this purpose additional informati...
128
click to vote
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
122
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...