Sciweavers

1099 search results - page 33 / 220
» A tool for assisting the understanding and formal developmen...
Sort
View
IWPC
1998
IEEE
13 years 12 months ago
Archetypal Source Code Searches: A Survey of Software Developers and Maintainers
In this study, we conducted a survey to generate archetypes of source code searching by programmers across maintenance tasks. Using a questionnaire on a web page, we obtained 69 r...
Susan Elliott Sim, Charles L. A. Clarke, Richard C...
CAEPIA
2003
Springer
14 years 28 days ago
Social Analysis of Multi-agent Systems with Activity Theory
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
WCRE
1995
IEEE
13 years 11 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
ITNG
2010
IEEE
14 years 24 days ago
ACAT: A Web-Based Software Tool to Facilitate Course Assessment for ABET Accreditation
—There are several institutions that accredit educational programs and require documentation to ensure that an educational program regularly meets certain criteria. This paper fo...
Eugene Essa, Andrew Dittrich, Sergiu M. Dascalu, F...
APSEC
2005
IEEE
13 years 9 months ago
Improving Agile Software Development using eXtreme AOCE and Aspect-Oriented CVS
Currently there are no Concurrent Versioning Systems (CVS) designed to properly support agile software development. The existing CVS lacks user friendliness and it requires users ...
Santokh Singh, Hsiao-Cheng Chen, Oliver Hunter, Jo...