1099 search results - page 176 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
WSC
2004
15 years 1 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...
108
click to vote
EICS
2009
ACM
15 years 6 months ago
2009
ACM
Single-user, desktop-based computer applications are pervasive in our daily lives and work. The prospect of using these applications with innovative interaction systems, like mult...
129
click to vote
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
We discuss here a parallel implementation of the visualisation of data from a galaxy formation simulation within the Triana problem-solving environment. The visualisation is a tes...
110
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
ICSE
2005
IEEE-ACM
15 years 12 months ago
2005
IEEE-ACM
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the softwa...