Search Results - software engineering/programming and operating system

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

Contributors: Jarzębowicz, Aleksander, Editor Luković, Ivan, Editor Przybyłek, Adam, Editor et al.

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

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

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-99079

Agile Processes in Software Engineering and Extreme Programming

Contributors: Gregory, Peggy Lassenius, Casper Wang, Xiaofeng et al.

Subject Terms: 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

File Description: application/pdf

Relation: Lecture Notes in Business Information Processing

Access URL: https://library.oapen.org/handle/20.500.12657/49499

Fundamental Approaches to Software Engineering

Contributors: Guerra, Esther Stoelinga, Mariëlle

Subject Terms: 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

File Description: application/pdf

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

Access URL: https://library.oapen.org/handle/20.500.12657/48217

Tools and Algorithms for the Construction and Analysis of Systems

Contributors: Biere, Armin Parker, David

Subject Terms: 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

File Description: application/pdf

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

Access URL: http://library.oapen.org/handle/20.500.12657/37724

AFID: an automated approach to collecting software faults

Authors: Edwards, Alex Tucker, Sean Demsky, Brian

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

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

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/77q0k329
https://escholarship.org/content/qt77q0k329/qt77q0k329.pdf

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

Authors: Demidova A.V. Druzhinina O.V. Masina O.N. et al.

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

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

The Once-Only Principle

Contributors: Krimmer, Robert Prentza, Andriana Mamrot, Szymon

Subject Terms: Computer Applications, Special Purpose and Application-Based Systems, Programming Techniques, Software Engineering/Programming and Operating Systems, Computer Application in Administrative Data Processing, Computer and Information Systems Applications, Software Engineering, access control, communication systems, computer systems, cryptography, databases, Field Programmable Gate Array (FPGA), gateways (computer networks), information systems, internet protocols, network protocols, object-oriented design, object-oriented programming, object-oriented programming languages, signal processing, social networks, software architecture, software design, system architectures, Information technology: general issues, Expert systems / knowledge-based systems, Computer programming / software engineering, Operating systems, Information technology: general topics

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI

Access URL: https://library.oapen.org/handle/20.500.12657/50047

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

Authors: Baddour A. Gambaryan M.M. Gonzalez L. et al.

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

Subject Terms: 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

Authors: Jan Gogoll Alexander Pretschner Niina Zuber et al.

Source: Informatik Spektrum. 44:348-354

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Model-based design: a report from the trenches of the DARPA Urban Challenge

Authors: Sprinkle, Jonathan Eklund, J. Mikael Gonzalez, Humberto et al.

Source: Software & Systems Modeling. 8(4)

Subject Terms: Computer Science, Business Information Systems, Information Systems Applications (incl.Internet), Programming Languages, Compilers, Interpreters, Software Engineering, Programming Techniques, Software Engineering/Programming and Operating Systems

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/7r16g47n
https://escholarship.org/content/qt7r16g47n/qt7r16g47n.pdf

COMPUTER ALGEBRA TOOLS FOR GEOMETRIZATION OF MAXWELL'S EUQATIONS

Authors: Korol’kova A.V. Gevorkyan M.N. Kulyabov D.S. et al.

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

Subject Terms: 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

Authors: Divakov D.V. Tyutyunnik A.A.

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

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

Buzzword ISOBUS

Authors: Samuel Brodie Timo Oksanen Hermann Auernhammer

Source: Informatik Spektrum. 46:46-50

Subject Terms: 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

File Description: application/pdf

Access URL: https://mediatum.ub.tum.de/1763755

Solving PDEs in Python

Authors: Langtangen, Hans Petter Logg, Anders

Subject Terms: Computational Science and Engineering, Algorithms, Visualization, Mathematical Software, Numerical Analysis, Software Engineering/Programming and Operating Systems, Data and Information Visualization, Software Engineering, Finite element, FEniCS, Partial Differential Equations, Python, Simulation, Open access, Maths for scientists, Combinatorics & graph theory, Mathematical & statistical software, Operating systems, Numerical analysis, Combinatorics and graph theory, Mathematical and statistical software

File Description: application/pdf

Relation: Simula SpringerBriefs on Computing

Access URL: https://library.oapen.org/handle/20.500.12657/42898

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences

Contributors: Zhao, Zhiming Hellström, Margareta

Subject Terms: Computer Applications, Environment, general, Special Purpose and Application-Based Systems, Information Systems and Communication Service, Software Engineering/Programming and Operating Systems, Geography, general, Computer and Information Systems Applications, Environmental Sciences, Database Management System, Software Engineering, Geography, cloud computing, cloud providers, cloud services, computer networks, computing resource, data communication systems, databases, distributed computer systems, distributed systems, engineering, grid computing, internet, network protocols, open access, parallel processing systems, signal processing, telecommunication networks, wireless telecommunication systems, Information technology: general issues, The environment, Expert systems / knowledge-based systems, Computer networking & communications, Operating systems, Information technology: general topics, Computer networking and communications

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI

Access URL: https://library.oapen.org/handle/20.500.12657/41292

Digitales Energiemanagement im Milchviehbereich

Authors: Bernhardt, Heinz

Source: Informatik Spektrum. 46:3-7

Subject Terms: 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

File Description: application/pdf

Access URL: https://mediatum.ub.tum.de/1763759

Software testing in the machine learning era

Authors: Stocco, Andrea Shehory, Onn Jahangirova, Gunel et al.

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

File Description: application/pdf

Access URL: https://mediatum.ub.tum.de/1763639

Developing control and integration software for flexible manufacturing systems

Authors: Hadj-Alouane, Nejib Ben Chaar, Jarir K. (Jarir Kamel). Naylor, Arch W. et al.

Contributors: Hadj-Alouane, Nejib Ben Chaar, Jarir K. (Jarir Kamel). Naylor, Arch W. et al.

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

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

File Description: 1657471 bytes; 3115 bytes; application/pdf; text/plain

Access URL: 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

Authors: Alexander Pretschner Tabea Schmidt Florian Hauer

Source: Informatik Spektrum. 44:214-218

Subject Terms: 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

File Description: application/pdf

Access URL: 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 Right to Data Portability: conception, status quo, and future directions

Authors: Kuebler-Wachendorff, Sophie Luzsa, Robert Kranz, Johann et al.

Source: Informatik Spektrum. 44:264-272

Subject Terms: 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

File Description: application/pdf

Access URL: 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