Sciweavers

4799 search results - page 180 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
ICSE
2008
IEEE-ACM
16 years 2 months ago
FeatureMapper: mapping features to models
Variability modelling with feature models is one key technique for specifying the problem space of Software Product Lines (SPLs). To allow for the automatic derivation of a concre...
Florian Heidenreich, Jan Kopcsek, Christian Wende
CODES
2005
IEEE
15 years 8 months ago
Memory access optimizations in instruction-set simulators
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
Mehrdad Reshadi, Prabhat Mishra
WSC
2000
15 years 4 months ago
Toward a standard process: the use of UML for designing simulation models
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
Hendrik Richter, Lothar März
JSW
2007
102views more  JSW 2007»
15 years 2 months ago
Model-driven Engineering for Early QoS Validation of Component-based Software Systems
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
James H. Hill, Aniruddha S. Gokhale
117
Voted
ICFEM
2000
Springer
15 years 6 months ago
Using Use Cases in Executable Z
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
Wolfgang Grieskamp, Markus Lepper