1121 search results - page 74 / 225 » Building Formal Requirements Models for Reliable Software |
106
click to vote
SPLC
2010
14 years 10 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
ISCIS
2004
Springer
15 years 5 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
CSMR
2007
IEEE
15 years 6 months ago
2007
IEEE
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...
VLSID
2003
IEEE
16 years 7 days ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
126
click to vote
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...