666 search results - page 28 / 134 » Component-Based Design and Analysis: A Case Study |
110
Voted
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
110
click to vote
AOSE
2001
Springer
15 years 6 months ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
121
click to vote
FMAM
2010
14 years 12 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
117
click to vote
RE
2005
Springer
15 years 7 months ago
2005
Springer
Interviews with stakeholders can be a useful method for identifying user needs and establishing requirements. However, interviews are also problematic. They are time consuming and...
112
Voted
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...