Search Results - software and swiss engineering software notations and tools general programming languages

Python tools for structural tasks in chemistry.

Authors: Ryzhkov FV Ryzhkova YE Elinson MN

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

Publication Type: Journal Article; Review

Journal Info: 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

MeSH Terms: Software* , Programming Languages*, Cheminformatics/methods

Foundations of Software Science and Computation Structures

Authors: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

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

Authors: Imam, Ayad Tareq Alnsour, Ayman Jameel

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

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

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

Formalizing UML/OCL structural features with FoCaLiZe.

Authors: Abbas, Messaoud Ben-Yelles, Choukri-Bey Rioboo, Renaud

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

Subject Terms: OBJECT-oriented programming languages, UNIFIED modeling language, COMPUTER software development, SOFTWARE engineering, C++

Software Languages

Authors: Talon Zinc

Resource Type: eBook.

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

The French School of Programming

Authors: Bertrand Meyer

Resource Type: eBook.

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

Authors: BARNETT, MIKE FÄHNDRICH, MANUEL LEINO, K. RUSTAN M. et al.

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

Subject Terms: COMPUTER programming, SOFTWARE verification, PROGRAMMING languages, SOFTWARE engineering, COMPUTER science

Company/Entity: MICROSOFT Corp.

Software Verification

Authors: Maria Christakis Nadia Polikarpova Parasara Sridhar Duggirala et al.

Resource Type: eBook.

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

Authors: Wirth, Niklaus

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

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

Authors: Thomas Wies

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

Data Provenance.

Authors: Glavic, Boris

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

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

Authors: Helmut Seidl

Resource Type: eBook.

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

Authors: Elisabetta Di Nitto Jesús Gorroñogoitia Cruz Indika Kumara et al.

Resource Type: eBook.

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

Authors: Rani, Pooja Panichella, Sebastiano Leuenberger, Manuel et al.

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

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

Authors: Manuel Mazzara Jean-Michel Bruel Bertrand Meyer et al.

Resource Type: eBook.

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

Authors: Michael Felderer Wilhelm Hasselbring Heiko Koziolek et al.

Resource Type: eBook.

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

Authors: Benoit Combemale David Pearce Olivier Barais et al.

Resource Type: eBook.

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

Authors: Juan Garbajosa Xiaofeng Wang Ademar Aguiar

Resource Type: eBook.

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

Authors: Atsushi Igarashi

Resource Type: eBook.

Subjects: Compilers (Computer programs), Software engineering, Computer science, Machine theory

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