Sciweavers

5668 search results - page 366 / 1134
» Overlaps in Requirements Engineering
Sort
View
CAISE
2001
Springer
15 years 11 months ago
Coordination Technologies for Managing Information System Evolution
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...
Luis Filipe Andrade, José Luiz Fiadeiro
APSEC
2000
IEEE
15 years 11 months ago
Goal based agent-oriented software modeling
Thispaper presents a goal based modeling methodfor agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties ...
Kenha Park, Jintae Kim, Sooyong Park
ISSTA
2000
ACM
15 years 11 months ago
Simplifying failure-inducing input
Given some test case, a program fails. Which part of the test case is responsible for the particular failure? We show how our delta debugging algorithm generalizes and simplifies...
Ralf Hildebrandt, Andreas Zeller
AGENTS
1999
Springer
15 years 11 months ago
Agent Aided Aircraft Maintenance
Aircraft maintenance is performed by mechanics who are required, by regulation, to consult expert engineers for repair instructions and approval. In addition to their own experien...
Onn Shehory, Katia P. Sycara, Gita Sukthankar, Vic...
ICSM
1999
IEEE
15 years 11 months ago
Assembler to C Migration Using the FermaT Transformation System
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
Martin P. Ward