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

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

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

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

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

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Autoři: Shuvendu K. Lahiri Chao Wang

Resource Type: eBook.

Témata: Computer software--Verification--Congresses

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

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

Autoři: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

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

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

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Autoři: Christoph Benzmüller Marijn J.H. Heule Renate A. Schmidt

Resource Type: eBook.

Témata: Automatic theorem proving--Congresses, Computer logic--Congresses, Artificial intelligence

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

Generation of BLISSes.

Autoři: Brender, Ronald F.

Zdroj: IEEE Transactions on Software Engineering; Nov80, Vol. 6 Issue 6, p553-563, 11p, 5 Diagrams

Témata: COMPILERS (Computer programs), SYSTEMS software, COMPUTER software, COMPUTER programming, SOFTWARE engineering, COMPUTER software development

Behavioral Specification of Distributed Software Component Interfaces. (cover story)

Autoři: Cicalese, Cynthia Della Torre Rotenstreich, Shmuel

Zdroj: Computer (00189162); Jul99, Vol. 32 Issue 7, p46, 8p, 5 Diagrams, 2 Charts, 1 Cartoon or Caricature

Témata: COMPONENT software, JAVA programming language software, DISTRIBUTED operating systems (Computers), SOFTWARE engineering

Variability extraction and modeling for product variants.

Autoři: Linsbauer, Lukas Lopez-Herrejon, Roberto Egyed, Alexander

Zdroj: Software & Systems Modeling; Oct2017, Vol. 16 Issue 4, p1179-1199, 21p

Témata: COMPUTER software development, SOFTWARE productivity, SOFTWARE engineering, ELECTRONIC data processing, INFORMATION science

The Role of Middleware in Architecture-Based Software Development.

Autoři: Medvidovic, Nenad Dashofy, Eric M. Taylor, Richard N.

Zdroj: International Journal of Software Engineering & Knowledge Engineering; Aug2003, Vol. 13 Issue 4, p367, 27p

Témata: SOFTWARE engineering, MIDDLEWARE, COMPUTER software development, COMPUTER programming

Embedding an interpreted language using higher-order functions and types.

Autoři: RAMSEY, NORMAN

Zdroj: Journal of Functional Programming; Nov2011, Vol. 21 Issue 6, p585-615, 31p

Témata: EMBEDDED computer systems, PROGRAMMING languages, APPLICATION software, SOFTWARE engineering, MATHEMATICAL functions software, EMBEDDINGS (Mathematics), LUA (Computer program language)

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Autoři: Jasmin Blanchette Laura Kovács Dirk Pattinson

Resource Type: eBook.

Témata: Automatic theorem proving--Congresses, Computer logic--Congresses

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

Test Case Generation as an AI Planning Problem.

Autoři: Howe, Adele Mayrhauser, Anneliese Mraz, Richard

Zdroj: Automated Software Engineering; Jan1997, Vol. 4 Issue 1, p77-106, 30p

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

Autoři: Chen, Chien-Tsun Yen, Yi-Chun Hu, Yu-Hsiang a další

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

Témata: SOFTWARE architecture, QUALITY assurance, MODEL-driven software architecture

Empirical analysis of the tool support for software product lines.

Autoři: Horcas, José Miguel Pinto, Mónica Fuentes, Lidia

Zdroj: Software & Systems Modeling; Feb2023, Vol. 22 Issue 1, p377-414, 38p

Témata: SOFTWARE product line engineering, PRODUCT lines, SOFTWARE development tools, ROAD maps, EMPIRICAL research