590 search results - page 70 / 118 » Software engineering tools and environments: a roadmap |
105
click to vote
HASKELL
2006
ACM
15 years 5 months ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
AOSD
2006
ACM
15 years 5 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
100
click to vote
IJAOSE
2010
14 years 9 months ago
2010
: 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 ...
132
click to vote
CMOT
2011
14 years 3 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...