Výsledky vyhledávání - Software AND _ engineering Software notations AND tools Compilers Preprocessors~

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

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

Property-Based Testing in Practice.

Autoři: Goldstein, Harrison Cutler, Joseph W. Dickstein, Daniel a další

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

Témata: SOFTWARE engineering, AUTOMATION, COMPUTER software developers, FINANCIAL technology, COMPUTER software testing

Using Music Features for Managing Revisions and Variants of Musical Scores.

Autoři: Grünbacher, Paul Hanl, Rudolf Linsbauer, Lukas

Zdroj: Computer Music Journal; Fall2023, Vol. 47 Issue 3, p50-68, 19p

Témata: MUSICAL notation, MUSIC scores, MUSIC software, SOURCE code, RESEARCH personnel

Eli: A Complete, Flexible Compiler Construction System.

Autoři: Gray, Robert W. Heuring, Vincent P. Levi, Steven P. a další

Zdroj: Communications of the ACM; Feb1992, Vol. 35 Issue 2, p121-131, 11p

Témata: COMPILERS (Computer programs), PROGRAMMING languages, SYSTEMS software, COMPUTER software, SOFTWARE engineering, SOFTWARE productivity

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

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

Tice: A real‐time language compilable using C++ compilers.

Autoři: Prastowo, Tadeus Palopoli, Luigi Abeni, Luca

Zdroj: Software: Practice & Experience; Dec2020, Vol. 50 Issue 12, p2252-2292, 41p

Témata: C++, COMPILERS (Computer programs), PROGRAMMING languages, SOURCE code, SOFTWARE engineering, COMMUNICATION models

Chapter 14: Knowledge Area: Software Engineering Tools and Methods.

Autoři: Moore, James W.

Zdroj: Road Map to Software Engineering; 2006, p217-228, 12p

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

Intention-Based Integration of Software Variants.

Autoři: Lillack, Max Stănciulescu, Ștefan Hedman, Wilhelm a další

Zdroj: ICSE: International Conference on Software Engineering; 5/25/2019, p831-842, 12p

Témata: MAINTENANCE costs, ARTIFICIAL intelligence, SOFTWARE engineering, COMPUTER science, SOFTWARE maintenance

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

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

Large‐scale semi‐automated migration of legacy C/C++ test code.

Autoři: Schuts, Mathijs T. W. Aarssen, Rodin T. A. Tielemans, Paul M. a další

Zdroj: Software: Practice & Experience; Jul2022, Vol. 52 Issue 7, p1543-1580, 38p

Témata: SOURCE code, SOFTWARE engineers, SOFTWARE maintenance, SOFTWARE engineering, C++

Fundamental Approaches to Software Engineering

Autoři: Esther Guerra Mariëlle Stoelinga

Resource Type: eBook.

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

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

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

Integrating CASE Technology into Software Engineering Education.

Autoři: Saiedian, Hossein

Zdroj: Computer Science Education; Jan1994, Vol. 5 Issue 2, p189-210, 22p

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

Autoři: Isil Dillig Serdar Tasiran

Resource Type: eBook.

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

Parsing and semantic modelling for software engineering applications.

Autoři: Irwin, W. Cook, C. Churcher, N.

Zdroj: 2005 Australian Software Engineering Conference; 2005, p180-189, 10p