default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. SAM 2014: Valencia, Spain
- Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher:
System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings. Lecture Notes in Computer Science 8769, Springer 2014, ISBN 978-3-319-11742-3
Reuse
- Øystein Haugen, Ommund Øgård:
BVR - Better Variability Results. 1-15 - Amine El Kouhen, Abdelouahed Gherbi
, Cédric Dumoulin, Pierre Boulet, Sébastien Gérard:
MID: A MetaCASE Tool for a Better Reuse of Visual Notations. 16-31 - Daniel Liabeuf, Xavier Le Pallec, José Rouillard:
An Empirical Study on the Anticipation of the Result of Copying and Pasting among UML Editors. 32-47
Availability, Safety and Optimization
- Jameleddine Hassine, Abdelwahab Hamou-Lhadj:
Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Traces. 48-63 - Havva Gülay Gürbüz, Nagehan Pala Er, Bedir Tekinerdogan:
Architecture Framework for Software Safety. 64-79 - Joachim Denil, Maris Jukss, Clark Verbrugge, Hans Vangheluwe:
Search-Based Model Optimization Using Model Transformations. 80-95
Sequences and Interactions
- Gregor von Bochmann:
Associativity between Weak and Strict Sequencing. 96-109 - Alexander Knapp, Harald Störrle:
Efficient Representation of Timed UML 2 Interactions. 110-125 - Sabine Winetzhammer, Joel Greenyer, Matthias Tichy:
Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems. 126-141
Testing
- Man Zhang, Tao Yue, Shaukat Ali, Huihui Zhang, Ji Wu:
A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages. 142-157 - Mohamed Mussa, Ferhat Khendek:
Acceptance Test Optimization. 158-173 - Delcino Picinin Júnior, Cristian Koliver, Celso A. S. Santos, Jean-Marie Farines:
Verifying Hypermedia Applications by Using an MDE Approach. 174-189 - Wei Dou, Domenico Bianculli, Lionel C. Briand:
Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes. 190-197 - Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre:
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. 198-206
Metrics, Constraints and Repositories
- Lukas Mäurer, Tanja Hebecker, Torben Stolte, Michael Lipaczewski, Uwe Möhrstädt, Frank Ortmeier:
On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink. 207-222 - Shaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Kaur Panesar-Walawege:
Insights on the Use of OCL in Diverse Industrial Applications. 223-238 - Markus Scheidgen, Joachim Fischer:
Model-Based Mining of Source Code Repositories. 239-254
SDL and V&V
- Alexander Kraas:
Towards an Extensible Modeling and Validation Framework for SDL-UML. 255-270 - Tobias Braun, Dennis Christmann, Reinhard Gotzhein, Alexander Mater:
SDL Implementations for Wireless Sensor Networks - Incorporation of PragmaDev's RTDS into the Deterministic Protocol Stack BiPS. 271-286 - Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl, Birgit Vogel-Heuser:
Formal Technical Process Specification and Verification for Automated Production Systems. 287-303 - Andreas Blunk, Joachim Fischer:
Prototyping SDL Extensions. 304-311
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
