Sciweavers

4799 search results - page 100 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
ER
2006
Springer
169views Database» more  ER 2006»
14 years 12 months ago
A More Expressive Softgoal Conceptualization for Quality Requirements Analysis
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended characterization of the common Softgoal concept is proposed fo...
Ivan Jureta, Stéphane Faulkner, Pierre-Yves...
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 3 months ago
Taming the component timing: A CBD methodology for real-time embedded systems
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
ECBS
2003
IEEE
111views Hardware» more  ECBS 2003»
15 years 3 months ago
Multigranular Simulation of Heterogeneous Embedded Systems
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...
Aditya Agrawal, Ákos Lédeczi
RE
2002
Springer
14 years 9 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
VL
2007
IEEE
108views Visual Languages» more  VL 2007»
15 years 4 months ago
A PROLOG-based Approach to Representing and Querying Software Engineering Models
Striving toward the vision of Model Driven development (MDD), we face many open questions connected to the elementary tasks involved in working with models. Probably the most basi...
Harald Störrle