13099 search results - page 257 / 2620 » Cooperative method development |
163
click to vote
FTRTFT
1998
Springer
15 years 10 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
194
click to vote
ZUM
1997
Springer
15 years 10 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
209
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Computer-supported cooperative work (CSCW) supports groups with communication and coordination during the execution of their activities. It allows physically dispersed teams to en...
178
click to vote
HOTSWUP
2009
ACM
15 years 11 months ago
2009
ACM
The complexity, cost, and down-time currently created by the database schema evolution process is the source of incessant problems in the life of information systems and a major s...
169
click to vote
WIKIS
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a new Wiki called SAVVY Wiki that realizes context-oriented, collective and collaborative knowledge management environments that are able to reflect users’ i...