Sciweavers

4377 search results - page 289 / 876
» Application Driven Software Development
Sort
View
ENTCS
2007
111views more  ENTCS 2007»
15 years 6 months ago
Reversibility and Models for Concurrency
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
Iain Phillips, Irek Ulidowski
PRESENCE
2000
105views more  PRESENCE 2000»
15 years 6 months ago
Optical Versus Video See-Through Head-Mounted Displays in Medical Visualization
We compare two technological approaches to augmented reality for 3-D medical visualization: optical and video see-through devices. We provide a context to discuss the technology b...
Jannick P. Rolland, Henry Fuchs
CPE
2000
Springer
292views Hardware» more  CPE 2000»
15 years 11 months ago
SREPT: Software Reliability Estimation and Prediction Tool
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...
Srinivasan Ramani, Kishor S. Trivedi
MDAFA
2004
Springer
116views Hardware» more  MDAFA 2004»
16 years 13 hour ago
"Weaving" MTL Model Transformations
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...
Raul Silaghi, Frédéric Fondement, Al...
BIRTHDAY
2012
Springer
14 years 2 months ago
Model Transformation By-Example: A Survey of the First Wave
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
Gerti Kappel, Philip Langer, Werner Retschitzegger...