795 search results - page 87 / 159 » A Formal Approach to Heterogeneous Software Modeling |
112
click to vote
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
134
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
101
Voted
FM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
87
Voted
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
89
Voted
ICSM
2005
IEEE
15 years 6 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...