15885 search results - page 2879 / 3177 » Strategic Software Engineering |
146
click to vote
FLAIRS
2003
15 years 6 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
160
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
161
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: BLAST is one of the most common and useful tools for Genetic Research. This paper describes a software application we have termed Windows .NET Distributed Basic Local ...
154
click to vote
SAC
2010
ACM
15 years 2 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
176
click to vote
AISS
2010
15 years 2 months ago
2010
The boom of Service oriented architecture is on substantial rise. SOA developers orchestrate individual SOA objects into web services. It has been a dream of software engineers to...