Sciweavers

7380 search results - page 306 / 1476
» Engineering Software Intensive Systems
Sort
View
117
Voted
LCTRTS
2005
Springer
15 years 9 months 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
AMOST
2005
ACM
15 years 9 months ago
Modeling requirements for combinatorial software testing
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
Christopher M. Lott, Ashish Jain, Siddhartha R. Da...
111
Voted
EWSA
2004
Springer
15 years 9 months 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
116
Voted
ISSTA
2000
ACM
15 years 8 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
116
Voted
CODES
1996
IEEE
15 years 7 months ago
A Model for the Coanalysis of Hardware and Software Architectures
Successful """tiprocessor system design for complex realtime embedded applications requires powerful and comprehensive. yet cost-effective. productive. and maintain...
Fred Rose, Todd Carpenter, Sanjaya Kumar, John Sha...