7209 search results - page 128 / 1442 » Software Engineering for Multi-Agent Systems |
148
click to vote
SIGDOC
1992
ACM
15 years 10 months ago
1992
ACM
Softwareprofessionals rely on internaldocumentationas an aid in understanding programs. Unfortunately, the documentation for most programs is usually out-of-date and cannot be tru...
175
click to vote
WCRE
1993
IEEE
15 years 10 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...