977 search results - page 143 / 196 » Formal methods integration in software engineering |
127
click to vote
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Many agile projects require user interaction (UI) design, but the integration of UI design into agile development is not well understood. This is because both agile development an...
153
click to vote
AGILEDC
2006
IEEE
15 years 10 months ago
2006
IEEE
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
100
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
161
click to vote
IWPSE
2003
IEEE
15 years 9 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
135
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...