Sciweavers

15778 search results - page 215 / 3156
» Aikido and software engineering
Sort
View
DAGSTUHL
2007
15 years 8 months ago
End-User Software Engineering Position Paper
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...
Henry Lieberman
IJAOSE
2007
82views more  IJAOSE 2007»
15 years 6 months ago
West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware
This paper describes West2East, a Computer-Aided Agent-Oriented Software Engineering toolkit aimed at supporting the implementation of multiagent systems. West2East exploits langua...
Giovanni Casella, Viviana Mascardi
CACM
2002
69views more  CACM 2002»
15 years 6 months ago
Software engineering considered harmful
ion, reviews, rigorous procedures, regression testing, metrics, and so forth) have been helpful, but we are still dealing with an intrinsically unsatisfactory situation. Especially...
Dennis de Champeaux
JUCS
2010
137views more  JUCS 2010»
15 years 4 months ago
A Model for Capturing and Managing Software Engineering Knowledge and Experience
: 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...
Gerardo Matturro, Andrés Silva
TPHOL
1998
IEEE
15 years 10 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
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...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...