2127 search results - page 37 / 426 » Software Automation |
ICSE
2004
IEEE-ACM
2004
IEEE-ACM
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
16 years 17 days ago
Although object-oriented languages can improve programming practices, their characteristics may introduce new problems for software engineers. One important problem is the presenc...
102
click to vote
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
101
click to vote
SEKE
2004
Springer
15 years 5 months ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
134
click to vote
ECSA
2008
Springer
2008
Springer
Automating Architecture Trade-Off Decision Making through a Complex Multi-attribute Decision Process
15 years 2 months ago
A typical software architecture design process requires the architects to make various trade-off architecture decisions. The architects need to consider different possibilities and...
116
Voted
SERP
2004
15 years 1 months ago
2004
Attention to aspect oriented programming (AOP) is rapidly growing as its benefits in large software system development and maintenance are increasingly recognized. However, existin...