5668 search results - page 125 / 1134 » The case for software evolution |
102
click to vote
ITCC
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
102
click to vote
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
It is widely believed that distributed software development is riskier and more challenging than collocated development. Prior literature on distributed development in software en...
114
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— Portable, modular and extensible software allows robotics researchers to pool their resources by sharing algorithms, thus advancing research in the field of robotics at a fast...
104
click to vote
ICAIL
2009
ACM
15 years 8 months ago
2009
ACM
Current argumentation support software often employs graphical representations of logical relationships. Little is known about the extent to which logical structuring helps to inc...
142
click to vote
SPIN
1999
Springer
15 years 6 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...