Výsledky vyhledávání - Software Engineering/Programming and Operating Systems~

DEVELOPMENT OF ALGORITHMS AND SOFTWARE FOR MODELING CONTROLLED DYMAMIC SYSTEMS USING SYMBOLIC COMPUTATIONS AND STOCHASTIC METHODS

Autoři: Demidova A.V. Druzhinina O.V. Masina O.N. a další

Zdroj: Программирование. :54-68

Témata: operating systems, computer Science, general, artificial intelligence, Software Engineering/Programming and Operating Systems, software engineering

On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems

Autoři: Baddour A. Gambaryan M.M. Gonzalez L. a další

Zdroj: Программирование. :47-58

Témata: operating systems, computer Science, general, 0101 mathematics, artificial intelligence, 01 natural sciences, Software Engineering/Programming and Operating Systems, software engineering

Ethik in der agilen Software-Entwicklung

Autoři: Jan Gogoll Alexander Pretschner Niina Zuber a další

Zdroj: Informatik Spektrum. 44:348-354

Témata: Hauptbeitrag, Computer Science, general, Computer Hardware, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, ddc

Popis souboru: application/pdf

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007/s00287-021-01390-8.pdf
https://link.springer.com/content/pdf/10.1007/s00287-021-01390-8.pdf
https://dblp.uni-trier.de/db/journals/insk/insk44.html#PretschnerZGKN21
https://link.springer.com/article/10.1007/s00287-021-01390-8
https://mediatum.ub.tum.de/doc/1705067/document.pdf

Software, System, and Service Engineering: S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17–20 September 2023, Revised Selected Papers

Přispěvatelé: Jarzębowicz, Aleksander, Editor Luković, Ivan, Editor Przybyłek, Adam, Editor a další

Zdroj: NODLA Non-Technical Debt in Large-Scale Agile Software Development KK-foundation Software, System, and Service Engineering.

Témata: Software Engineering/Programming and Operating Systems, Professional Computing, Programming Techniques, Computer Science, Datavetenskap

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-99079

COMPUTER ALGEBRA TOOLS FOR GEOMETRIZATION OF MAXWELL'S EUQATIONS

Autoři: Korol’kova A.V. Gevorkyan M.N. Kulyabov D.S. a další

Zdroj: Программирование. :33-38

Témata: operating systems, computer Science, general, artificial intelligence, Software Engineering/Programming and Operating Systems, software engineering

SYMBOLIC-NUMERICAL IMPLEMENTATION OF THE GALERKIN METHOD FOR APPROXIMATE SOLUTION OF THE WAVEGUIDE DIFFRACTION PROBLEM

Autoři: Divakov D.V. Tyutyunnik A.A.

Zdroj: Программирование. :46-53

Témata: operating systems, computer Science, general, artificial intelligence, Software Engineering/Programming and Operating Systems, software engineering

Buzzword ISOBUS

Autoři: Samuel Brodie Timo Oksanen Hermann Auernhammer

Zdroj: Informatik Spektrum. 46:46-50

Témata: 0106 biological sciences, Aktuelles Schlagwort, Computer Science, general, Computer Hardware, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, 0401 agriculture, forestry, and fisheries, 04 agricultural and veterinary sciences, 01 natural sciences, ddc

Popis souboru: application/pdf

Přístupová URL adresa: https://mediatum.ub.tum.de/1763755

Digitales Energiemanagement im Milchviehbereich

Autoři: Bernhardt, Heinz

Zdroj: Informatik Spektrum. 46:3-7

Témata: Hauptbeitrag, Computer Science, general, Computer Hardware, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, ddc

Popis souboru: application/pdf

Přístupová URL adresa: https://mediatum.ub.tum.de/1763759

Software testing in the machine learning era

Autoři: Stocco, Andrea Shehory, Onn Jahangirova, Gunel a další

Témata: Article, Special Issue on Software Testing in the Machine Learning Era, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, ddc

Popis souboru: application/pdf

Přístupová URL adresa: https://mediatum.ub.tum.de/1763639

Agile Processes in Software Engineering and Extreme Programming

Přispěvatelé: Gregory, Peggy Lassenius, Casper Wang, Xiaofeng a další

Témata: Software Engineering/Programming and Operating Systems, IT in Business, Management of Computing and Information Systems, Software Engineering, IT Operations, Agile software development, Software creation and management, Scrum, Lean software development, Process management, open access, Test-driven development, Project and people management, Software development techniques, Risk management, Operating systems, Business mathematics & systems, Business applications, Information architecture, Maintenance & repairs, Business mathematics and systems

Popis souboru: application/pdf

Relation: Lecture Notes in Business Information Processing

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/49499

Fundamental Approaches to Software Engineering

Přispěvatelé: Guerra, Esther Stoelinga, Mariëlle

Témata: Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Natural Language Processing (NLP), Programming Techniques, Theory of Computation, Software Engineering, architecture verification and validation, artificial intelligence, embedded systems, empirical software validation, formal logic, formal methods, model checking, model-driven software engineering, object-oriented programming, parallel processing systems, program analysis, program compilers, signal processing, software architecture, software performance, software selection and adaptation, software testing and debugging, telecommunication systems, verification, Operating systems, Algorithms & data structures, Information theory, Natural language & machine translation, Computer programming / software engineering, Computer science, Mathematical theory of computation, Artificial intelligence

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48217

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Biere, Armin Parker, David

Témata: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Software Engineering, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation, Maths for computer scientists, Systems analysis and design, Algorithms and data structures

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37724

AFID: an automated approach to collecting software faults

Autoři: Edwards, Alex Tucker, Sean Demsky, Brian

