Sciweavers

458 search results - page 38 / 92
» Symbolic Object Code Analysis
Sort
View
OOPSLA
2010
Springer
13 years 7 months ago
Teaching and training developer-testing techniques and tool support
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wo...
ICIAP
2001
Springer
14 years 8 months ago
2D Shape Recognition by Hidden Markov Models
In Computer Vision, two-dimensional shape classifcation is a complex and well studied topic, often basic for three-dimensional object recognition. Object contours are a widely cho...
Manuele Bicego, Vittorio Murino
IWPC
2007
IEEE
14 years 2 months ago
Tracking Objects to Detect Feature Dependencies
The domain-specific ontology of a software system includes a set of features and their relationships. While the problem of locating features in object-oriented programs has been ...
Adrian Lienhard, Orla Greevy, Oscar Nierstrasz
SAS
2004
Springer
134views Formal Methods» more  SAS 2004»
14 years 1 months ago
Towards Declarative Programming for Web Services
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
Sheila A. McIlraith
ICSM
1999
IEEE
14 years 24 days ago
Hot Spot Recovery in Object-Oriented Software with Inheritance and Composition Template Methods
The success of an object-oriented software development project highly depends on how well the designers can capture the Hot Spots of the application domain, that is, those aspects...
Reinhard Schauer, Sébastien Robitaille, Fra...