Sciweavers

1099 search results - page 4 / 220
» A tool for assisting the understanding and formal developmen...
Sort
View
TOOLS
1999
IEEE
13 years 12 months ago
A Formal Software Development Approach Based on COOZ and Refinement Calculus
Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guolia...
MSR
2005
ACM
14 years 1 months ago
Using a clone genealogy extractor for understanding and supporting evolution of code clones
Programmers often create similar code snippets or reuse existing code snippets by copying and pasting. Code clones —syntactically and semantically similar code snippets—can ca...
Miryung Kim, David Notkin
SPIRE
1999
Springer
13 years 12 months ago
Developing a Tool to Assist Electronic Facilitation of Decision-Making Groups
One resource playing a critical role in electronically supported decision-making groups is the facilitator. Facilitation is a complex task, encompassing social abilities, pre-meet...
Tania Ho, Pedro Antunes
SEKE
2004
Springer
14 years 29 days ago
UCDA: Use Case Driven Development Assistant Tool for Class Model Generation
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...
Kalaivani Subramaniam, Dong Liu, Behrouz Homayoun ...
IWPC
2009
IEEE
14 years 2 months ago
BugFix: A learning-based tool to assist developers in fixing bugs
We present a tool called BugFix that can assist developers in fixing program bugs. Our tool automatically analyzes the debugging situation at a statement and reports a prioritize...
Dennis Jeffrey, Min Feng, Neelam Gupta, Rajiv Gupt...