„Programming Techniques.“

Suchergebnisse

2.563 Treffer

• Formal methods in the scope of the Software and Systems Modeling journal
  Chechik, Marsha ; Combemale, Benoit ; Gray, Jeff ; Rumpe, Bernhard
• Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness
  Ramadan, Qusai ; Konersmann, Marco ; Ahmadian, Amirshayan ; Jürjens, Jan ; Staab, Steffen
• On building location aware applications using an open platform based on the NEXUS Augmented World Model
  Nicklas, Daniela ; Mitschang, Bernhard
• Thirteen years of SysML: a systematic mapping study
  Sint, Sabine ; Mazak, Alexandra ; Carpella, Christine ; Geist, Verena ; Wimmer, Manuel
• Power measurement techniques for energy-efficient computing: reconciling scalability, resolution, and accuracy
  Ilsche, Thomas ; Schöne, Robert ; Schuchart, Joseph ; Hackenberg, Daniel ; Simon, Marc ; Georgiou, Yiannis ; Nagel, Wolfgang E.
• Gamifying model-based engineering: the PapyGame experience
  Bucchiarone, Antonio ; Savary-Leblanc, Maxime ; Pallec, Xavier Le ; Cicchetti, Antonio ; Gérard, Sébastien ; Bassanelli, Simone ; Gini, Federica ; Marconi, Annapaola
• Domain object hierarchies inducing multi-level models
  Neumayr, Bernd ; Schrefl, Michael
• Toward a framework for self-adaptive workflows in cyber-physical systems
  Seiger, Ronny ; Huber, Steffen ; Heisig, Peter ; Aßmann, Uwe
• An integrated multi-level modeling approach for industrial-scale data interoperability
  Igamberdiev, Muzaffar ; Grossmann, Georg ; Selway, Matt ; Stumptner, Markus
• Integer programming techniques for the nurse rostering problem
  Santos, Haroldo Gambini ; Toffolo, Túlio A. M. ; Gomes, Rafael A. M. ; Ribas, Sabir
• Optimizing a General Optimal Replacement Model by Fractional Programming Techniques
  Barros, A. I. ; Dekker, R. ; Frenk, Johannes G. ; van Weeren, S.
• Transfer learning in constructive induction with Genetic Programming
  Muñoz, Luis ; Trujillo, Leonardo ; Silva, Sara
• Nachhaltiges Software-Engineering – Wie Softwareentwicklung Investitionen und Zukunft sichert
  Wagenpfeil, Stefan 2026 Springer Vieweg
• Correlating contexts and NFR conflicts from event logs
  Roy, Mandira ; Das, Souvick ; Deb, Novarun ; Cortesi, Agostino ; Chaki, Rituparna ; Chaki, Nabendu
• DALEC: a framework for the systematic evaluation of data-centric approaches to process management software
  Steinau, Sebastian ; Marrella, Andrea ; Andrews, Kevin ; Leotta, Francesco ; Mecella, Massimo ; Reichert, Manfred
• View-based model-driven software development with ModelJoin
  Burger, Erik ; Henss, Jörg ; Küster, Martin ; Kruse, Steffen ; Happe, Lucia
• Mathematical Optimization of Water Networks
  Martin, Alexander ; Klamroth, Kathrin ; Lang, Jens ; Leugering, Günter ; Morsi, Antonio ; Oberlack, Martin ; Ostrowski, Manfred ; Rosen, Roland 2012 Springer Basel
• Theme section on modeling and sustainability
  David, Istvan ; Barišić, Ankica ; Bork, Dominik
• Hybrid co-simulation: it’s about time
  Cremona, Fabio ; Lohstroh, Marten ; Broman, David ; Lee, Edward A. ; Masin, Michael ; Tripakis, Stavros
• PLC Programming In Instruction List According To IEC 61131-3 – A Systematic And Action-Oriented Introduction In Structured Programming
  Adam, Hans-Joachim ; Adam, Mathias 2022 Springer Berlin Heidelberg