|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 612 occurrences of 351 keywords
|
|
|
Results
Found 872 publication records. Showing 872 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
53 | Bali Ahmed, Al-Osta Mahmud, Abdelouahed Gherbi |
An Ontology-Based Approach for IoT Data Processing Using Semantic Rules. |
SDL Forum |
2017 |
DBLP DOI BibTeX RDF |
|
53 | Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed (eds.) |
SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Mahin Abbasipour, Ferhat Khendek, Maria Toeroe |
A Model-Based Framework for SLA Management and Dynamic Reconfiguration. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Vahdat Abdelzad, Daniel Amyot, Timothy C. Lethbridge |
Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with GRL. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Patrice Boulet, Daniel Amyot, Bernard Stepien |
Towards the Generation of Tests in the Test Description Language from Use Case Map Models. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Mustafa Berk Duran, Gunter Mussbacher, Nishanth Thimmegowda, Jörg Kienzle |
On the Reuse of Goal Models. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Gusztáv Adamis, Gábor Kovács, György Réthy |
Generating Performance Test Model from Conformance Test Logs. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Hartmut Lackner |
Model-Based Product Line Testing: Sampling Configurations for Optimal Fault Detection. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Terje Gjøsæter, Andreas Prinz 0001 |
LanguageLab - A Meta-modelling Environment. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Daisuke Shimbara, Øystein Haugen |
Generating Configurations for System Testing with Common Variability Language. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Bernard Stepien, Kavya Mallur, Liam Peyton |
Testing Business Processes Using TTCN-3. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Edna Braun, Daniel Amyot, Timothy C. Lethbridge |
Generating Software Documentation in Use Case Maps from Filtered Execution Traces. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Lars George |
Event Pattern Mining for Smart Environments. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Amine El Kouhen, Abdelouahed Gherbi, Cédric Dumoulin, Ferhat Khendek |
On the Semantic Transparency of Visual Notations: Experiments with UML. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Patrick Harms, Jens Grabowski |
Consistency of Task Trees Generated from Website Usage Traces. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Jameleddine Hassine, Abdelwahab Hamou-Lhadj |
Describing Early Security Requirements Using Use Case Maps. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert |
Insertion Modeling and Symbolic Verification of Large Systems. |
SDL Forum |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed (eds.) |
SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Ludovic Apvrille, Pierre de Saqui-Sannes |
Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Gusztáv Adamis, Antal Wu-Hen-Chang, Gábor Árpád Németh, Levente Erös, Gábor Kovács |
Data Flow Testing in TTCN-3 with a Relational Database Schema. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Brahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Pérez 0001 |
Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Martin Schmidt, Arif Wider, Markus Scheidgen, Joachim Fischer, Sebastian von Klinski |
Refactorings in Language Development with Asymmetric Bidirectional Model Transformations. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Andreas Blunk, Joachim Fischer |
Efficient Development of Domain-Specific Simulation Modelling Languages and Tools. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Naif A. Mokhayesh Alzahrani, Dorina C. Petriu |
Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Mohammad Alhaj, Dorina C. Petriu |
Traceability Links in Model Transformations between Software and Performance Models. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Pascal Potvin, Mario Bonja, Gordon Bailey, Pierre Busnel |
An IMS DSL Developed at Ericsson. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | El Arbi Aboussoror, Ileana Ober, Iulian Ober |
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Pau Fonseca i Casas, Xavier Pi, Josep Casanovas, Jordi Jové |
Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Jameleddine Hassine, Gunter Mussbacher, Edna Braun, Mohammad Alhaj |
Modeling Early Availability Requirements Using Aspect-Oriented Use Case Maps. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Emmanuel Gaudin, Eric Brunel |
Property Verification with MSC. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Levi Lucio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, Maris Jukss |
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Jameleddine Hassine, Abdelwahab Hamou-Lhadj |
Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
53 | Iulian Ober, Ileana Ober (eds.) |
SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers |
SDL Forum |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Surya Bahadur Kathayat, Hien Nam Le, Rolv Bræk |
A Model-Driven Framework for Component-Based Development. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert |
Verifiable Coverage Criteria for Automated Testing. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Jameleddine Hassine, Abdelouahed Gherbi |
Exploring Early Availability Requirements Using Use Case Maps. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Didier Nassiet, Yohan Livet, Marc Palyart, David Lugato |
Paprika: Rapid UI Development of Scientific Dataset Editors for High Performance Computing. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Maxime Perrotin, Eric Conquet, Julien Delange, Andre Schiele, Thanassis Tsiodras |
TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Mohamed Mussa, Ferhat Khendek |
Towards a Model Based Approach for Integration Testing. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen |
Synthesizing Software Models: Generating Train Station Models Automatically. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Thomas Cottenier, Aswin van den Berg, Thomas Weigert |
Separation of Concerns with Transactional Regions. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Urooj Fatima, Rolv Bræk, Humberto Nicolás Castejón Martínez |
Session Initiation as a Service. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Thierry Le Sergent |
SCADE: A Comprehensive Framework for Critical System and Software Engineering. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Antal Wu-Hen-Chang, Gusztáv Adamis, Levente Erös, Gábor Kovács, Tibor Csöndes |
A New Approach in Model-Based Testing: Designing Test Models in TTCN-3. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Dorina C. Petriu |
Model-Based Performance Analysis of Service-Oriented Systems - (Invited Talk). |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Selo Sulistyo, Andreas Prinz 0001 |
PMG-Pro: A Model-Driven Development Method of Service-Based Applications. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Saoussen Anssi, Sébastien Gérard, Stefan Kuntz, François Terrier |
AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel |
MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Franck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Andreas Svendsen, Xiaorui Zhang |
Standardizing Variability - Challenges and Solutions. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Rick Reed, Attila Bilgic, Reinhard Gotzhein (eds.) |
SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Gunter Mussbacher, Daniel Amyot |
Extending the User Requirements Notation with Aspect-Oriented Concepts. |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
Aspect-oriented User Requirements Notation, Aspects, Aspect-oriented Modeling, User Requirements Notation, Aspect-oriented Requirements Engineering, Use Case Maps, Goal-oriented Requirement Language |
53 | Muhammad R. Abid 0001, Daniel Amyot, Stéphane S. Somé, Gunter Mussbacher |
A UML Profile for Goal-Oriented Modeling. |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
Tau G2, Metamodel, UML Profile, User Requirements Notation, Goal-oriented Requirement Language |
53 | Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann |
Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks - An Example. |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Andreas Blunk, Joachim Fischer, Daniel A. Sadilek |
Modelling a Debugger for an Imperative Voice Control Language. |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Akhtar Ali Jalbani, Jens Grabowski, Helmut Neukirchen, Benjamin Zeiss |
Towards an Integrated Quality Assessment and Improvement Approach for UML Models. |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Frank Alexander Kraemer |
Automatic Generation of Compatible Interfaces from Partitioned UML Activities. |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Kevin Marth, Shangping Ren |
The ARC Programming Model. |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Jameleddine Hassine |
Early Schedulability Analysis with Timed Use Case Maps. |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
|
53 | El Arbi Aboussoror, Ileana Ober, Michelle Sibilla |
Towards Model Based Development of Managed Networked Embedded Systems. |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Emmanuel Gaudin, Elie Najm, Rick Reed (eds.) |
SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Guillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener |
Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
APMC, Model checking, probabilistic models, PRISM, Pastry |
53 | Frank Alexander Kraemer, Rolv Bræk, Peter Herrmann |
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Krzysztof Sacha |
Translatable Finite State Time Machine. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Eric Verhulst, Gjalt G. de Jong |
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Jason Kealey, Daniel Amyot |
Enhanced Use Case Map Traversal Semantics. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Edith Werner, Jens Grabowski, Helmut Neukirchen, Nils Röttger, Stephan Waack, Benjamin Zeiss |
TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Thomas Weigert, Frank Weil, Kevin Marth, Paul Baker, Clive Jervis, Paul Dietz, Yexuan Gui, Aswin van den Berg, Kim Fleer, David Nelson, Michael Wells, Brian E. Mastenbrook |
Experiences in Deploying Model-Driven Engineering. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Abdelouahed Gherbi, Ferhat Khendek |
Consistency of UML/SPT Models. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Paul Baker, Clive Jervis |
Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Javier Poncela-González, Juan Gómez-Salvador, Carlos Valero-Roldán, Unai Fernández-Plazaola |
Using TTCN for Radio Conformance Test Systems. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi |
Model Driven Development and Code Generation: An Automotive Case Study. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
formal verification, formal modeling, automatic code generation, Service-Oriented applications, formal validation |
53 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Formal Verification of Use Case Maps with Real Time Extensions. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Andreas Prinz 0001, Rick Reed, Jeanne Reed (eds.) |
SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Humberto Nicolás Castejón Martínez |
Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng |
Consistency Checking of Concurrent Models for Scenario-Based Specifications. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Jacqueline Floch, Rolv Bræk |
A Compositional Approach to Service Validation. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Matteo Pradella, Matteo Rossi 0001, Dino Mandrioli |
A UML-Compatible Formal Language for System Architecture Description. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Daniel Amyot, Jean-François Roy, Michael Weiss 0001 |
UCM-Driven Testing of Web Applications. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Joachim Fischer, Andreas Kunert, Michael Piefel, Markus Scheidgen |
ULF-Ware - An Open Framework for Integrated Tools for ITU-T Languages. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Manuel Koch, Karl Pauls |
An Access Control Language for Dynamic Systems - Model-Driven Development and Verification. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Richard Torbjørn Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot |
Service Discovery and Component Reuse with Semantic Interfaces. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Thomas Baar |
Non-deterministic Constructs in OCL - What Does any() Mean. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
53 | G. Bhaskar Rao, Keerthi Timmaraju, Thomas Weigert |
Network Element Testing Using TTCN-3: Benefits and Comparison. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Christoph Eichner, Hans Fleischhack, Roland Meyer 0001, Ulrik Schrimpf, Christian Stehno |
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Rick Reed, Jeanne Reed (eds.) |
SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings |
SDL Forum |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Peter Graubmann |
MSC Connectors - The Chamber of Secrets. |
SDL Forum |
2003 |
DBLP DOI BibTeX RDF |
Interface Protocol, Message Sequence Chart (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering Abbreviations: BMSC: Basic Message Sequence Chart, MSC: Message Se-quence Chart, LPO: Labeled Partial Ordering, TTCN-3: Test and Test Control Notation Version-3, Component, Interface, Compositionality |
53 | Thomas Weigert, Paul Dietz |
Automated Generation of Marshaling Code from High-Level Specifications. |
SDL Forum |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Dorina C. Petriu, Daniel Amyot, C. Murray Woodside |
Scenario-Based Performance Engineering with UCMNAV. |
SDL Forum |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Tong Zheng 0002, Ferhat Khendek, Benoit Parreaux |
Refining Timed MSCs. |
SDL Forum |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Rick Reed, Jeanne Reed (eds.) |
SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Jens Grabowski, Peter Graubmann, Ekkart Rudolph |
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
53 | J. Larmouth |
ASN.1 Is Reaching Out! |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Nikolai Mansurov, Djenana Campara |
Using Message Sequence Charts to Accelerate Maintenance of Existing Systems. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Paul Baker, Ekkart Rudolph, Ina Schieferdecker |
Graphical Test Specification - The Graphical Format of TTCN-3. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw |
An MSC Based Representation of DiCons. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Bengt Jonsson 0001, Gerardo Padilla |
An Execution Semantics for MSC-2000. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Loïc Hélouët |
Some Pathological Message Sequence Charts, and How to Detect Them. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Andrew Miga, Daniel Amyot, Francis Bordeleau, Donald Cameron, C. Murray Woodside |
Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Nicolae Goga |
Comparing TorX, Autolink, TGV and UIO Test Algorithms. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Rachida Dssouli, Gregor von Bochmann, Yair Lahav (eds.) |
SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
Displaying result #201 - #300 of 872 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|