5 search results - page 1 / 1 » Formal specification of CORBA services: experience and lesso... |
OOPSLA
2000
Springer
13 years 9 months ago
2000
Springer
WIFT
1998
IEEE
13 years 10 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 10 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
13 years 29 days 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 10 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...