Sciweavers

1080 search results - page 52 / 216
» Improving Software Inspections by Using Reading Techniques
Sort
View
82
Voted
DSML
2008
116views Formal Methods» more  DSML 2008»
14 years 11 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
DAC
1995
ACM
15 years 1 months ago
Rephasing: A Transformation Technique for the Manipulation of Timing Constraints
- We introduce a transformation, named rephasing, that manipulates the timing parameters in control-dataflow graphs. Traditionally high-level synthesis systems for DSP have either ...
Miodrag Potkonjak, Mani B. Srivastava
74
Voted
ANLP
2000
85views more  ANLP 2000»
14 years 11 months ago
Improving Testsuites via Instrumentation
This paper explores the usefulness of a technique from software engineering, namely code instrumentation, for the development of large-scale natural language grammars. Information...
Norbert Bröker
FASE
2009
Springer
15 years 1 months ago
Mining API Error-Handling Specifications from Source Code
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
Mithun Acharya, Tao Xie
ICST
2009
IEEE
14 years 7 months ago
Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned
Measurement and detection of redundancy in test suites attempt to achieve test minimization which in turn can help reduce test maintenance costs, and to also ensure the integrity ...
Negar Koochakzadeh, Vahid Garousi, Frank Maurer