4074 search results - page 10 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
109
click to vote
SCAM
2002
IEEE
15 years 2 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
ENTCS
2008
14 years 9 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...
DOOD
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
: The paper presents a solution of the problem of wrapping relational databases to an object-oriented business model in the data grid architecture. The main problem with this kind ...
ICALT
2005
IEEE
15 years 3 months ago
2005
IEEE
Software development is knowledge-intensive as well as collaborative work carried out by several persons. In this type of education, project-based exercises are conducted in order ...