„Software abstraction“

Suchergebnisse

1.000+ Treffer

• User-Centric Abstraction of Workflow Logic Applied to Software Engineering Processes
  Grambow, Gregor ; Oberhauser, Roy ; Reichert, Manfred 2012 Hochschule Aalen
• Distinguishing extended finite state machine configurations using predicate abstraction
  El-Fakih, Khaled ; Yevtushenko, Nina ; Bozga, Marius ; Bensalem, Saddek
• Requirements Abstraction Model
  Gorschek, Tony ; Wohlin, Claes
• Automated construction of predicate abstractions for smart contract validation
  Godoy, Javier ; Torres, Eden ; Galeotti, Juan P. ; Garbervetsky, Diego ; Uchitel, Sebastian
• Computational efficiency in symbolic optimal control
  Macoveiciuc, Elisei ; Reißig, Gunther ; Moor, Thomas 2024 Universitätsbibliothek der Universität der Bundeswehr München
• Pattern-based abstractions for parallel programs
  Miller, Julian ; Müller, Matthias S. ; Bischof, Christian H. 2023 Universitätsbibliothek der RWTH Aachen
• Efficient software model checking with block-abstraction memoization
  Friedberger, Karlheinz ; Beyer, Dirk 2021 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems
  Märcker, Steffen ; Baier, Christel ; Becker, Bernd 2021 Technische Universität Dresden
• The Future of Concurrency: Zero-Cost Abstractions for Guaranteed Memory Safety
  Saniya 2024 tredition
• Virtuelle Absicherung von Steuergeräte-Software mit hardwareabhängigen Komponenten
  Deicke, Markus ; Hardt, Wolfram ; Reuss, Hans-Christian 2018 Universitätsverlag Chemnitz
• Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
  Weiß, Benjamin ; Schmitt, P. H. 2011 KIT Scientific Publishing
• Raising the abstraction level of hardware software co-designs
  Leys, Richard ; Brüning, Ulrich 2015 Universitätsbibliothek Heidelberg
• Extensible Languages for Flexible and Principled Domain Abstraction
  Erdweg, Sebastian Thore ; Ostermann, Klaus 2013 Philipps-Universität Marburg
• Abstraction refinement techniques for software model checking
  Seghir, Mohamed Nassim
• Trends in Functional Programming – 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
  McCarthy, Jay 2016 Springer International Publishing
• Formal Methods: Foundations and Applications – 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
  Braga, Christiano ; Martí-Oliet, Narciso 2015 Springer International Publishing
• Trends in Functional Programming – 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
  Hage, Jurriaan ; McCarthy, Jay 2015 Springer International Publishing
• Trends in Functional Programming – 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
  2014 Springer Berlin Heidelberg
• Ultimate Taipan with Dynamic Block Encoding – (Competition Contribution)
  Dietsch, Daniel ; Greitschus, Marius ; Heizmann, Matthias ; Hoenicke, Jochen ; Nutz, Alexander ; Podelski, Andreas ; Schilling, Christian ; Schindler, Tanja 2018 KOPS Universität Konstanz
• A note on abstraction in software descriptions
  Ludewig, Jochen 2014 Universitätsbibliothek der Universität Stuttgart