Suchergebnisse - Software AND swiss engineering Software notations AND tools Compilers*

Ernst Denert Award for Software Engineering 2022

Autoren: Eric Bodden Michael Felderer Wilhelm Hasselbring et al.

Resource Type: eBook.

Schlagworte: Software engineering, Software engineering--Awards

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

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

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

Autoren: Bernd Finkbeiner Laura Kovács

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

Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations

Autoren: Michael Felderer Wilhelm Hasselbring Heiko Koziolek et al.

Resource Type: eBook.

Schlagworte: Software engineering, Software engineering--Awards

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

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 : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

Autoren: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / 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 / Artificial Intelligence / General, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Foundations of Software Science and Computation Structures

Autoren: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Schlagworte: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

An empirical evaluation of Lex/Yacc and ANTLR parser generation tools.

Autoren: Ortin, Francisco Quiroga, Jose Rodriguez-Prieto, Oscar et al.

Quelle: PLoS ONE; 3/3/2022, Vol. 17 Issue 3, p1-16, 16p

Schlagwörter: NATURAL language processing, COMPUTER software development, SOFTWARE engineering, SOFTWARE engineers, ENGINEERING students, COLLEGE choice

Teaching software-engineering concepts through industrially used tools early in the undergraduate curriculum.

Autoren: Temesghen Kahsai O'Reilly, Liam Roggenbach, Markus

Quelle: Proceedings of the ASEE Annual Conference & Exposition; 2015, p1-16, 16p

Schlagwörter: SOFTWARE engineering, PROGRAMMING languages, GRAPHIC arts, UNDERGRADUATES, TEACHING

The Use of Natural Language Processing Approach for Converting Pseudo Code to C# Code.

Autoren: Imam, Ayad Tareq Alnsour, Ayman Jameel

Quelle: Journal of Intelligent Systems; Jan2020, Vol. 29 Issue 1, p1388-1407, 20p

Schlagwörter: SOFTWARE engineering, CODE generators, COMPUTER-aided engineering, PROGRAMMING languages, SOFTWARE development tools, NATURAL language processing

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)

Specification and Verification: The Spec# Experience.

Autoren: BARNETT, MIKE FÄHNDRICH, MANUEL LEINO, K. RUSTAN M. et al.

Quelle: Communications of the ACM; Jun2011, Vol. 54 Issue 6, p81-91, 11p, 2 Color Photographs, 2 Diagrams

Schlagwörter: COMPUTER programming, SOFTWARE verification, PROGRAMMING languages, SOFTWARE engineering, COMPUTER science

Firma/Körperschaft: MICROSOFT Corp.

Intelligent Systems and Formal Methods in Software Engineering.

Autoren: Beckert, Bernhard

Quelle: IEEE Intelligent Systems; Nov/Dec2006, Vol. 21 Issue 6, p71-81, 11p, 1 Chart

Schlagwörter: SOFTWARE engineering, INTELLIGENT agents, SOFTWARE verification, COMPUTER software development, INFORMATION technology software, INFORMATION technology, COMPUTER systems, SOFTWARE patterns

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Autoren: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Schlagworte: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Autoren: Sharon Shoham Yakir Vizel

Resource Type: eBook.

Schlagworte: Computer software--Verification--Congresses

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

Programming FPGAs for economics: An introduction to electrical engineering economics.

Autoren: Cheela, Bhagath DeHon, André Fernández‐Villaverde, Jesús et al.

Quelle: Quantitative Economics; Jan2025, Vol. 16 Issue 1, p49-87, 39p

Schlagwörter: INCOMPLETE markets, COPROCESSORS, COST benefit analysis, ELECTRONIC design automation, PROGRAMMABLE logic devices, QUANTITATIVE research

Computer Aided Verification

Autoren: Alexandra Silva K. Rustan M. Leino

Resource Type: eBook.

Schlagworte: Artificial intelligence, Computer software--Verification--Congresses

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

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

Autoren: Sriram Sankaranarayanan Natasha Sharygina

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science

GTalign: spatial index-driven protein structure alignment, superposition, and search.

Autoren: Margelevičius, Mindaugas

Quelle: Nature Communications; 8/24/2024, Vol. 15 Issue 1, p1-14, 14p

Schlagwörter: PROTEIN structure, DRUG discovery, PARALLEL algorithms, PROTEIN engineering, PROTEINS, COMPUTATIONAL biology