Sciweavers

118 search results - page 10 / 24
» Constructing component-based software engineering environmen...
Sort
View
SERA
2005
Springer
14 years 29 days ago
A Model-driven Environment for Component Deployment
This paper presents Deployment Factory, a modeldriven unified environment for deploying componentbased applications. While there are projects aiming to develop a unified deploymen...
Petr Hnetynka
AVI
1994
13 years 8 months ago
Recognizing and Interpreting Diagrams in Design
Hand drawn diagrams are essential tools for thinking and communicating in the early phases of design, yet computer based drawing tools support diagramming and sketching only poorl...
Mark D. Gross
SIGSOFT
2010
ACM
13 years 5 months ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...
ISSRE
2008
IEEE
14 years 1 months ago
Using Fault Modeling in Safety Cases
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
Robyn R. Lutz, Ann Patterson-Hine
CGO
2009
IEEE
13 years 11 months ago
Alchemist: A Transparent Dependence Distance Profiling Infrastructure
Effectively migrating sequential applications to take advantage of parallelism available on multicore platforms is a well-recognized challenge. This paper addresses important aspec...
Xiangyu Zhang, Armand Navabi, Suresh Jagannathan