Sciweavers

1101 search results - page 61 / 221
» Barbed Model-Driven Software Development: A Case Study
Sort
View
141
Voted
MODELS
2007
Springer
15 years 9 months ago
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
Gregory Zoughbi, Lionel C. Briand, Yvan Labiche
127
Voted
IEEEICCI
2003
IEEE
15 years 9 months ago
Analogy of Incremental Program Development and Constructivist Learning
During software evolution, programmers add new functionalities and release new versions of software. This complicated work involves not only program development but also learning ...
Václav Rajlich, Shaochun Xu
168
Voted
CODES
2007
IEEE
15 years 10 months ago
HySim: a fast simulation framework for embedded software development
Instruction Set Simulation (ISS) is widely used in system evaluation and software development for embedded processors. Despite the significant advancements in the ISS technology,...
Stefan Kraemer, Lei Gao, Jan Weinstock, Rainer Leu...
128
Voted
STEP
2005
IEEE
15 years 9 months ago
Managing Model Quality in UML-Based Software Development
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
Christian F. J. Lange, Michel R. V. Chaudron
159
Voted
ASWEC
2009
IEEE
15 years 10 months ago
A Comprehensive Feature-Oriented Traceability Model for Software Product Line Development
Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used feature based method ...
Liwei Shen, Xin Peng, Wenyun Zhao