Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Stephan Weißleder"'
Autor:
Stephan Weißleder, Hartmut Lackner
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 111, Iss Proc. MBT 2013, Pp 82-94 (2013)
Systems tend to become more and more complex. This has a direct impact on system engineering processes. Two of the most important phases in these processes are requirements engineering and quality assurance. Two significant complexity drivers located
Externí odkaz:
https://doaj.org/article/36d3787ca3a84108b1efc42e9f8c6ff5
Autor:
Hartmut Lackner, Stephan Weißleder
Publikováno v:
Softwaretechnik-Trends. 33:69-72
Zusammenfassung Heutige Systeme werden immer komplexer. Damit werden auch die Entwicklung und der Test immer aufwandiger. Entsprechende Komplexitatstreiber gibt es viele. In diesem Artikel fokussieren wir auf den Komplexitatstreiber der standig steig
Publikováno v:
Complex Systems Design & Management ISBN: 9783319491028
CSDM
CSDM
Model-Based System Engineering (MBSE) and Product Line Engineering (PLE) are well-known approaches in industry for the management and design of the architecture of complex systems. The railway signalling business has some specific characteristics tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5cf103f95d4e7d5b71d8a502edeef140
https://doi.org/10.1007/978-3-319-49103-5_1
https://doi.org/10.1007/978-3-319-49103-5_1
Autor:
André Heuer, Christoph Schulze, Christian Manz, Ina Schaefer, Stephan Weißleder, Michael Himsolt, Michael Schulze, Sebastian Schröck, Holger Schlingloff, Christian Reuter, Tobias Kaufmann, Tobias Jäger, Bernhard Rumpe, Reinhold May
Publikováno v:
Advanced Model-Based Engineering of Embedded Systems ISBN: 9783319480022
Advanced Model-Based Engineering of Embedded Systems
Advanced Model-Based Engineering of Embedded Systems
Variability management and reuse are important concerns in the development of variant-rich software-intensive systems. In this chapter, we present the SPES XT modeling framework's mechanism to capture the orthogonal concern of variability.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3b83b7363974ee3f31753f5b53c1d0f
https://doi.org/10.1007/978-3-319-48003-9_11
https://doi.org/10.1007/978-3-319-48003-9_11
Autor:
Stephan Weissleder, Holger Schlingloff
Publikováno v:
ICST
Testing is one of the most important quality assurance techniques for software. Automating the test design allows for automatically creating test suites from high-level system descriptions or test descriptions. Furthermore, it enables testers to auto
Publikováno v:
ICST
System quality assurance techniques like testing are important for high-quality products and processes. The effort for applying them is usually high, but can be reduced using automation. Automated test design is possible by using models to specify te
Autor:
Onur Aktuğ, Azadeh Alebrahim, Nour Ali, Paris Avgeriou, Rami Bahsoon, Vilhelm Bergmann, Luigi Buglione, Rafael Capilla, Laura Carvajal, Christine Choppy, Maya Daneva, Peter Eeles, Veli-Pekka Eloranta, Özgü Özköse Erdoğan, Stephan Faßbender, Matthias Galster, Martin Große-Rhode, Jörgen Hansson, Neil Harrison, Maritta Heisel, Sebastian Herold, Andrea Herrmann, Robert Hilbrich, Christoffer Höglund, Christian Kop, Kai Koskimies, Hui Lin, Stefan Mann, Heinrich C. Mayr, Wilhelm Meding, Ivan Mistrik, Kent Niesel, Andreas Rausch, Roshanak Roshandel, Vladimir A. Shekhovtsov, Carlos Solis, Michael Stal, Miroslaw Staron, Bedir Tekinerdogan, Uwe van Heesch, Stephan Weißleder, Antoine Widmer, Qian Zhang, Yanlong Zhang, Hong Zhu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::970fcf66bd2c03c3d68bde83181b5358
https://doi.org/10.1016/b978-0-12-417009-4.09983-x
https://doi.org/10.1016/b978-0-12-417009-4.09983-x
Publikováno v:
Relating System Quality and Software Architecture
Customers of products that include or are determined by software today expect the product to be individually configurable. At the same time high quality and short delivery times are expected. As a consequence, the producer of the software must be abl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::79e034a69b16cbb3d74e29275c740643
https://doi.org/10.1016/b978-0-12-417009-4.00009-0
https://doi.org/10.1016/b978-0-12-417009-4.00009-0
Publikováno v:
Tests and Proofs ISBN: 9783319090986
TAP@STAF
TAP@STAF
Testing is one of the most wide-spread means for quality assurance. Modelling and automated test design are two means to improve effectivity and efficiency of testing. In this paper, we present a method to generate test data from UML activity diagram
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::13fbeb2836d99c420ecea466fd23461e
https://doi.org/10.1007/978-3-319-09099-3_14
https://doi.org/10.1007/978-3-319-09099-3_14
Publikováno v:
Model-Driven Engineering, Verification and Validation (MoDeVVa '12)
Model-Driven Engineering, Verification and Validation (MoDeVVa '12), Sep 2012, Innsbruck, Austria. pp.3-4, ⟨10.1145/2427376.2427377⟩
Model-Driven Engineering, Verification and Validation (MoDeVVa '12), Sep 2012, Innsbruck, Austria. pp.3-4, ⟨10.1145/2427376.2427377⟩
International audience; The MoDeVVa workshop series is dedicated to the interaction between advancements in the field of Model-Driven Engineering (MDE) and in the field of Verification and Validation (V&V). During the eight previous editions, it beca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c79a0e713697e849f57724daa5d99c2
https://hal-supelec.archives-ouvertes.fr/hal-00783297
https://hal-supelec.archives-ouvertes.fr/hal-00783297