Výsledky vyhľadávania - Software AND its engineering Software notations AND tools Compilers Preprocessors*

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

Autori: Chen, Chien-Tsun Yen, Yi-Chun Hu, Yu-Hsiang a ďalší

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

Predmety: SOFTWARE architecture, QUALITY assurance, MODEL-driven software architecture

Empirical analysis of the tool support for software product lines.

Autori: Horcas, José Miguel Pinto, Mónica Fuentes, Lidia

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

Predmety: SOFTWARE product line engineering, PRODUCT lines, SOFTWARE development tools, ROAD maps, EMPIRICAL research

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

Autori: Moore, James W.

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

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

Autori: Prastowo, Tadeus Palopoli, Luigi Abeni, Luca

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

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

Tools and Algorithms for the Construction and Analysis of Systems

Autori: Dana Fisman Grigore Rosu

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems

Autori: Dirk Beyer Marieke Huisman

Typ zdroja: eBook.

Predmet: Data structures (Computer science), Computer logic, Computers, Computer science, Computer system failures, Software engineering, Electronic data processing, Electronic digital computers

Kategórie: 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

Autori: Esther Guerra Mariëlle Stoelinga

Typ zdroja: eBook.

Predmet: Software engineering--Congresses

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

Towards language-independent brown build detection.

Autori: Olewicki, Doriane Nayrolles, Mathieu Adams, Bram

Zdroj: ICSE: International Conference on Software Engineering; 2022, p2177-2188, 12p

Predmety: COMPUTER software, VIDEO games, CLASSIFICATION, AUTOMATION, INDUSTRIAL engineering

LITTLE LANGUAGES.

Autori: Bentley, Jon

Zdroj: Communications of the ACM; Aug1986, Vol. 29 Issue 8, p711-721, 11p, 18 Diagrams, 1 Graph

Predmety: PROGRAMMING languages, COMPILERS (Computer programs), COMPUTER software, COMPUTER programming, COMPUTER science, INFORMATION technology

Maintaining Architecture-Implementation Conformance to Support Architecture Centrality: From Single System to Product Line Development.

Autori: YONGJIE ZHENG CUONG CU TAYLOR, RICHARD N.

Zdroj: ACM Transactions on Software Engineering & Methodology; Jun2018, Vol. 27 Issue 2, p1-52, 52p

Predmety: SOFTWARE architecture, PRODUCT lines, CONFORMANCE testing, COMPUTER software development, COMPUTER software

Chapter 4: Software Requirements Methodologies and Tools: A Classification of CASE Technology.

Autori: Fuggetta, Alfonso

Zdroj: Software Requirements Engineering; 2011, p398-411, 14p

SCHEMATIC PSEUDOCODE FOR PROGRAM CONSTRUCTS AND ITS COMPUTER AUTOMATION BY SCHEMACODE.

Autori: Robillard, Pierre N. Sibley, Edgar H.

Zdroj: Communications of the ACM; Nov86, Vol. 29 Issue 11, p1072-1089, 18p, 20 Diagrams, 8 Charts

Predmety: PSEUDOCODE (Computer program language), COMPUTER programming, COMPUTER software, SOURCE code, PROGRAMMING languages

Integrating CASE Technology into Software Engineering Education.

Autori: Saiedian, Hossein

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

Reliable benchmarking: requirements and solutions.

Autori: Beyer, Dirk Löwe, Stefan Wendler, Philipp

Zdroj: International Journal on Software Tools for Technology Transfer; Feb2019, Vol. 21 Issue 1, p1-29, 29p

Predmety: SOFTWARE verification, LINUX operating systems, PROCESS control systems, NATURAL language processing, REGRESSION analysis

Evolving software system families in space and time with feature revisions.

Autori: Michelon, Gabriela Karoline Obermann, David Assunção, Wesley K. G. a ďalší

Zdroj: Empirical Software Engineering; Sep2022, Vol. 27 Issue 5, p1-54, 54p

Generation of BLISSes.

Autori: Brender, Ronald F.

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

Predmety: COMPILERS (Computer programs), SYSTEMS software, COMPUTER software, COMPUTER programming, SOFTWARE engineering, COMPUTER software development

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

Autori: Cicalese, Cynthia Della Torre Rotenstreich, Shmuel

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

Predmety: COMPONENT software, JAVA programming language software, DISTRIBUTED operating systems (Computers), SOFTWARE engineering

Scaling Step-Wise Refinement.

Autori: Batory, Don Sarvela, Jacob Neal Rauschmayer, Axel

Zdroj: IEEE Transactions on Software Engineering; Jun2004, Vol. 30 Issue 6, p355-371, 17p, 3 Black and White Photographs, 9 Diagrams, 9 Charts, 1 Graph

Predmety: COMPUTER software development, JAVA programming language, PROGRAMMING languages, MATHEMATICAL models, OBJECT-oriented programming, COMPUTER science

Type Checking Annotation-Based Product Lines.

Autori: KäStner, Christian Apel, Sven Thüm, Thomas a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Jun2012, Vol. 21 Issue 3, p14:1-14:39, 39p

Predmety: SOFTWARE product line engineering, JAVA programming language, CALCULUS software, PRODUCT lines, ERRORS

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

Autori: Isil Dillig Serdar Tasiran

Typ zdroja: eBook.

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

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