201 search results - page 27 / 41 » Formal Specification in Collaborative Design of Critical Sof... |
ICRE
1998
IEEE
13 years 11 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...
TACS
2001
Springer
13 years 12 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
AGILEDC
2008
IEEE
14 years 2 months ago
2008
IEEE
In agile software development, planning meetings play a pivotal role in establishing a concrete understanding of customers’ requirements. Using tools to enhance the effectivenes...
WDAG
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...