7380 search results - page 340 / 1476 » Engineering Software Intensive Systems |
153
click to vote
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Software engineers tend to repeat mistakes when developing software. Automated static analysis tools can detect some of these mistakes early in the software process. However, thes...
109
Voted
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.
165
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Most agent systems today are closed and static. That is, one uses Agent-Oriented Software Engineering techniques to build agent systems in which the set of agents is specified ahe...
121
click to vote
ISORC
2003
IEEE
15 years 9 months ago
2003
IEEE
Quality and risk concerns currently limit the application of commercial off-the-shelf (COTS) software components to non-critical applications. Software metrics can quantify factor...
131
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...