1710 search results - page 178 / 342 » Parallelism in Structured Newton Computations |
106
click to vote
ISORC
1999
IEEE
15 years 2 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
107
click to vote
ISORC
1999
IEEE
15 years 2 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
ECOOPW
1999
Springer
15 years 2 months ago
1999
Springer
The GOODLY language can be used to specify the design of systems built according to the Object Oriented paradigm. It was conceived with the main purpose of facilitating the extrac...
ECOOPW
1999
Springer
15 years 2 months ago
1999
Springer
An approach for metrics-based tool support for the task of understanding object oriented software systems is presented. It stresses the combined presentation of structural informa...
ECOOPW
1999
Springer
15 years 2 months ago
1999
Springer
Aspect-Oriented Programming (AOP) has been considered ing abstraction principle to reduce the problem of code tangling and make software structure clean and configurable. This pap...