314 search results - page 46 / 63 » An Imperative Object Calculus |
105
Voted
UML
1998
Springer
15 years 7 months ago
1998
Springer
At British Airways, we have found during several large OO projects documented using the UML that non-technical end-users, managers and business domain experts find it difficult to ...
95
Voted
IJCSA
2008
15 years 2 months ago
2008
: The management of engineering assets such as facilities and equipments can be a challenging task and optimising their usage is critical. To ensure effective utilization of an ass...
130
Voted
JUCS
2006
15 years 2 months ago
2006
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...
124
Voted
KI
2006
Springer
15 years 2 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
120
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...