Výsledky vyhledávání - Software and electrical engineering Software notations and tools Compilers Preprocessor

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

Autoři: Heike Wehrheim Jordi Cabot

Resource Type: eBook.

Témata: 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

Autoři: Einar Broch Johnsen Manuel Wimmer

Resource Type: eBook.

Témata: 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

Autoři: Artur Boronat Gordon Fraser

Resource Type: eBook.

Témata: 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

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: 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

Autoři: Alessandra Russo Andy Schürr

Resource Type: eBook.

Témata: 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

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Témata: 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

Autoři: Dana Fisman Grigore Rosu

Resource Type: eBook.

Témata: 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

Autoři: Dirk Beyer Marieke Huisman

Resource Type: eBook.

Témata: 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

Autoři: Dirk Beyer Marieke Huisman Fabrice Kordon a další

Resource Type: eBook.

Témata: 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

Autoři: Volker Gruhn Rüdiger Striemer

Resource Type: eBook.

Témata: 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

Autoři: Hans-Joachim Bungartz Severin Reiz Benjamin Uekermann a další

Resource Type: eBook.

Témata: 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

Autoři: Ralf Reussner Michael Goedicke Wilhelm Hasselbring a další

Resource Type: eBook.

Témata: 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.

Autoři: Franchetti, Franz Low, Tze Meng Popovici, Doru Thom a další

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

Témata: OL/2 (Computer program language), ELECTRICAL engineering, MACHINE learning, SPIRAL galaxies, CLOUD computing

RbG: A documentation generator for scientific and engineering software.

Autoři: Moser, Michael Pichler, Josef Fleck, Gunther a další

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

A Survey of Software Dynamic Analysis Methods.

Autoři: Kuliamin, V. V.

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

Témata: 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.

Autoři: Voelter, Markus Kolb, Bernd Szabó, Tamás a další

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

Témata: PROGRAMMING languages, COMPUTATIONAL complexity, COMPUTER software development, SCALABILITY, TASK performance

Behavioural Types : From Theory to Tools

Autoři: Simon Gay António Ravara

Resource Type: eBook.

Témata: QA76.7

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

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

Autoři: Berger, Thorsten She, Steven Lotufo, Rafael a další

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

Témata: 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

Autoři: André Platzer Kristin Yvonne Rozier Matteo Pradella a další

Resource Type: eBook.

Témata: 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.

Autoři: Fayed, Mahmoud Samir Alohali, Yousef A.

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

Témata: VISUAL programming languages (Computer science), PROGRAMMING languages, VIRTUAL machine systems, OBJECT-oriented programming, TECHNOLOGICAL innovations, MICROCONTROLLERS