Sciweavers

153 search results - page 22 / 31
» Model-based development of in-vehicle software
Sort
View
FASE
2008
Springer
14 years 12 months ago
Verification of Architectural Refactorings by Rule Extraction
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
ICESS
2005
Springer
15 years 3 months ago
Formalization of fFSM Model and Its Verification
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
Sachoun Park, Gihwon Kwon, Soonhoi Ha
JUCS
2008
165views more  JUCS 2008»
14 years 10 months ago
A Product Derivation Tool Based on Model-Driven Techniques and Annotations
: 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...
Elder Cirilo, Uirá Kulesza, Carlos Jos&eacu...
ECEASST
2008
69views more  ECEASST 2008»
14 years 10 months ago
Verifying Model Transformations by Structural Correspondence
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
Anantha Narayanan, Gabor Karsai
73
Voted
APSEC
2004
IEEE
15 years 1 months ago
Architecture Modeling Language based on UML2.0
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
Sunghwan Roh, Kyungrae Kim, Taewoong Jeon