Design-Space Exploration through Constraint-Based Model-Transformation (English)
- New search for: Schaetz, Bernhard
- New search for: Hoelzl, Florian
- New search for: Lundkvist, Torbjoern
- New search for: Schaetz, Bernhard
- New search for: Hoelzl, Florian
- New search for: Lundkvist, Torbjoern
In:
ECBS, IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 17
;
173-182
;
2010
-
ISBN:
- Conference paper / Print
-
Title:Design-Space Exploration through Constraint-Based Model-Transformation
-
Contributors:
-
Published in:
-
Publisher:
- New search for: IEEE Operations Center
-
Place of publication:Piscataway
-
Publication date:2010
-
Size:10 Seiten, 19 Quellen
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 9
-
UAV Search: Maximizing Target AcquisitionAl-Helal, Hussain / Sprinkle, Jonathan et al. | 2010
- 91
-
Range Queries Based on a Structured Segment Tree in P2P SystemsChang, Ye-In / Wu, Chen-Chang / Shen, Jun-Hong / Huang, Tzu-Lun et al. | 2010
- 141
-
Fault Coverage Measurement of a Timed Test Case Generation ApproachAbouTrab, M.S. / Counsell, S. et al. | 2010
- 173
-
Design-Space Exploration through Constraint-Based Model-TransformationSchaetz, Bernhard / Hoelzl, Florian / Lundkvist, Torbjoern et al. | 2010
- 183
-
Combination of a Discrete Event Simulation and an Analytical Performance Analysis through Model-TransformationsPorzucek, Tomasz / Kluth, Stephan / Fritzsche, Mathias / Redlich, David et al. | 2010
- 206
-
Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System ArchitectureGriessnig, Gerhard / Mader, Roland / Steger, Christian / Weiss, Reinhold et al. | 2010
- 215
-
UML-JMT: a Tool for Evaluating Performance RequirementsAl Abdullatif, A. / Pooley, R.J. et al. | 2010
- 286
-
ECQL: A Query and Action Language for Model-Based ApplicationsKrenn, Ulrich / Thonhauser, Michael / Kreiner, Christian et al. | 2010
- 321
-
MATERA : An Integrated Framework for Model-Based TestingAbbors, Fredrik / Baecklund, Andreas / Truscan, Dragos et al. | 2010
- 329
-
Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT ScenariosWendland, Marc-Florian / Grossmann, Juergen / Hoffmann, Andreas et al. | 2010
- 344
-
Model Based Statistical Testing and DurationsBoehr, Frank et al. | 2010
- 440
-
[Publisher's information]| 2010
- C1
-
[Front cover]| 2010
- i
-
[Title page i]| 2010
- iii
-
[Title page iii]| 2010
- iv
-
[Copyright notice]| 2010
- v
-
Table of contents| 2010
- x
-
Foreword| 2010
- xi
-
Organization and Program Committee| 2010
- xiv
-
list-reviewer| 2010
- xv
-
Technology and Conferences Board| 2010