9006 search results - page 283 / 1802 » Modeling Software |
171
click to vote
HICSS
2005
IEEE
16 years 6 days ago
2005
IEEE
In the past decade outsourcing a software system’s support and maintenance has become relatively common across most organizations. In this paper we consider a few issues governi...
158
click to vote
ISJ
2002
15 years 6 months ago
2002
Proponents of open source style software development claim that better software is produced using this model compared with the traditional closed model. However, there is little em...
145
click to vote
AOSD
2005
ACM
16 years 5 days ago
2005
ACM
Even when working on a well-modularized software system, programmers tend to spend more time navigating the code than working with it. This phenomenon arises because it is impossi...
156
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents the Agent Factory Development Methodology, an Agent-Oriented Software Engineering (AOSE) methodology that employs a synthesis of the Unified Modelling Languag...
154
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...