25218 search results - page 4629 / 5044 » A Logic-Based Information System |
233
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...
159
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
186
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software systems are designed and engineered to process data. However, software is data too. The size and variety of today's software artifacts and the multitude of stakehold...
211
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software helps people fulfill their goals, but development tools lack understanding of those goals. But if development tools did understand how software artifacts relate to higher...
185
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...