15778 search results - page 215 / 3156 » Aikido and software engineering |
179
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
bstract, rather than through examples. I’d like to see the ability to demonstrate examples in concrete situations, have the system record them, and generalize them to yield a pro...
166
click to vote
IJAOSE
2007
15 years 6 months ago
2007
This paper describes West2East, a Computer-Aided Agent-Oriented Software Engineering toolkit aimed at supporting the implementation of multiagent systems. West2East exploits langua...
132
click to vote
CACM
2002
15 years 6 months ago
2002
ion, reviews, rigorous procedures, regression testing, metrics, and so forth) have been helpful, but we are still dealing with an intrinsically unsatisfactory situation. Especially...
160
click to vote
JUCS
2010
15 years 4 months ago
2010
: During software development projects there is always a particular working “product” that is generated but rarely managed: the knowledge and experience that team members acqui...
194
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...