Sciweavers

3837 search results - page 468 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
SAC
2010
ACM
15 years 11 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin
POPL
2008
ACM
16 years 4 months ago
Proving non-termination
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumda...
CISIS
2009
IEEE
15 years 8 months ago
Creation and Delivery of Complex Learning Experiences: The ELeGI Approach
The paper presents the main findings of the ELeGI project, namely its learning model and software architecture to support the creation and execution of complex learning processes....
Nicola Capuano, Angelo Gaeta, Agostino Marengo, Se...
IJAOSE
2010
183views more  IJAOSE 2010»
15 years 1 months ago
O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems
: The complexity and scope of software systems continues to grow. One approach to dealing with this growing complexity is the use of intelligent, multi-agent systems. However, due ...
Scott A. DeLoach, Juan C. García-Ojeda
171
Voted
CMOT
2011
14 years 7 months ago
A generic architecture for redesign of organizations triggered by changing environmental circumstances
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur