3024 search results - page 43 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
158
click to vote
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
116
click to vote
ESEC
1993
Springer
15 years 8 months ago
1993
Springer
We argue that, despite a substantial number of proposed and existing new database systems, a suitable database system for software development environments and especially process-c...
137
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Recently, researchers have created many platforms and applications for mobile agents; however, current Agent-Oriented Software Engineering (AOSE) methodologies have yet not fully ...
174
click to vote
WER
2004
Springer
15 years 9 months ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requir...
162
click to vote
RE
2004
Springer
15 years 9 months ago
2004
Springer
Due to the generality and complexity of enterprise systems, they are challenging to implement and deploy successfully in organizations. Many of these problems are rooted in the wa...