2165 search results - page 22 / 433 » Cooperative Software Development: Concepts, Model and Tools |
127
click to vote
FMICS
2010
Springer
14 years 12 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
WORDS
2002
IEEE
15 years 4 months ago
2002
IEEE
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
PROFES
2009
Springer
15 years 6 months ago
2009
Springer
Value-based software engineering (VBSE) is an emerging stream of research that addresses the value considerations of software and extends the traditional scope of software engineer...
129
click to vote
CSCW
2011
ACM
14 years 6 months ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
112
click to vote
SEKE
2004
Springer
15 years 5 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...