3169 search results - page 358 / 634 » A General Framework for Large Scale Systems Development |
171
click to vote
SAMOS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Embedded systems are special purpose systems which perform predefined tasks with very specific requirements like high performance, low volume or low power. Most of the ...
177
click to vote
PLDI
2005
ACM
16 years 3 days ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
180
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
144
click to vote
IJSS
2007
15 years 6 months ago
2007
— The purpose of this case study is to create a competitive operative management system for efficiency and quality performance for a company running maintenance service business ...
167
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...