Zdroj: Automated Software Engineering: An International Journal. 17(3)

Témata: Computer Science, Software Engineering/Programming and Operating Systems, Artificial Intelligence (incl. Robotics), Fault collection

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/77q0k329
https://escholarship.org/content/qt77q0k329/qt77q0k329.pdf

Developing control and integration software for flexible manufacturing systems

Autoři: Hadj-Alouane, Nejib Ben Chaar, Jarir K. (Jarir Kamel). Naylor, Arch W. a další

Přispěvatelé: Hadj-Alouane, Nejib Ben Chaar, Jarir K. (Jarir Kamel). Naylor, Arch W. a další

Zdroj: Journal of Systems Integration. 1:7-34

Témata: Automation, Philosophy, Humanities, Engineering, Models, Computer-integrated Manufacturing Systems, Computer Science, Software Engineering/Programming and Operating Systems, Software Components

Popis souboru: 1657471 bytes; 3115 bytes; application/pdf; text/plain

Přístupová URL adresa: http://deepblue.lib.umich.edu/bitstream/2027.42/43095/1/10952_2005_Article_BF02265064.pdf

Tests für automatisierte und autonome Fahrsysteme: Wiederverwendung aufgezeichneter Fahrten ist nicht zu rechtfertigen

Autoři: Alexander Pretschner Tabea Schmidt Florian Hauer

Zdroj: Informatik Spektrum. 44:214-218

Témata: 0502 economics and business, 05 social sciences, Hauptbeitrag, Computer Science, general, Computer Hardware, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, ddc

Popis souboru: application/pdf

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007/s00287-021-01364-w.pdf
https://link.springer.com/article/10.1007%2Fs00287-021-01364-w
https://dblp.uni-trier.de/db/journals/insk/insk44.html#PretschnerHS21
https://link.springer.com/content/pdf/10.1007/s00287-021-01364-w.pdf
https://mediatum.ub.tum.de/1705070

The sum of its parts. Analysis of federated byzantine agreement systems

Autoři: Florian, Martin Henningsen, Sebastian Ndolo, Charmaine a další

Témata: Computer Communication Networks, Computer Hardware, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Theory of Computation, 004 Informatik

Popis souboru: application/pdf

Dostupnost: https://www.weizenbaum-library.de/handle/id/227
https://doi.org/10.1007/s00446-022-00430-0

The Right to Data Portability: conception, status quo, and future directions

Autoři: Kuebler-Wachendorff, Sophie Luzsa, Robert Kranz, Johann a další

Zdroj: Informatik Spektrum. 44:264-272

Témata: 0502 economics and business, 05 social sciences, Hauptbeitrag, Computer Science, general, Computer Hardware, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, ddc

Popis souboru: application/pdf

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007/s00287-021-01372-w.pdf
https://link.springer.com/content/pdf/10.1007/s00287-021-01372-w.pdf
https://link.springer.com/10.1007/s00287-021-01372-w
https://link.springer.com/article/10.1007/s00287-021-01372-w
https://dblp.uni-trier.de/db/journals/insk/insk44.html#Kuebler-Wachendorff21
https://doi.org/10.1007/s00287-021-01372-w
https://epub.ub.uni-muenchen.de/90996/
https://mediatum.ub.tum.de/doc/1705068/document.pdf

Ökonomische Analyse dreier technischer Anlagen hinsichtlich deren Eignung für Predictive Maintenance: Eine multiple Fallstudie am Flughafen München

Autoři: Sebastian Floerecke Julian Rott Markus Böhm a další

Zdroj: Informatik Spektrum. 44:201-213

Témata: 0209 industrial biotechnology, Hauptbeitrag, Computer Science, general, Computer Hardware, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, 0211 other engineering and technologies, 02 engineering and technology, ddc

Popis souboru: application/pdf

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007/s00287-021-01363-x.pdf
https://link.springer.com/content/pdf/10.1007/s00287-021-01363-x.pdf
https://dblp.uni-trier.de/db/journals/insk/insk44.html#RottFEHBK21
https://link.springer.com/article/10.1007/s00287-021-01363-x
https://mediatum.ub.tum.de/doc/1705069/document.pdf

Innovative Intelligent Industrial Production and Logistics: First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers

Autoři: Smirnov, Alexander Panetto, Hervé Madani, Kurosh

Přispěvatelé: Smirnov, Alexander Panetto, Hervé Madani, Kurosh

Zdroj: Communications in Computer and Information Science ISBN: 9783031372278

Témata: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Computer Systems Organization and Communication Networks, [SPI] Engineering Sciences [physics], Operating Systems, [INFO.INFO-ET] Computer Science [cs]/Emerging Technologies [cs.ET], [INFO] Computer Science [cs], Computer Applications, Software Engineering/Programming and Operating Systems, Data Structures and Information Theory

Přístupová URL adresa: https://hal.science/hal-04190223v1
https://doi.org/10.1007/978-3-031-37228-5

Center for Code Excellence Trends – Eine Plattform für Trends in Softwaretechnologien

Autoři: Alexander Pretschner Johannes Kroß Peter Bludau

Zdroj: Informatik Spektrum. 43:417-424

Témata: 05 social sciences, Hauptbeitrag, Computer Science, general, Computer Hardware, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, 02 engineering and technology, ddc

Popis souboru: application/pdf

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007/s00287-020-01287-y.pdf
https://link.springer.com/content/pdf/10.1007/s00287-020-01287-y.pdf
https://dl.gi.de/handle/20.500.12116/34602
https://link.springer.com/article/10.1007/s00287-020-01287-y
https://doi.org/10.1007/s00287-020-01287-y
https://mediatum.ub.tum.de/1712045