738 search results - page 13 / 148 » Object Orientation and Formal Techniques |
ICECCS
2006
IEEE
15 years 4 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
104
click to vote
SIGGRAPH
1997
ACM
15 years 3 months ago
1997
ACM
Manipulation in immersive virtual environments is difficult partly because users must do without the haptic contact with real objects they rely on in the real world to orient them...
127
click to vote
AOSE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
115
click to vote
IEEEICCI
2002
IEEE
15 years 3 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
In object oriented languages, dynamic memory allocation is a fundamental concept. When using such a language in hard real-time systems, it becomes important to bound both the worst...