Sciweavers

15778 search results - page 468 / 3156
» Aikido and software engineering
Sort
View
ENTCS
2007
86views more  ENTCS 2007»
15 years 6 months ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit
AI
2002
Springer
15 years 6 months ago
Modeling Organizational Rules in the Multi-agent Systems Engineering Methodology
Recently, two advances in agent-oriented software engineering have had a significant impact: the identification of interaction and coordination as the central focus of multi-agent ...
Scott A. DeLoach
MAGS
2007
100views more  MAGS 2007»
15 years 6 months ago
Engineering agent-mediated integration of bioinformatics analysis tools
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
Vassilis Koutkias, Andigoni Malousi, Nicos Maglave...
IWPC
1998
IEEE
15 years 11 months ago
Pattern Visualization for Software Comprehension
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
Reinhard Schauer, Rudolf K. Keller
SAC
2008
ACM
15 years 6 months ago
A reusable object-oriented design to support self-testable autonomic software
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
Tariq M. King, Alain E. Ramirez, Peter J. Clarke, ...