3792 search results - page 118 / 759 » Techniques for Trusted Software Engineering |
178
Voted
AOSE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
159
Voted
ICSM
2009
IEEE
15 years 1 months ago
2009
IEEE
Software can be considered a live entity, as it undergoes many alterations throughout its lifecycle. Furthermore, developers do not usually retain a good design in favor of adding...
127
Voted
TAICPART
2006
IEEE
15 years 9 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
99
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
Over the years the software engineering community has increasingly realized the important role software architecture plays in fulfilling the quality requirements of a system. The ...
158
Voted
IWPC
2006
IEEE
15 years 9 months ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...