1689 search results - page 189 / 338 » Empirical Methodologies in Software Engineering |
96
Voted
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
Many software projects have failed because their requirements were poorly negotiated among stakeholders. This paper proposes a systematic model, called "MultiCriteria Prefere...
104
click to vote
FSTTCS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
ECIS
2003
15 years 3 months ago
2003
Multiple combinations of hardware and network components can be selected to design an information technology (IT) infrastructure that satisfies performance requirements. The profe...
113
click to vote
AOSE
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes how the Prometheus Design Tool (PDT) is used to support the Prometheus methodology for designing agent systems. This is done by using an exemplar system that h...
111
click to vote
SEKE
2007
Springer
15 years 7 months ago
2007
Springer
A number of enterprises are turning towards the Service Oriented Architecture (SOA) approach for their systems due to the number of benefits it offers. A key enabling technology ...