Sciweavers

6348 search results - page 889 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
FOSSACS
2001
Springer
15 years 11 months ago
On Garbage and Program Logic
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
Cristiano Calcagno, Peter W. O'Hearn
ICSE
2001
IEEE-ACM
15 years 11 months ago
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
Steve M. Easterbrook, Marsha Chechik
ICSE
2001
IEEE-ACM
15 years 11 months ago
TIGRA - An Architectural Style for Enterprise Application Integration
We report on experience that we made in the Trading room InteGRation Architecture project (TIGRA) at a large German bank. TIGRA developed a distributed system architecture for int...
Wolfgang Emmerich, Ernst Ellmer, Henry Fieglein
TACS
2001
Springer
15 years 11 months ago
A Logic Programming Language Based on Binding Algebras
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
Makoto Hamana
WEBENG
2001
Springer
15 years 11 months ago
A Framework for Defining Acceptance Criteria for Web Development Projects
Despite the rapid evolution of Web technologies and development tools and skills, most Web sites fail (to varying degrees) to achieve their true business goals. This is at least pa...
David Lowe