Search results for "SDL"

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