15860 search results - page 2532 / 3172 » Agent-Based Software Engineering |
199
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
219
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
249
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
192
click to vote
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
170
click to vote
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...