7209 search results - page 497 / 1442 » Software Engineering for Multi-Agent Systems |
123
Voted
IWPC
1999
IEEE
15 years 8 months ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
137
Voted
EUROMICRO
1996
IEEE
15 years 7 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
138
Voted
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
eConference is a text-based conferencing tool that supports distributed teams in need for synchronous communication and structured discussion services. Other than offering communi...
130
Voted
TACS
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
120
Voted
PEPM
1991
ACM
15 years 7 months ago
1991
ACM
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...