Sciweavers

6348 search results - page 640 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
ICSE
2009
IEEE-ACM
16 years 2 months ago
Improving bug tracking systems
It is important that information provided in bug reports is relevant and complete in order to help resolve bugs quickly. However, often such information trickles to developers aft...
Thomas Zimmermann, Rahul Premraj, Jonathan Sillito...
SEFM
2009
IEEE
16 years 2 months ago
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
Davide Bresolin, Valentin Goranko, Angelo Montanar...
SEFM
2009
IEEE
16 years 2 months ago
A Computability Perspective on Self-Modifying Programs
Abstract—In order to increase their stealth, malware commonly use the self-modification property of programs. By doing so, programs can hide their real code so that it is diffi...
Guillaume Bonfante, Jean-Yves Marion, Daniel Reyna...
AGILEDC
2007
IEEE
16 years 1 months ago
How We Made Onsite Customer Work - An Extreme Success Story
The Agile Manifesto emphasizes customer collaboration over contract negotiation. No Extreme Programming practice embodies this more than onsite customer. This paper describes our ...
Michelle Williams, Jay Packlick, Rajeev Bellubbi, ...
SEFM
2007
IEEE
16 years 1 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...