1782 search results - page 184 / 357 » Tool Support for Proof Engineering |
161
click to vote
EDBTW
2004
Springer
15 years 12 months ago
2004
Springer
In this work, we investigate mechanisms to support data sharing and querying in a peer-to-peer data management system, that is, a peer-to-peer system where each peer manages its ow...
158
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Modeling object-oriented applications using collaborations and roles is now well accepted. Collaboration-based or role-based designs decompose an application into tasks performed ...
184
click to vote
ARES
1998
Springer
15 years 10 months ago
1998
Springer
The realization of software projects can be significantly eased by extending the focus of reuse to architectural aspects instead of concentrating on separate software elements. Ye...
152
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Recently, several innovative tools have found their way into mainstream use in modern development environments. However, most of these tools have focused on creating and modifying...
159
click to vote
AGILEDC
2008
IEEE
16 years 1 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...