Search Results - Software AND swiss engineering Software notations AND tools Compilers Preprocessors

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

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

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

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)

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

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

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

Resource Type: eBook.

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

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 II

Authors: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

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

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

Finite Satisfiability of UML Class Diagrams with Constrained Class Hierarchy.

Authors: BALABAN, MIRA MARAEE, AZZAM

Source: ACM Transactions on Software Engineering & Methodology; Jul2013, Vol. 22 Issue 3, p24:1-24:42, 42p

Subject Terms: SOFTWARE engineering, SATISFIABILITY (Computer science), PROGRAMMING languages, UNIFIED modeling language, COMPUTER software development, ALGORITHMS, COMPUTER science

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

Authors: Arie Gurfinkel Vijay Ganesh

Resource Type: eBook.

Subjects: Computer software--Verification--Congresses

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

Computer Aided Verification

Authors: Arie Gurfinkel Vijay Ganesh

Resource Type: eBook.

Subjects: Computer software--Verification--Congresses

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

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

Authors: Constantin Enea Akash Lal

Resource Type: eBook.

Subjects: Computer software--Verification--Congresses

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

Data Technology in Materials Modelling

Authors: Martin Thomas Horsch Silvia Chiacchiera Welchy Leite Cavalcanti et al.

Resource Type: eBook.

Subjects: Materials--Computer simulation, Application software, Materials

Categories: TECHNOLOGY & ENGINEERING / Materials Science / General, COMPUTERS / Business & Productivity Software / General

Frontiers of Combining Systems

Authors: René Thiemann Christoph Weidenbach

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General

Automated Reasoning with Analytic Tableaux and Related Methods

Authors: Revantha Ramanayake Josef Urban

Resource Type: eBook.

Subjects: Automatic theorem proving--Congresses, Artificial intelligence

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

Handbook of Software Engineering

Authors: Sungdeok Cha Richard N. Taylor Kyochul Kang

Resource Type: eBook.

Subjects: Software engineering--Handbooks, manuals, etc

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

Handbook of Re-Engineering Software Intensive Systems Into Software Product Lines

Authors: Roberto E. Lopez-Herrejon Jabier Martinez Wesley Klewerton Guez Assunção et al.

Resource Type: eBook.

Subjects: Software reengineering

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

BackMatter.

Authors: Steinhauser, Martin O.

Source: Computational Multiscale Modeling of Fluids & Solids (9783662532225); 2017, p365-405, 41p

Object-Oriented Software Engineering Using UML, Patterns, and Java

Authors: Bernd Bruegge Allen H. Dutoit

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General

Verified iptables Firewall Analysis and Verification.

Authors: Diekmann, Cornelius Hupel, Lars Michaelis, Julius et al.

Source: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p191-242, 52p