„Model-based software engineering“

Suchergebnisse

1.427 Treffer

• Complementary test selection criteria for model-based testing of security components
  Botella, Julien ; Capuron, Jean-François ; Dadeau, Frédéric ; Fourneret, Elizabeta ; Legeard, Bruno ; Schadle, Florence
• Introduction to the special issue on autonomous agents for agent-based modeling
  Dignum, Virginia ; Gilbert, G. Nigel ; Wellman, Michael P.
• F-Alloy: a relational model transformation language based on Alloy
  Gammaitoni, Loïc ; Kelsen, Pierre
• Temporal property patterns for model-based testing from UML/OCL
  Dadeau, Frédéric ; Fourneret, Elizabeta ; Bouchelaghem, Abir
• On the impact of state-based model-driven development on maintainability: a family of experiments using UniMod
  Ricca, Filippo ; Torchiano, Marco ; Leotta, Maurizio ; Tiso, Alessandro ; Guerrini, Giovanna ; Reggio, Gianna
• Load modelling and generation in IP-based networks – a unified approach and tool support
  Kolesnikov, Andrey 2017 Springer Vieweg
• Model clone detection for rule-based model transformation languages
  Strüber, Daniel ; Acreţoaie, Vlad ; Plöger, Jennifer
• Fundamental approaches to software engineering – 17th international conference ; proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer
• Uncertain Rule-Based Fuzzy Systems – Introduction and New Directions, 2nd Edition
  Mendel, Jerry M. 2017 Springer International Publishing
• HMS - a component-based hydroinformatics modelling system for flexible model coupling and integration
  Busse, Tobias 2017 Shaker Verlag
• Information Science and Applications 2017 – ICISA 2017
  Kim, Kuinam ; Joukov, Nikolai 2017 Springer Singapore
• A system-theoretic safety engineering approach for software-intensive systems
  Abdulkhaleq, Asim 2017 Cuvillier Verlag
• Perspectives on the Future of Software Engineering – Essays in Honor of Dieter Rombach
  Münch, Jürgen ; Rombach, Hans Dieter ; Schmid, Klaus 2013 Springer Berlin Heidelberg
• Product-focused software process improvement – 14th international conference ; proceedings
  Heidrich, Jens ; Oivo, Markku ; Jedlitschka, Andreas ; Baldassarre, Maria Teresa 2013 Springer
• Safe and secure software reuse – proceedings
  Favaro, John ; Morisio, Maurizio 2013 Springer
• Perspectives on the future of software engineering – essays in honor of Dieter Rombach
  Münch, Jürgen ; Rombach, Hans Dieter ; Schmid, Klaus 2013 Springer
• Advanced Model-Based Engineering of Embedded Systems – Extensions of the SPES 2020 Methodology
  Pohl, Klaus ; Broy, Manfred ; Daembkes, Heinrich ; Hönninger, Harald 2016 Springer International Publishing
• Soft Computing Techniques in Software Engineering – Neural and Fuzzy Based Approach for Software Development Models
  Sangwan, Om Prakash ; Singh, Yogesh 2012 LAP LAMBERT Academic Publishing
• Model-based Software Engineering for an Optical Navigation System for Spacecraft
  Franz, T. ; Lüdtke, D. ; Maibaum, O. ; Gerndt, A. 2016 Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V.
• Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes
  Adão, Telmo ; Magalhães, Luís ; Peres, Emanuel 2016 Springer Singapore