8627 search results - page 437 / 1726 » Software Engineering Using RATionale |
152
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
This paperpresents the Compaantool that automatically transforms a nestedloopprogram written in Matlab into a processnetwork specification. The processnetworkmodelof computation...
159
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents a set of concepts and design techniques that has proven successful in implementing and using C++ libraries intended for applications that simultaneously require...
177
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
154
click to vote
WER
1999
Springer
15 years 11 months ago
1999
Springer
We present the overall design of an object-oriented library for use when developing tracing capable applications. The library is implemented as java classes and consists of de niti...
181
click to vote
B
1998
Springer
15 years 11 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...