3311 search results - page 492 / 663 » Deductive Object Programming |
127
click to vote
ACMSE
2005
ACM
15 years 8 months ago
2005
ACM
Traditionally, computer science education has considered “objects-first” or “imperative-first” approaches, with the focus of the course on teaching design of programs star...
131
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...
132
click to vote
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
115
click to vote
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Aspect-Oriented Software Development (AOSD) provides better design solutions to problems where Object Oriented Development produces tangled and scattered designs. Neverth...
160
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...