Sciweavers

4799 search results - page 157 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
124
Voted
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
15 years 2 months ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...
92
Voted
EDOC
2003
IEEE
15 years 3 months ago
Integrating CBSE, SoC, MDA, and AOP in a Software Development Method
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
Raul Silaghi, Alfred Strohmeier
74
Voted
ICST
2010
IEEE
14 years 8 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
61
Voted
COMPSAC
1999
IEEE
15 years 2 months ago
A Framework for Top-Down Cost Estimation of Software Development
The Function Point Method, estimation by analogy, and algorithmic modeling are three of the most commonly applied methods used to estimate the costs and worker hours neededfor a s...
Tsuneo Yamaura, Tohru Kikuno
93
Voted
OOPSLA
2005
Springer
15 years 3 months ago
Model-driven software product lines
iven software product lines combine the abstraction capability of Model Driven Software Development (MDSD) and the variability management capability of Software Product Line Engin...
Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan...