803 search results - page 49 / 161 » Building Formal Models for Software Requirements |
108
click to vote
CSMR
2007
IEEE
15 years 8 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...
124
click to vote
VLSID
2003
IEEE
16 years 2 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
148
click to vote
SIGSOFT
2007
ACM
16 years 2 months 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 ...
ISPW
2008
IEEE
15 years 8 months ago
2008
IEEE
Defining process standards by integrating, harmonizing, and standardizing heterogeneous and often implicit processes is an important task, especially for large development organiza...
137
click to vote
DEXAW
2008
IEEE
15 years 3 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...