Suchergebnisse - Software and electrical engineering Software notations and tools Compilers Preprocessors

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Autoren: Heike Wehrheim Jordi Cabot

Resource Type: eBook.

Schlagworte: Software engineering--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

Fundamental Approaches to Software Engineering

Autoren: Einar Broch Johnsen Manuel Wimmer

Resource Type: eBook.

Schlagworte: Computer systems, Software engineering--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Fundamental Approaches to Software Engineering : 28th International Conference, FASE 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Autoren: Artur Boronat Gordon Fraser

Resource Type: eBook.

Schlagworte: Software engineering--Congresses, Operating systems (Computers)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoren: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Schlagworte: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autoren: Alessandra Russo Andy Schürr

Resource Type: eBook.

Schlagworte: Software engineering, Programming languages (Electronic computers), Computer science, Computer organization, Computers

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Autoren: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Schlagworte: Artificial intelligence, Computer system performance, Software engineering, Logic design, Computer science, Computer industry, Electronic data processing

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General

Tools and Algorithms for the Construction and Analysis of Systems

Autoren: Dana Fisman Grigore Rosu

Resource Type: eBook.

Schlagworte: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems

Autoren: Dirk Beyer Marieke Huisman

Resource Type: eBook.

Schlagworte: Data structures (Computer science), Computer logic, Computers, Computer science, Computer system failures, Software engineering, Electronic data processing, Electronic digital computers

Categories: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General

Tools and Algorithms for the Construction and Analysis of Systems

Autoren: Dirk Beyer Marieke Huisman Fabrice Kordon et al.

Resource Type: eBook.

Schlagworte: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation

The Essence of Software Engineering

Autoren: Volker Gruhn Rüdiger Striemer

Resource Type: eBook.

Schlagworte: Management information systems, Computer science, Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / Project Management

Software for Exascale Computing - SPPEXA 2016-2019

Autoren: Hans-Joachim Bungartz Severin Reiz Benjamin Uekermann et al.

Resource Type: eBook.

Schlagworte: Computer science

Categories: COMPUTERS / Computer Simulation, COMPUTERS / Computer Science, COMPUTERS / Data Transmission Systems / Electronic Data Interchange, COMPUTERS / Hardware / General, MATHEMATICS / Applied, SCIENCE / Physics / Mathematical & Computational, TECHNOLOGY & ENGINEERING / Engineering (General)

Managed Software Evolution

Autoren: Ralf Reussner Michael Goedicke Wilhelm Hasselbring et al.

Resource Type: eBook.

Schlagworte: Computer software--Development

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / Project Management

SPIRAL: Extreme Performance Portability.

Autoren: Franchetti, Franz Low, Tze Meng Popovici, Doru Thom et al.

Quelle: Proceedings of the IEEE; Nov2018, Vol. 106 Issue 11, p1935-1968, 34p

Schlagwörter: OL/2 (Computer program language), ELECTRICAL engineering, MACHINE learning, SPIRAL galaxies, CLOUD computing

RbG: A documentation generator for scientific and engineering software.

Autoren: Moser, Michael Pichler, Josef Fleck, Gunther et al.

Quelle: 2015 IEEE 22nd International Conference on Software Analysis, Evolution & Reengineering (SANER); 2015, p464-468, 5p

A Survey of Software Dynamic Analysis Methods.

Autoren: Kuliamin, V. V.

Quelle: Programming & Computer Software; Feb2024, Vol. 50 Issue 1, p90-114, 25p

Schlagwörter: COMPUTER software security, SYSTEMS software, COMPUTER software, SOFTWARE development tools, PROBLEM solving, SOFTWARE verification

Lessons learned from developing mbeddr: a case study in language engineering with MPS.

Autoren: Voelter, Markus Kolb, Bernd Szabó, Tamás et al.

Quelle: Software & Systems Modeling; Feb2019, Vol. 18 Issue 1, p585-630, 46p

Schlagwörter: PROGRAMMING languages, COMPUTATIONAL complexity, COMPUTER software development, SCALABILITY, TASK performance

Behavioural Types : From Theory to Tools

Autoren: Simon Gay António Ravara

Resource Type: eBook.

Schlagworte: QA76.7

Categories: COMPUTERS / Software Development & Engineering / General, SCIENCE / Energy

A Study of Variability Models and Languages in the Systems Software Domain.

Autoren: Berger, Thorsten She, Steven Lotufo, Rafael et al.

Quelle: IEEE Transactions on Software Engineering; Dec2013, Vol. 39 Issue 12, p1611-1640, 30p

Schlagwörter: SYSTEMS software, COMPUTER software research, COMPILERS (Computer programs), SOFTWARE engineering, ENGINEERING

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Autoren: André Platzer Kristin Yvonne Rozier Matteo Pradella et al.

Resource Type: eBook.

Schlagworte: Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Ring: A Lightweight and Versatile Cross-Platform Dynamic Programming Language Developed Using Visual Programming.

Autoren: Fayed, Mahmoud Samir Alohali, Yousef A.

Quelle: Electronics (2079-9292); Dec2024, Vol. 13 Issue 23, p4627, 39p

Schlagwörter: VISUAL programming languages (Computer science), PROGRAMMING languages, VIRTUAL machine systems, OBJECT-oriented programming, TECHNOLOGICAL innovations, MICROCONTROLLERS