1432 search results - page 107 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
128
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...
97
Voted
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
134
Voted
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...
126
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
132
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
Minimally invasive surgery (MIS) involves a multidimensional series of tasks requiring a synthesis between visual information and the kinematics and dynamics of the surgical tools...