Sciweavers

7209 search results - page 441 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
SDE
1991
15 years 7 months ago
A Configurable Framework for Method and Tool Integration
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
Jeff Kramer, Anthony Finkelstein
94
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
Demonstration of AGENDA Tool Set for Testing Relational Database Applications
Database systems play an important role in nearly every modern organization, yet relatively little research effort has focused on how to test them. AGENDA, A (test) GENerator for ...
David Chays, Yuetang Deng
121
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
Recovering Documentation-to-Source-Code Traceability Links using Latent Semantic Indexing
An information retrieval technique, latent semantic indexing, is used to automatically identify traceability links from system documentation to program source code. The results of...
Andrian Marcus, Jonathan I. Maletic
ICSM
2005
IEEE
15 years 9 months ago
Towards a Framework for Testing Structural Source-Code Regularities
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
Kim Mens, Andy Kellens
ICFEM
1998
Springer
15 years 7 months ago
Defining Differentiation and Integration in Z
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony