1405 search results - page 140 / 281 » Software engineering for and with artists: a case study |
170
click to vote
APSEC
2005
IEEE
16 years 21 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
209
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
219
Voted
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a structured tool demonstration, a hybrid evaluation technique that combines elements from experiments, case studies, and technology demonstrations. Developer...
225
click to vote
IWPC
2005
IEEE
16 years 20 days ago
2005
IEEE
Comprehension is a key activity that underpins a variety of software maintenance and engineering tasks. The task of understanding object-oriented systems is hampered by the fact t...
167
Voted
IWPSE
2005
IEEE
16 years 20 days ago
2005
IEEE
The notion of refactoring —transforming the sourcecode of an object-oriented program without changing its external behaviour — has been studied intensively within the last dec...