269 search results - page 26 / 54 » Automating the Generation of Platform Specific Models |
152
click to vote
CASES
2007
ACM
15 years 5 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
CAISE
1997
Springer
15 years 5 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
123
click to vote
IEEESCC
2005
IEEE
15 years 7 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
125
click to vote
JUCS
2008
15 years 1 months ago
2008
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...
118
click to vote
ASE
2005
15 years 1 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...