Sciweavers

3311 search results - page 207 / 663
» Deductive Object Programming
Sort
View
OOPSLA
1990
Springer
15 years 6 months ago
A Framework for Visualizing Object-Oriented Systems
This paper describes a new approach to visualizing program systems within the object-oriented paradigm. This approach is based on a TEX-like notation which has been extended and g...
Volker Haarslev, Ralf Möller
COR
2008
105views more  COR 2008»
15 years 2 months ago
Minimizing the object dimensions in circle and sphere packing problems
Given a fixed set of identical or different-sized circular items, the problem we deal with consists on finding the smallest object within which the items can be packed. Circular, ...
Ernesto G. Birgin, F. N. C. Sobral
JIPS
2006
71views more  JIPS 2006»
15 years 2 months ago
Scenario-based 3D Objects Synthesizing System Design
: This paper proposes the framework of the scenario-based 3D image synthesizing system that allows common users who envision a scenario in their mind to realize it into the segment...
Ji-Seung Nam, Hui Gao, Mi-Young Kang, Kyoung-Tae K...
ICFP
2006
ACM
16 years 2 months ago
Type-theoretic design patterns
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
Ondrej Rypacek, Roland Carl Backhouse, Henrik Nils...
VRST
2006
ACM
15 years 8 months ago
Intuitively specifying object dynamics in virtual environments using VR-WISE
Designing and building Virtual Environments is not an easy task, especially when it comes to specifying object behavior where either knowledge about animation techniques or progra...
Bram Pellens, Frederic Kleinermann, Olga De Troyer