227 search results - page 38 / 46 » Syde: a tool for collaborative software development |
ICRE
1998
IEEE
15 years 1 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
UML
2000
Springer
15 years 1 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
SOFTVIS
2010
ACM
14 years 9 months ago
2010
ACM
When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...