Výsledky vyhledávání - Software AND swiss engineering Software notations AND tools General programming languages~

Python tools for structural tasks in chemistry.

Autoři: Ryzhkov FV Ryzhkova YE Elinson MN

Zdroj: Molecular diversity [Mol Divers] 2025 Aug; Vol. 29 (4), pp. 3733-3752. Date of Electronic Publication: 2024 May 14.

Způsob vydávání: Journal Article; Review

Informace o časopise: Publisher: ESCOM Science Publishers Country of Publication: Netherlands NLM ID: 9516534 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1573-501X (Electronic) Linking ISSN: 13811991 NLM ISO Abbreviation: Mol Divers Subsets: MEDLINE

Výrazy ze slovníku MeSH: Software* , Programming Languages*, Cheminformatics/methods

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

The Use of Natural Language Processing Approach for Converting Pseudo Code to C# Code.

Autoři: Imam, Ayad Tareq Alnsour, Ayman Jameel

Zdroj: Journal of Intelligent Systems; Jan2020, Vol. 29 Issue 1, p1388-1407, 20p

Témata: SOFTWARE engineering, CODE generators, COMPUTER-aided engineering, PROGRAMMING languages, SOFTWARE development tools, NATURAL language processing

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

Formalizing UML/OCL structural features with FoCaLiZe.

Autoři: Abbas, Messaoud Ben-Yelles, Choukri-Bey Rioboo, Renaud

Zdroj: Soft Computing - A Fusion of Foundations, Methodologies & Applications; Mar2020, Vol. 24 Issue 6, p4149-4164, 16p

Témata: OBJECT-oriented programming languages, UNIFIED modeling language, COMPUTER software development, SOFTWARE engineering, C++

Software Languages

Autoři: Talon Zinc

Resource Type: eBook.

Categories: TECHNOLOGY & ENGINEERING / General, COMPUTERS / Programming / General

The French School of Programming

Autoři: Bertrand Meyer

Resource Type: eBook.

Témata: Software engineering, Computer science, Programming languages (Electronic computers), Computer programming, Machine theory, Computer programs—Testing

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing

Specification and Verification: The Spec# Experience.

Autoři: BARNETT, MIKE FÄHNDRICH, MANUEL LEINO, K. RUSTAN M. a další

Zdroj: Communications of the ACM; Jun2011, Vol. 54 Issue 6, p81-91, 11p, 2 Color Photographs, 2 Diagrams

Témata: COMPUTER programming, SOFTWARE verification, PROGRAMMING languages, SOFTWARE engineering, COMPUTER science

Korporace: MICROSOFT Corp.

Software Verification

Autoři: Maria Christakis Nadia Polikarpova Parasara Sridhar Duggirala a další

Resource Type: eBook.

Témata: Computer science, Software engineering, Programming languages (Electronic computers), Computers, Special purpose

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / General

A Brief History of Software Engineering.

Autoři: Wirth, Niklaus

Zdroj: IEEE Annals of the History of Computing; Jul-Sep2008, Vol. 30 Issue 3, p32-39, 8p

Témata: SOFTWARE engineering, COMPUTER systems, PERSONAL computers, UNIX operating systems, PROGRAMMING languages, COMPUTER programming, MATHEMATICAL programming, COMPUTER operating systems, COMPUTERS

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autoři: Thomas Wies

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

Data Provenance.

Autoři: Glavic, Boris

Zdroj: Foundations & Trends in Databases; 2020, Vol. 9 Issue 3/4, p209-441, 233p

Témata: SEMANTIC Web, SOFTWARE engineering, PROGRAMMING languages, DATA analysis, AUDIENCES

Programming Languages and Systems : 21st European Symposium on Programming, ESOP 2012, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Autoři: Helmut Seidl

Resource Type: eBook.

Témata: Conference papers and proceedings, Computer programming--Congresses, Programming languages (Electronic computers)--Co, Software engineering--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General

Deployment and Operation of Complex Software in Heterogeneous Execution Environments : The SODALITE Approach

Autoři: Elisabetta Di Nitto Jesús Gorroñogoitia Cruz Indika Kumara a další

Resource Type: eBook.

Témata: Software engineering, Computer software--Development--Management, Operating systems (Computers)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Data Science / General, COMPUTERS / Operating Systems / General, COMPUTERS / Languages / General, TECHNOLOGY & ENGINEERING / Engineering (General), COMPUTERS / Distributed Systems / Cloud Computing

What do class comments tell us? An investigation of comment evolution and practices in Pharo Smalltalk.

Autoři: Rani, Pooja Panichella, Sebastiano Leuenberger, Manuel a další

Zdroj: Empirical Software Engineering; Nov2021, Vol. 26 Issue 6, p1-49, 49p

Témata: SMALLTALK (Computer program language), COMPUTER software, PROGRAMMING languages, DESIGN templates, INFORMATION retrieval

Software Technology: Methods and Tools : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

Autoři: Manuel Mazzara Jean-Michel Bruel Bertrand Meyer a další

Resource Type: eBook.

Témata: Software engineering, Electronic digital computers—Evaluation, Computers, Professions, Artificial intelligence, Computers, Special purpose, Application software

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Architecture

Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations

Autoři: Michael Felderer Wilhelm Hasselbring Heiko Koziolek a další

Resource Type: eBook.

Témata: Software engineering, Software engineering--Awards

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems

Software Language Engineering : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Autoři: Benoit Combemale David Pearce Olivier Barais a další

Resource Type: eBook.

Témata: Compilers (Computer programs), Software engineering, Machine theory, Artificial intelligence, Computer simulation, Electronic data processing—Management

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation

Agile Processes in Software Engineering and Extreme Programming : 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings

Autoři: Juan Garbajosa Xiaofeng Wang Ademar Aguiar

Resource Type: eBook.

Témata: eXtreme programming--Congresses, Agile software development--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / Project Management

Programming Languages and Systems

Autoři: Atsushi Igarashi

Resource Type: eBook.

Témata: Compilers (Computer programs), Software engineering, Computer science, Machine theory

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General