Suchergebnisse - Software and its engineering Software notations and tools
-
1
Autoren: et al.
Quelle: Journal on Interactive Systems, Vol 13, Iss 1, Pp 192-204 (2022)
Schlagwörter: software ecosystems, software engineering, teaching, tool, model, Computer software, QA76.75-76.765, Computer engineering. Computer hardware, TK7885-7895
Dateibeschreibung: electronic resource
-
2
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Program Verification, Blockchain, Software and its engineering → Software notations and tools, Static Analysis, DApps, Theory of computation → Program verification, Theory of computation → Program analysis, ddc:004, Go language, Security and privacy → Distributed systems security, Non-determinism, Smart contracts
Dateibeschreibung: application/pdf
-
3
Autoren:
Weitere Verfasser:
Schlagwörter: Software and its engineering → Software testing and debugging, Determinism, Software and its engineering → Software verification and validation, Software and its engineering → Software notations and tools, Race detection, ddc:004, Determinacy-race, Software and its engineering → Software creation and management, Software and its engineering → Software defect analysis, Promise, Software and its engineering → Concurrent programming languages, Software and its engineering → General programming languages
Dateibeschreibung: application/pdf
-
4
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Cledou, G, Edixhoven, L, Jongmans, S-S & Proença, J 2022, API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. in K A & J V (eds), 36th European Conference on Object-Oriented Programming : ECOOP 2022. vol. 222, 27, Schloss Dagstuhl-LZI GmbH, Leibniz International Proceedings in Informatics, LIPIcs, vol. 222, pp. 27:1-27:28, European Conference on Object Oriented Programming, Berlin, Germany, 6/06/22. https://doi.org/10.4230/LIPIcs.ECOOP.2022.27
Schlagwörter: Scala 3, Software and its engineering → Software notations and tools, Pomsets (partially ordered multisets), Concurrency, match types, ddc:004, Match types, pomsets (partially ordered multisets)
Dateibeschreibung: application/pdf; text/plain; charset=utf-8
Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.27
https://hdl.handle.net/10400.22/20633
https://dblp.org/db/conf/ecoop/ecoop2022.html#CledouEJP22
https://doi.org/10.4230/LIPIcs.ECOOP.2022.27
https://www.scopus.com/pages/publications/85134302572
https://research.ou.nl/en/publications/51fb3d30-72be-4579-b255-21191871c6f2 -
5
Autoren: et al.
Quelle: Systems; Jul2025, Vol. 13 Issue 7, p596, 45p
-
6
Autoren: et al.
Quelle: Proceedings of the ACM on Programming Languages. 4(HOPL)
Schlagwörter: 4613 Theory Of Computation (for-2020), 46 Information and Computing Sciences (for-2020), 4612 Software Engineering (for-2020), 4 Quality Education (sdg), Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education-Interactive learning environments, History of computingsHistory of programming languages, Computing educations- Computational thinking, Computing education programsDComputer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools- General programming languages, Imperative languages, Functional languages, Language featuressControl structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computations-Models of computation-computabilitys-, Lambda calculus, Recursive functions, Interactive computation., Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education– Interactive learning environments, History of computing–History of programming languages, Computing education– Computational thinking, Computing education programs—Computer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools–General programming languages, Imperative languages, Functional languages, Language features–Control structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computation–Models of computation— Computability–Lambda calculus, Recursive functions, Interactive computation., 4612 Software engineering (for-2020), 4613 Theory of computation (for-2020), 4903 Numerical and computational mathematics (for-2020)
Dateibeschreibung: application/pdf
-
7
Autoren:
Resource Type: eBook.
Schlagworte: Software engineering--Congresses
PDF-Volltext ePub Volltext -
8
Autoren:
Schlagwörter: 03 medical and health sciences, Computer graphics, 0302 clinical medicine, Software notations and tools, 0202 electrical engineering, electronic engineering, information engineering, Software and its engineering, 02 engineering and technology, MLIC-synthesizer, Multi-light Image Collections, MLIC, Computing methodologies
Dateibeschreibung: application/pdf
Zugangs-URL: https://iris.univr.it/handle/11562/1008326
-
9
Autoren:
Schlagwörter: Software and its engineering → Software notations and tools, Human-centered computing → Visualization systems and tools, diagrams, interactive theorem proving, diagramming languages
Relation: https://infoscience.epfl.ch/record/305144/files/hatra23.pdf; 4th International Workshop on Human Aspects of Types and Reasoning Assistants; https://infoscience.epfl.ch/handle/20.500.14299/200686
-
10
Autoren:
Quelle: Molecular diversity [Mol Divers] 2025 Aug; Vol. 29 (4), pp. 3733-3752. Date of Electronic Publication: 2024 May 14.
Publikationsart: Journal Article; Review
Info zur Zeitschrift: 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-Schlagworte: Software* , Programming Languages*, Cheminformatics/methods
-
11
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Software notations and tools, Human-centered computing, Software and its engineering, ddc:004, Software and its engineering, Software notations and tools, Human-centered computing, Human computer interaction (HCI), Human computer interaction (HCI)
Dateibeschreibung: application/pdf
-
12
Autoren: Aleidys Arraiz
Quelle: Revista Arbitrada Interdisciplinaria Koinonía, Vol 3, Iss 6, Pp 79-95 (2018)
Schlagwörter: Framework, SPEM 2.0, revisión sistemática, proyecto sociotecnológico, metamodelos., General Works, Social sciences (General), H1-99
Dateibeschreibung: electronic resource
-
13
Autoren:
Resource Type: eBook.
Schlagworte: Software engineering--Congresses
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Hardware / General
PDF-Volltext -
14
Autoren: et al.
Quelle: Dagstuhl Reports 12, 20-40 (2023). doi:10.4230/DagRep.12.9.20
Schlagwörter: Data Management, Digital Twins, Model Management, Model-Driven Engineering, Models@runtime, Software Engineering, Software and its engineering → Software notations and tools
Geographisches Schlagwort: DE
Relation: info:eu-repo/semantics/altIdentifier/issn/2192-5283
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: IFIP Advances in Information and Communication Technology ; 14th IFIP International Conference on Open Source Systems (OSS) ; https://inria.hal.science/hal-01875491 ; 14th IFIP International Conference on Open Source Systems (OSS), Jun 2018, Athens, Greece. pp.61-76, ⟨10.1007/978-3-319-92375-8_6⟩
Schlagwörter: CCS → Software and its engineering → Software notations and tools → Software configuration management and version control systems, Open Source Software (OSS), Software evolution, Source code management, Commit activity, Commit message quality, [INFO]Computer Science [cs]
-
16
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014) ; https://hal.science/hal-01082400 ; ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014), Aug 2014, Vienna, Austria. pp.32
Schlagwörter: systems of systems, D21 [Software Engineering]: System modeling languages- Software development methods, Requirements anal- ysis, Software and its engineering [Software notations and tools]: System description languages-System mod- eling languages, Security and privacy [Software and ap- plication security]: [Software security engineering] Keywords Systems of Systems, Requirement Engineering, Security, MDE, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
17
Autoren: et al.
Quelle: Proceedings of the 21st International Conference on Mining Software Repositories. :231-241
Schlagwörter: Code Smells, Docker, Empirical Software Engineering
-
18
Autoren:
Quelle: Proceedings of the CHI Conference on Human Factors in Computing Systems. :1-20
Schlagwörter: Software Notations and Tools, Social and Professional Topics, Development Frameworks and Environments, Integrated and Visual Development Environments, Software and its Engineering, Professional Topics
Dateibeschreibung: application/pdf
-
19
Autoren:
Weitere Verfasser:
Schlagwörter: Software organization and properties, Extra-functional properties, Software notations and tools, Contextual software domains, Performance, Cross-computing tools and techniques, Software and its engineering, [INFO] Computer Science [cs], General and reference, Operating systems, Computing methodologies
Dateibeschreibung: application/pdf
-
20
Autoren:
Quelle: Companion to the first International Conference on the Art, Science and Engineering of Programming. :1-5
Schlagwörter: Software organization and properties, Software notations and tools, 9. Industry and infrastructure, 4. Education, 02 engineering and technology, Interoperability, Software system structures, 12. Responsible consumption, Extra-functional properties, 11. Sustainability, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, modeling and modularity, Abstraction, Context specific languages
Dateibeschreibung: text
Nájsť tento článok vo Web of Science 
Full Text Finder