7209 search results - page 432 / 1442 » Software Engineering for Multi-Agent Systems |
133
Voted
GCSE
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
136
Voted
APSEC
1997
IEEE
15 years 7 months ago
1997
IEEE
An underlying assumption for N-version programming technique is that independently developed versions would fail in a statistically independent mannel: Howevel; empirical studies ...
113
click to vote
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
138
Voted
ECSA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
119
click to vote
ICSEA
2007
IEEE
15 years 9 months ago
2007
IEEE
We investigate the trade off between investing effort in improving the features of a research environment that increases productivity and investing such effort in actually conduct...