Výsledky vyhľadávania - Software Engineering/Programming and Operating Systems.

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

Autori: Demidova A.V. Druzhinina O.V. Masina O.N. a ďalší

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

Predmety: 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

Autori: Baddour A. Gambaryan M.M. Gonzalez L. a ďalší

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

Predmety: 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

Autori: Jan Gogoll Alexander Pretschner Niina Zuber a ďalší

Zdroj: Informatik Spektrum. 44:348-354

Predmety: 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 súboru: application/pdf

Prí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

Prispievatelia: Jarzębowicz, Aleksander, Editor Luković, Ivan, Editor Przybyłek, Adam, Editor a ďalší

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

Predmety: Software Engineering/Programming and Operating Systems, Professional Computing, Programming Techniques, Computer Science, Datavetenskap

Popis súboru: print

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

COMPUTER ALGEBRA TOOLS FOR GEOMETRIZATION OF MAXWELL'S EUQATIONS

Autori: Korol’kova A.V. Gevorkyan M.N. Kulyabov D.S. a ďalší

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

Predmety: 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

Autori: Divakov D.V. Tyutyunnik A.A.

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

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

Buzzword ISOBUS

Autori: Samuel Brodie Timo Oksanen Hermann Auernhammer

Zdroj: Informatik Spektrum. 46:46-50

Predmety: 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 súboru: application/pdf

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

Digitales Energiemanagement im Milchviehbereich

Autori: Bernhardt, Heinz

Zdroj: Informatik Spektrum. 46:3-7

Predmety: 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 súboru: application/pdf

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

Software testing in the machine learning era

Autori: Stocco, Andrea Shehory, Onn Jahangirova, Gunel a ďalší

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

Popis súboru: application/pdf

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

Agile Processes in Software Engineering and Extreme Programming

Prispievatelia: Gregory, Peggy Lassenius, Casper Wang, Xiaofeng a ďalší

Predmety: 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 súboru: application/pdf

Relation: Lecture Notes in Business Information Processing

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

Fundamental Approaches to Software Engineering

Prispievatelia: Guerra, Esther Stoelinga, Mariëlle

Predmety: 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 súboru: application/pdf

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

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

Tools and Algorithms for the Construction and Analysis of Systems

Prispievatelia: Biere, Armin Parker, David

Predmety: 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 súboru: application/pdf

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

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

AFID: an automated approach to collecting software faults

Autori: Edwards, Alex Tucker, Sean Demsky, Brian

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

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

Popis súboru: application/pdf

Prí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

Autori: Hadj-Alouane, Nejib Ben Chaar, Jarir K. (Jarir Kamel). Naylor, Arch W. a ďalší

Prispievatelia: Hadj-Alouane, Nejib Ben Chaar, Jarir K. (Jarir Kamel). Naylor, Arch W. a ďalší

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

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

Popis súboru: 1657471 bytes; 3115 bytes; application/pdf; text/plain

Prí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

Autori: Alexander Pretschner Tabea Schmidt Florian Hauer

Zdroj: Informatik Spektrum. 44:214-218

Predmety: 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 súboru: application/pdf

Prí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

Autori: Florian, Martin Henningsen, Sebastian Ndolo, Charmaine a ďalší

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

Popis súboru: application/pdf

Dostupnosť: 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

Autori: Kuebler-Wachendorff, Sophie Luzsa, Robert Kranz, Johann a ďalší

Zdroj: Informatik Spektrum. 44:264-272

Predmety: 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 súboru: application/pdf

Prí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

Autori: Sebastian Floerecke Julian Rott Markus Böhm a ďalší

Zdroj: Informatik Spektrum. 44:201-213

Predmety: 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 súboru: application/pdf

Prí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

Autori: Smirnov, Alexander Panetto, Hervé Madani, Kurosh

Prispievatelia: Smirnov, Alexander Panetto, Hervé Madani, Kurosh

Zdroj: Communications in Computer and Information Science ISBN: 9783031372278

Predmety: [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

Prí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

Autori: Alexander Pretschner Johannes Kroß Peter Bludau

Zdroj: Informatik Spektrum. 43:417-424

Predmety: 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 súboru: application/pdf

Prí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