1463 search results - page 203 / 293 » Software engineering practices in Singapore |
170
click to vote
ISSTA
2004
ACM
16 years 11 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
209
click to vote
AGILEDC
2003
IEEE
16 years 7 days ago
2003
IEEE
As part of the delivery an automated hub for a postal operator, the Solystic company has to build a complex and feature rich Information System that supports a highly automated pr...
203
click to vote
EUROMICRO
2003
IEEE
16 years 7 days ago
2003
IEEE
Knowledge management (KM) systems aim at supporting knowledge workers in general and software engineers in particular. These tools help to elicit, structure, and retrieve knowledg...
175
click to vote
PPPJ
2003
ACM
16 years 6 days ago
2003
ACM
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...
178
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...