Sciweavers

7202 search results - page 289 / 1441
» Software System Engineering: A Tutorial
Sort
View
183
Voted
ISSRE
2002
IEEE
15 years 11 months ago
A Flexible Generator Architecture for Improving Software Dependability
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
Christof Fetzer, Zhen Xiao
LISA
1998
15 years 8 months ago
SEPP: Software Installation and Sharing System
SEPP is an application installation, sharing and packaging solution for large, decentrally managed Unix environments. SEPP can be used without making modifications to the organiza...
Tobias Oetiker
LCTRTS
2005
Springer
16 years 4 days ago
Software design patterns for TinyOS
— We present design patterns used by software components in the TinyOS operating system. They differ significantly from traditional software design patterns due to TinyOS’s fo...
David Gay, Philip Levis, David E. Culler
EWSA
2004
Springer
16 years 1 days ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
ISSTA
2000
ACM
15 years 11 months ago
OMEN: A strategy for testing object-oriented software
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
Amie L. Souter, Lori L. Pollock