443 search results - page 7 / 89 » A System Development Process with Event-B and the Rodin Plat... |
KBS
2006
13 years 6 months ago
2006
This paper presents a knowledge-intensive support paradigm for platform-based product family design and development. The fundamental issues underlying the product family design an...
ECBS
2006
IEEE
14 years 23 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
PARA
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. For the evaluation of HPC systems for real-time signal processing, real-time benchmarks have recently been proposed by the US DoD signal processing and HPC communities. F...
ICSEA
2009
IEEE
13 years 4 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
IRI
2003
IEEE
13 years 12 months ago
2003
IEEE
- This paper presents our effort in designing and implementing an advanced hurricane simulation system on the platform of the World Wide Web for the purpose of supporting decisiona...