Search Results - Software and its 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

Authors: Heike Wehrheim Jordi Cabot

Resource Type: eBook.

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

Authors: Einar Broch Johnsen Manuel Wimmer

Resource Type: eBook.

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

Authors: Artur Boronat Gordon Fraser

Resource Type: eBook.

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

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

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

Authors: Alessandra Russo Andy Schürr

Resource Type: eBook.

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

Authors: Dirk Beyer Marieke Huisman Fabrice Kordon et al.

Resource Type: eBook.

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

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

Authors: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

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

Authors: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

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

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

Managed Software Evolution

Authors: Ralf Reussner Michael Goedicke Wilhelm Hasselbring et al.

Resource Type: eBook.

Subjects: Computer software--Development

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

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dana Fisman Grigore Rosu

Resource Type: eBook.

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

Authors: Dirk Beyer Marieke Huisman

Resource Type: eBook.

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

The Essence of Software Engineering

Authors: Volker Gruhn Rüdiger Striemer

Resource Type: eBook.

Subjects: Management information systems, Computer science, Software engineering

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

Fundamental Approaches to Software Engineering

Authors: Esther Guerra Mariëlle Stoelinga

Resource Type: eBook.

Subjects: Software engineering--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Programming / General, COMPUTERS / Speech & Audio Processing

Software for Exascale Computing - SPPEXA 2016-2019

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

Resource Type: eBook.

Subjects: 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)

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 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

Authors: Nobuko Yoshida

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

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

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

Authors: Sriram Sankaranarayanan Natasha Sharygina

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science

RbG: A documentation generator for scientific and engineering software.

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

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

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Subjects: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

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

Root Contracting: A Novel Method and Utility for Implementing Design by Contract in Domain-Driven Design with Event Sourcing.

Authors: Chen, Chien-Tsun Yen, Yi-Chun Hu, Yu-Hsiang et al.

Source: Electronics (2079-9292); Nov2025, Vol. 14 Issue 21, p4205, 25p

Subject Terms: SOFTWARE architecture, QUALITY assurance, MODEL-driven software architecture

Property-Based Testing in Practice.

Authors: Goldstein, Harrison Cutler, Joseph W. Dickstein, Daniel et al.

Source: ICSE: International Conference on Software Engineering; 2024, p1-13, 13p

Subject Terms: SOFTWARE engineering, AUTOMATION, COMPUTER software developers, FINANCIAL technology, COMPUTER software testing