Sciweavers

458 search results - page 38 / 92
» Symbolic Object Code Analysis
Sort
View
OOPSLA
2010
Springer
14 years 8 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
15 years 10 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
15 years 4 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»
15 years 3 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
15 years 2 months 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...