9018 search results - page 323 / 1804 » 3D-Brain Model Software |
121
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
116
Voted
RE
2001
Springer
15 years 9 months ago
2001
Springer
Evolutionary prototyping focuses on gathering a correct and consistent set of requirements. The process lends particular strength to building quality software by means of the ongo...
150
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
147
click to vote
LMO
1996
15 years 6 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
130
click to vote
WCE
2007
15 years 6 months ago
2007
—Use case refactoring is one of the recent software engineering techniques that aimed at synthesising and refining use case models. Two new types of use case refactoring are prop...