1782 search results - page 60 / 357 » Tool Support for Proof Engineering |
174
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
174
click to vote
CASCON
2010
15 years 3 months ago
2010
In Service Oriented Architecture (SOA), service composition integrates existing services to fulfill specific tasks using a set of standards and tools. However, current service comp...
158
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Software inspection is an effective way to assess product quality and to reduce the number of defects. In a software inspection the inspection meeting is a key activity to agree o...
146
click to vote
MSR
2005
ACM
15 years 11 months ago
2005
ACM
Programmers often create similar code snippets or reuse existing code snippets by copying and pasting. Code clones —syntactically and semantically similar code snippets—can ca...
146
click to vote
ICSM
2008
IEEE
15 years 12 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...