| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum, Omar Ben Omar |
Search-based model transformation by example.  |
Software and System Modeling  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Clark, Jorn Bettin |
Editorial for the theme issue on model-based interoperability. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Romina Eramo, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio |
A model-driven approach to automate the propagation of changes among Architecture Description Languages. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge |
A metamodel for the compact but lossless exchange of execution traces. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Henderson-Sellers |
Standards harmonization: theory and practice. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel |
Modeling and enforcing invariants of dynamic software architectures. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Czarnecki |
Guest editorial to the special issue on MODELS 2008. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lucrédio, Renata Pontin de Mattos Fortes, Jon Whittle |
MOOGLE: a metamodel-based model search engine. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker |
Code generation for a family of executable modelling notations. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler |
The 2011 "State of the Journal" Report - Editorial for the SoSyM Issue 2012/01: Part 2. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert B. France, Bernhard Rumpe |
Data warehouse concepts for model artifacts? |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Steel, Robin Drogemuller, Bianca Toth |
Model interoperability in building information modelling. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arieh Bibliowicz, Dov Dori |
A graph grammar-based formal validation of object-process diagrams. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Biermann, Claudia Ermel, Gabriele Taentzer |
Formal foundation of consistent EMF model transformations by algebraic graph transformation. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid Garousi |
Classification and trend analysis of UML books (1997-2009). |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner |
A benchmark for OCL engine accuracy, determinateness, and efficiency. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Sen, Naouel Moha, Vincent Mahé, Olivier Barais, Benoit Baudry, Jean-Marc Jézéquel |
Reusable model transformations. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Rumpe, Robert B. France |
On the relationship between modeling and programming languages - Editorial for the SoSyM Issue 2012/01: Part 1. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Yie, Rubby Casallas, Dirk Deridder, Dennis Wagelaar |
Realizing Model Transformation Chain interoperability. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Van Gorp, Paul Grefen |
Supporting the internet-based evaluation of research software with cloud infrastructure. |
Software and System Modeling |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuele Zambon, Sandro Etalle, Roel Wieringa, Pieter H. Hartel |
Model-based qualitative risk assessment for availability of IT infrastructures. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener |
Model-driven generative development of measurement software. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Maoz, David Harel |
On tracing reactive systems. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró |
Non-functional properties in the model-driven development of service-oriented systems. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bocciarelli, Andrea D'Ambrogio |
A model-driven method for describing and predicting the reliability of composite services. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Zoughbi, Lionel C. Briand, Yvan Labiche |
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunja Choi, Christian Bunse |
Design verification in model-based μ-controller development using an abstract component. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Höfner, Ridha Khédri, Bernhard Möller |
An algebra of product families. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christiano Braga |
A transformation contract to generate aspects from access control policies. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
Formalizing requirements with object models and temporal constraints. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Micskei, Hélène Waeselynck |
The many meanings of UML 2 Sequence Diagrams: a survey. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenro Yatake, Takuya Katayama |
An executable object-oriented semantics and its application to firewall verification. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Rumpe, Robert B. France |
Linking models and their storage artifacts. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Huy Tran, Uwe Zdun, Schahram Dustdar |
VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Sassolas, Marsha Chechik, Sebastián Uchitel |
Exploring inconsistencies between modal transition systems. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke |
Büchi automata for modeling component connectors. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashalatha Nayak, Debasis Samanta |
Synthesis of test scenarios using UML activity diagrams. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arda Goknil, Ivan Kurtev, Klaas van den Berg, Jan-Willem Veldhuis |
Semantics of trace relations in requirements models for consistency checking and inferencing. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiping Zha, Wil M. P. van der Aalst, Jianmin Wang 0001, Lijie Wen, Jiaguang Sun |
Verifying workflow processes: a transformation-based approach. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Nikolaos Drivalos, Dimitrios S. Kolovos, Kiran Jude Fernandes, Christopher Power, Gøran K. Olsen, Steffen Zschaler |
Rigorous identification and encoding of trace-links in model-driven engineering. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shareeful Islam, Haralambos Mouratidis, Jan Jürjens |
A framework to support alignment of secure software engineering with legal regulations. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, José Merseguer, Dorina C. Petriu |
A dependability profile within MARTE. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Rumpe, Robert B. France |
Variability in UML language and semantics. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Peña, Christopher A. Rouff, Mike Hinchey, Antonio Ruiz Cortés |
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cerone, Stefan Gruner |
Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz |
Guest editorial to the theme issue on non-functional system properties in domain specific modeling languages. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, María Victoria Cengarle |
UML formal semantics: lessons learned. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Spoto |
Precise null-pointer analysis. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons |
Testing timed systems modeled by Stream X-machines. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec |
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Attar, James Miller |
Improving the quality of use case models using antipatterns. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Freeman, Don S. Batory, R. Greg Lavender, Jacob Neal Sarvela |
Lifting transformational models of product lines: a case study. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wahler, David A. Basin, Achim D. Brucker, Jana Koehler |
Efficient analysis of pattern-based constraint specifications. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel Greenyer, Ekkart Kindler |
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
Query/View/Transformation (QVT), MDA, Model transformation, Triple Graph Grammar (TGG), Model-based software engineering |
| 1 | Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara |
A UML/OCL framework for the analysis of graph transformation rules. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Seibel, Stefan Neumann, Holger Giese |
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Offutt, Ye Wu |
Modeling presentation layers of web applications for testing. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Stevens |
Bidirectional model transformations in QVT: semantic issues and open questions. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
Bidirectional model transformation, Semantics, Model-driven development, QVT |
| 1 | Zef Hemel, Lennart C. L. Kats, Danny M. Groenewegen, Eelco Visser |
Code generation by model transformation: a case study in transformation modularity. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid Garousi |
Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
Behavioral dependency analysis, Message weights, Distributed systems, UML, Metrics, Dependability, Model-driven development |
| 1 | Steffen Zschaler |
Formal specification of non-functional properties of component-based software systems. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, André Sousa |
A model-driven traceability framework for software product lines. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Vladimir Rubin, H. M. W. Verbeek, Boudewijn F. van Dongen, Ekkart Kindler, Christian W. Günther |
Process mining: a two-step approach to balance between underfitting and overfitting. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray |
On challenges of model transformation from UML to Alloy. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Theo Dirk Meijler, Jan Pettersen Nytun, Andreas Prinz, Hans Wortmann |
Supporting fine-grained generative model-driven evolution. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Kurtev |
Application of reflection in a model transformation language. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Schwarz, Jürgen Ebert, Andreas Winter |
Graph-based traceability: a comprehensive approach. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert B. France, Bernhard Rumpe |
Modeling for the cloud. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | István Ráth, András Ökrös, Dániel Varró |
Synchronization of abstract and concrete syntax in domain-specific modeling languages - By mapping models and live transformations. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert B. France, Bernhard Rumpe |
The 8th Annual State of SoSyM Report. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Engels |
Guest Editorial to the Special Section on MODELS 2007. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Wagelaar, Ragnhild Van Der Straeten, Dirk Deridder |
Module superimposition: a composition technique for rule-based model transformation languages. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle |
Extending interaction overview diagrams with activity diagram constructs. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Winkler, Jens von Pilgrim |
A survey of traceability in requirements engineering and model-driven development. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manoli Albert, Jordi Cabot, Cristina Gómez, Vicente Pelechano |
Automatic generation of basic behavior schemas from UML class diagrams. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
Behavior schema, Structural event, UML, OCL, Operation, Class diagram |
| 1 | Richard F. Paige, Gøran K. Olsen, Jon Oldevik, Tor Neple |
Guest editorial to the theme issue on traceability in model-driven engineering. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Gray, Alfonso Pierantonio, Antonio Vallecillo |
Guest editorial to the special section on model transformation. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert B. France |
Why Johnny can't model. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amel Mammar |
A systematic approach to generate B preconditions: application to the database domain. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
B operations, Formal specification, Invariant, Integrity constraints, Precondition |
| 1 | Stéphane Ducasse, Tudor Gîrba, Adrian Kuhn, Lukas Renggli |
Meta-environment and executable meta-language using smalltalk: an experience report. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Meta behavior description, Reflective language, Executable modeling language, Smalltalk |
| 1 | Piotr Kosiuczenko |
Redesign of UML class diagrams: a formal approach. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
UML, Formal methods, Refactoring, OCL, Requirements tracing |
| 1 | Fredrik Seehusen, Bjørnar Solhaug, Ketil Stølen |
Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ethan K. Jackson, Janos Sztipanovits |
Formalizing the structural semantics of domain-specific modeling languages. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Structural semantics, Metamodeling, Model-based Design, Formal logic, Domain-specific modeling languages, Horn logic |
| 1 | Bernd Mahr |
Information science and the logic of models. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon |
Qualifying input test data for model transformations. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Test qualification, Software testing, Model transformation, Metamodelling, Model-based testing, Test criteria |
| 1 | Okan Topçu, Mehmet Adak, Halit Oguztüzün |
Metamodeling live sequence charts for code generation. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Code generation, Metamodeling, Message sequence charts, Live sequence charts |
| 1 | Zoltan Balogh, Dániel Varró |
Model transformation by example using inductive logic programming. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
By-example synthesis, Model transformation, Inductive logic programming |
| 1 | Nien-Lin Hsueh, Jong-Yih Kuo, Ching-Chiuan Lin |
Object-oriented design: A goal-driven and pattern-based approach. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Goal-driven requirement engineering, Design pattern, Software quality, Object-oriented design |
| 1 | Marcos Didonet Del Fabro, Patrick Valduriez |
Towards the efficient development of model transformations using model weaving and matching transformations. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Matching transformations, Model engineering, Model weaving |
| 1 | Timo Asikainen, Tomi Männistö |
Nivel: a metamodelling language with a formal semantics. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Nivel, Weight constraint rules, Conceptual modelling, Metamodelling, Formal semantics |
| 1 | Marcello La Rosa, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede |
Questionnaire-based variability modeling for system configuration. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Questionnaire, Variability modeling, System configuration, Software product family |
| 1 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Use Case Maps as a property specification language. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Temporal and architectural scope, Formal verification, Temporal logic, Use Case Maps, Property specification |
| 1 | Jonathan Sprinkle, J. Mikael Eklund, Humberto González, Esten Ingar Grøtli, Ben Upcroft, Alexei Makarenko, Will Uther, Michael Moser, Robert Fitch, Hugh F. Durrant-Whyte, Shankar Sastry |
Model-based design: a report from the trenches of the DARPA Urban Challenge. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Gervais, Marc Frappier, Régine Laleau |
Generating relational database transactions from eb3 attribute definitions. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
SELECT statements, Information systems, Pattern matching, Transactions, Attributes |
| 1 | Karsten Ehrig, Jochen Malte Küster, Gabriele Taentzer |
Generating instance models from meta models. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Instance generation, UML, Meta model, Graph grammar |
| 1 | Jesús Sánchez Cuadrado, Jesús García Molina |
Modularization of model transformations through a phasing mechanism. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Phasing mechanism, Internal transformation composition, Modularity, Model transformation, Transformation languages |
| 1 | Kevin Lano |
A compositional semantics of UML-RSDS. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
UML semantics, UML-RSDS, Model transformations |
| 1 | Thomas Kühne |
Editorial to the theme issue on metamodelling. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Bézivin, Alfonso Pierantonio, Antonio Vallecillo, Jeff Gray |
Guest editorial to the special section on model transformation. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert B. France, Bernhard Rumpe, Martin Schindler |
SoSyM at 7 years. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")