8627 search results - page 363 / 1726 » Software Engineering Using RATionale |
219
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
150
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
As pair programming is used widely in software engineering education, instructors may wish to proactively form pairs to increase the likelihood of compatible pairs. A study involv...
221
click to vote
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...
210
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
159
Voted
PROFES
2004
Springer
16 years 2 days ago
2004
Springer
Software measurement forms a sound basis for monitoring software development process and software product quality. Implementing software measurement is, however, difficult and crea...