658 search results - page 15 / 132 » A formal approach to object-oriented software engineering |
IWPC
2006
IEEE
14 years 3 months ago
2006
IEEE
One of the important activities in re-engineering process is detecting design flaws. Such design flaws prevent an efficient maintenance, and further development of a system. Th...
WCRE
1999
IEEE
14 years 2 months ago
1999
IEEE
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
COMPSAC
2001
IEEE
14 years 1 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...
ENTCS
2008
13 years 10 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
ER
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Navigability is a main concern in the design of Web applications. In order to assess such navigability a number of measures has been proposed. From them, measures defined...