5 search results - page 1 / 1 » Formal specification of CORBA services: experience and lesso... |
OOPSLA
2000
Springer
13 years 8 months ago
2000
Springer
WIFT
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...
FASE
1998
Springer
13 years 9 months ago
1998
Springer
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
TSC
2010
12 years 11 months ago
2010
Data-Providing (DP) services allow query-like access to organizations' data via web services. The invocation of a DP service results in the execution of a query over data sour...
SIGUCCS
2000
ACM
13 years 9 months ago
2000
ACM
The quality of student consultants and their development through training and education are major factors in determining long-term effectiveness of university Help Desk. To hire a...