3801 search results - page 475 / 761 » An Approach to Modeling Software Safety |
192
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
206
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In Software Product Lines (SPLs), product configuration is a decision-making process in which a group of stakeholders choose features for a product. Unfortunately, current configu...
162
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
183
click to vote
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
235
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...