Sciweavers

5439 search results - page 291 / 1088
» Patterns: from system design to software testing
Sort
View
ICSE
2010
IEEE-ACM
15 years 8 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis
ISSTA
1993
ACM
15 years 8 months ago
Mutation Analysis Using Mutant Schemata
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...
Roland H. Untch, A. Jefferson Offutt, Mary Jean Ha...
GROUP
2003
ACM
15 years 9 months ago
Concepts for usable patterns of groupware applications
Patterns, which are based on in-depth practical experience, can be instructing for the design of groupware applications as sociotechnical systems. On the basis of a summary of the...
Thomas Herrmann, Marcel Hoffmann, Isa Jahnke, Andr...
BMCBI
2005
115views more  BMCBI 2005»
15 years 4 months ago
Graphical representation of ribosomal RNA probe accessibility data using ARB software package
Background: Taxon specific hybridization probes in combination with a variety of commonly used hybridization formats nowadays are standard tools in microbial identification. A fre...
Yadhu Kumar, Ralf Westram, Sebastian Behrens, Bern...
KBSE
2008
IEEE
15 years 11 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel