1685 search results - page 81 / 337 » Commonality and Variability in Software Engineering |
111
click to vote
ECSA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Many software architecture evaluation methods, proposed by the research community, have a common problem of engaging the same architects to perform architecture design an...
242
Voted
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
114
click to vote
ISPW
2008
IEEE
15 years 9 months ago
2008
IEEE
Most process models calibrate their internal settings using historical data. Collecting this data is expensive, tedious, and often an incomplete process. Is it possible to make acc...
125
click to vote
WER
2007
Springer
15 years 9 months ago
2007
Springer
Software inspections have proved to be an effective means to find faults in different software artifacts, and the application of software inspections on requirements specification...
109
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...