1700 search results - page 83 / 340 » Specifying and implementing refactorings |
122
click to vote
ECMAST
1997
Springer
15 years 8 months ago
1997
Springer
In the framework of the European ACTS programme, the AMUSE project aims to develop, specify, implement and trial advanced multimedia services using an end-to-end ATM infrastructure...
122
click to vote
IMPERIAL
1994
15 years 8 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
158
click to vote
MCMASTER
1993
15 years 8 months ago
1993
With the recent advances in massively parallel programmable processor networks, methods for the infusion of massive MIMD parallelism into programs have become increasingly relevant...
129
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...
113
click to vote
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analys...