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

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

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

Autori: Fuggetta, Alfonso

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

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

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

Autori: André Platzer Kristin Yvonne Rozier Matteo Pradella a ďalší

Typ zdroja: eBook.

Predmet: Formal methods (Computer science)--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

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

Autori: Shuvendu K. Lahiri Chao Wang

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

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

Autori: Christoph Benzmüller Marijn J.H. Heule Renate A. Schmidt

Typ zdroja: eBook.

Predmet: Automatic theorem proving--Congresses, Computer logic--Congresses, Artificial intelligence

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

When and How to Develop Domain-Specific Languages.

Autori: Mernik, Marjan Heering, Jan Sloane, Anthony M.

Zdroj: ACM Computing Surveys; Dec2005, Vol. 37 Issue 4, p316-344, 29p

Predmety: PROGRAMMING languages, AUTOMATION, COMPUTATIONAL linguistics, COMPUTER software, METHODOLOGY, LIBRARIES

Special Feature a Glossary of Software Tool and Techniques.

Autori: Reifer, D.J. Trattner, S.

Zdroj: Computer (00189162); 1977, Vol. 10 Issue 7, p52-60, 9p

Automating adjoint sensitivity analysis for multidisciplinary models involving partial differential equations.

Autori: Xiang, Ru van Schie, Sebastiaan P. C. Scotzniovsky, Luca a ďalší

Zdroj: Structural & Multidisciplinary Optimization; Aug2024, Vol. 67 Issue 8, p1-31, 31p

A framework for performance analysis of Co-Array Fortran.

Autori: Mohr, Bernd DeRose, Luiz Vetter, Jeffrey

Zdroj: Concurrency & Computation: Practice & Experience; Dec2007, Vol. 19 Issue 17, p2207-2218, 12p, 5 Color Photographs, 3 Diagrams, 1 Chart

Predmety: COMPUTER software, ARRAY processors, FORTRAN, ELECTRONIC data processing, AUTOSATE

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

Autori: Jasmin Blanchette Laura Kovács Dirk Pattinson

Typ zdroja: eBook.

Predmet: Automatic theorem proving--Congresses, Computer logic--Congresses

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

History of the Ingres Corporation.

Autori: Rowe, Lawrence A.

Zdroj: IEEE Annals of the History of Computing; Oct2012, Vol. 34 Issue 4, p58-70, 13p

Predmety: RELATIONAL databases, DATABASE management software, COMPUTER software industry, COMPUTER software marketing, GOING public (Securities), ECONOMIC competition, HISTORY

Korporácia: INGRES Corp.

Handbook of Software Engineering

Autori: Sungdeok Cha Richard N. Taylor Kyochul Kang

Typ zdroja: eBook.

Predmet: Software engineering--Handbooks, manuals, etc

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

Index.

Autori: Laplante, Phillip A. Ovaska, Seppo J.

Zdroj: Real-Time Systems Design & Analysis; 2011, p537-560, 24p

Compile-Time and Instruction-Set Methods for Improving Floating- to Fixed-Point Conversion Accuracy.

Autori: Aamodt, Tor M. Chow, Paul

Zdroj: ACM Transactions on Embedded Computing Systems; Apr2008, Vol. 7 Issue 3, p26-26:27, 27p, 4 Diagrams, 7 Charts, 8 Graphs

Predmety: SIGNAL-to-noise ratio, MULTIPLICATION, DIGITAL signal processing, EMBEDDED computer systems, ALGORITHMS

A Monitoring Method Based on FBG for Concrete Corrosion Cracking.

Autori: Jianghong Mao Fangyuan Xu Qian Gao a ďalší

Zdroj: Sensors (14248220); Jul2016, Vol. 16 Issue 7, p1093, 11p, 2 Color Photographs, 4 Diagrams, 2 Charts, 4 Graphs

Structured Fortran—An Evolution of Standard Fortran.

Autori: Ralston, A. Wagener, J.L.

Zdroj: IEEE Transactions on Software Engineering; 1976, Vol. SE-2 Issue 3, p154-176, 23p

Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets.

Autori: Garavel, Hubert

Zdroj: Application & Theory of Petri Nets & Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings; 2015, p179-199, 21p

Compiler/interpreter generator system LISA.

Autori: Mernik, M. Lenic, M. Avdicausevic, E. a ďalší

Zdroj: Proceedings of the 33rd Annual Hawaii International Conference on System Sciences; 2000, p10-10, 1p