1559 search results - page 192 / 312 » Software needs engineering: a position paper |
140
Voted
B
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
130
Voted
AUIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Group awareness has become important in improving the usability of real-time, distributed, collaborative writing systems. However, the current set of implemented awareness mechani...
131
Voted
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes a stochastic voting for testing a large number of Web Services (WS) under group testing. In the future, a large number of WS will be available and they need to...
135
Voted
AOSD
2004
ACM
15 years 9 months ago
2004
ACM
A widespread implementation approach for the join point mechanism of aspect-oriented languages is to instrument areas in code that match the static part of pointcut designators, i...
129
Voted
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Advances in VLSI technology have lead to a tremendous increase in the density and number of devices that can be manufactured in a single microchip. One of the interesting...