Sciweavers

1101 search results - page 61 / 221
» Barbed Model-Driven Software Development: A Case Study
Sort
View
MODELS
2007
Springer
15 years 3 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
IEEEICCI
2003
IEEE
15 years 3 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
CODES
2007
IEEE
15 years 4 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...
STEP
2005
IEEE
15 years 3 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
ASWEC
2009
IEEE
15 years 4 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