3706 search results - page 286 / 742 » KtSeqC: System Description |
169
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
171
click to vote
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
With the massive advance of electronic document repositories, usable interfaces to these repositories gain importance. While sophisticated information retrieval techniques provide...
150
click to vote
ECBS
2000
IEEE
15 years 11 months ago
2000
IEEE
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
155
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
We present the CAVEStudy system that enables scientists to interactively steer a simulation from a virtual reality (VR) environment. No modification to the source code is necessa...
165
click to vote
RSP
2000
IEEE
15 years 11 months ago
2000
IEEE
: The use of program generation from graphical representations like UML is increasing in software projects. The notion of hypergenericity is raising up to improve program generator...