Search Results - Software AND electrical engineering Software notations AND tools Compilers Preprocessors*

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

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dirk Beyer Marieke Huisman

Resource Type: eBook.

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

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

Authors: Fuggetta, Alfonso

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

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

Authors: YONGJIE ZHENG CUONG CU TAYLOR, RICHARD N.

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

Subject Terms: 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

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 : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Authors: Shuvendu K. Lahiri Chao Wang

Resource Type: eBook.

Subjects: Computer software--Verification--Congresses

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

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

Resource Type: eBook.

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

When and How to Develop Domain-Specific Languages.

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

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

Subject Terms: PROGRAMMING languages, AUTOMATION, COMPUTATIONAL linguistics, COMPUTER software, METHODOLOGY, LIBRARIES

Special Feature a Glossary of Software Tool and Techniques.

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

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

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

Authors: Xiang, Ru van Schie, Sebastiaan P. C. Scotzniovsky, Luca et al.

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

A framework for performance analysis of Co-Array Fortran.

Authors: Mohr, Bernd DeRose, Luiz Vetter, Jeffrey

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

Subject Terms: COMPUTER software, ARRAY processors, FORTRAN, ELECTRONIC data processing, AUTOSATE

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

Authors: Jasmin Blanchette Laura Kovács Dirk Pattinson

Resource Type: eBook.

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

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

History of the Ingres Corporation.

Authors: Rowe, Lawrence A.

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

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

Company/Entity: INGRES Corp.

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

Index.

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

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

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

Authors: Aamodt, Tor M. Chow, Paul

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

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

A Monitoring Method Based on FBG for Concrete Corrosion Cracking.

Authors: Jianghong Mao Fangyuan Xu Qian Gao et al.

Source: 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.

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

Source: 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.

Authors: Garavel, Hubert

Source: 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.

Authors: Mernik, M. Lenic, M. Avdicausevic, E. et al.

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