2625 search results - page 406 / 525 » The development of the Emerald programming language |
146
click to vote
ICALP
1994
Springer
15 years 8 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
104
click to vote
IFIP
1994
Springer
15 years 8 months ago
1994
Springer
Development of a research project in Computer Science, integrating a considerable number of research institutions and about 1200 individual researchers all over a country with big...
113
click to vote
ZUM
1992
Springer
15 years 8 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
152
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
167
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. One of the costs of reusing software components is updating applications to use the new version of the components. Updating an application can be error-prone, tedious, an...