UB Paderborn / Katalog / Suche / in CDI

Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

1 – 25 von 22.035

Sortiert nach

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings

2024

Link zum Volltext

Verfügbarkeit prüfen

Acceptance behavior theories and models in software engineering — A mapping study

Information and software technology, 2024-08, Vol.172, Article 107469

2024

Link zum Volltext

Verfügbarkeit prüfen

MR2-KG: A multi-relation multi-rationale knowledge graph for modeling software engineering knowledge on Stack Overflow

IEEE transactions on software engineering, 2024-05, p.1-20

2024

Link zum Volltext
IEEE_Xplore

Research artifacts in software engineering publications: Status and trends

The Journal of systems and software, 2024-07, Vol.213, Article 112032

2024

Link zum Volltext

Verfügbarkeit prüfen

Inclusion of individuals with autism spectrum disorder in Software Engineering

Information and software technology, 2024-06, Vol.170, Article 107434

2024

Link zum Volltext

Verfügbarkeit prüfen

Search-based co-creation of software models: The case of particle systems for video games

Information and software technology, 2024-07, Vol.171, Article 107466

2024

Link zum Volltext

Verfügbarkeit prüfen

Modeling and Architecting of Complex Software Systems

IEEE software, 2024-05, Vol.41 (3), p.76-79

2024

Link zum Volltext
IEEE_Xplore

The impact of human aspects on the interactions between software developers and end-users in software engineering: A systematic literature review

Information and software technology, 2024-09, Vol.173, Article 107489

2024

Link zum Volltext

Verfügbarkeit prüfen

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

2024

Link zum Volltext

Verfügbarkeit prüfen

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

2024

Link zum Volltext

Verfügbarkeit prüfen

Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021

Formal Aspects of Computing, 2024-03, Vol.36 (1), p.1-2, Article 1

2024

Link zum Volltext

Verfügbarkeit prüfen

Factoring Expertise, Workload, and Turnover into Code Review Recommendation

IEEE transactions on software engineering, 2024-04, Vol.50 (4), p.1-16

2024

Link zum Volltext
IEEE_Xplore

Certification of avionic software based on machine learning: the case for formal monotony analysis

International journal on software tools for technology transfer, 2024-04, Vol.26 (2), p.189-205

2024

Link zum Volltext

Verfügbarkeit prüfen

Search-based approaches to optimizing software product line architectures: A systematic literature review

Information and software technology, 2024-06, Vol.170, Article 107446

2024

Link zum Volltext

Verfügbarkeit prüfen

The never-ending story–How companies transition to and sustain continuous software engineering practices

The Journal of systems and software, 2024-07, Vol.213, Article 112056

2024

Link zum Volltext

Verfügbarkeit prüfen

Conceptual Framework for Software Change

IT professional, 2024-03, Vol.26 (2), p.57-66

2024

Link zum Volltext
IEEE_Xplore

Formally verifying decompositions of stochastic specifications

International journal on software tools for technology transfer, 2024-04, Vol.26 (2), p.207-228

2024

Link zum Volltext

Verfügbarkeit prüfen

Deductive verification of smart contracts with Dafny

International journal on software tools for technology transfer, 2024-04, Vol.26 (2), p.131-145

2024

Link zum Volltext

Verfügbarkeit prüfen

Towards an AI Knowledge Assistant for Context-aware Learning Experiences in Software Capstone Project Development

IEEE transactions on learning technologies, 2024-05, p.1-17

2024

Link zum Volltext
IEEE_Xplore

Comparing a LEGO® Serious Play Activity with a Traditional Lecture in Software Engineering Education

IEEE access, 2024-05, p.1-1

2024

Link zum Volltext

Verfügbarkeit prüfen

A Systematic Review of IoT Systems Testing: Objectives, Approaches, Tools, and Challenges

IEEE transactions on software engineering, 2024-04, Vol.50 (4), p.785-815

2024

Link zum Volltext
IEEE_Xplore

Correction: A framework for embedded software portability and verification: from formal models to low-level code

Software and systems modeling, 2024-04, Vol.23 (2), p.317-317

2024

Link zum Volltext

Verfügbarkeit prüfen

Guest editorial for the special section on SEFM 2020 and 2021

Software and systems modeling, 2024-04, Vol.23 (2), p.285-287

2024

Link zum Volltext

Verfügbarkeit prüfen

Model-based code generation works: But how far does it go?—on the role of the generator

Software and systems modeling, 2024-04, Vol.23 (2), p.267-268

2024

Link zum Volltext

Verfügbarkeit prüfen

A Gamification Method for Improving the Onboarding Process of Software Engineers

IT professional, 2024-03, Vol.26 (2), p.67-75

2024

Link zum Volltext
IEEE_Xplore

1 – 25 von 22.035

Suche als RSS-Feed

Aktive Filter

SpracheJapanisch

ThemaMaterials Science, Multidisciplinary

KollektionIngenta.com

Neu hinzugefügt... seit 90 Tagen

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(21.644)
Mit Volltextzugriff
(21.713)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

9 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

n.n

Thema

Science & Technology
(12.742)
Life Sciences & Biomedicine
(5.993)
Technology
(5.809)
Physical Sciences
(4.176)
Engineering
(3.561)
Humans
(3.083)
Analysis
(2.636)
Algorithms
(2.330)
Chemistry
(1.934)
Methods
(1.847)
Engineering, Electrical & Electronic
(1.668)
Proteins
(1.556)
Machine Learning
(1.469)
Animals
(1.423)
Science & Technology - Other Topics
(1.415)
Accuracy
(1.368)
Neural Networks
(1.328)
Multidisciplinary Sciences
(1.320)
Computer Science
(1.319)
Software
(1.270)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

Ingenta
(22.035)
Free E-Journal (出版社公開部分のみ）
(16.177)
MEDLINE
(5.414)
Springer Nature - Complete Springer Journals
(3.010)
IngentaConnect Journals
(2.650)
SpringerLINK Contemporary (Konsortium Baden-Württemberg)
(2.611)
Elsevier ScienceDirect Journals Complete
(2.164)
Nature
(1.416)
Journals@Ovid Complete
(1.261)
Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
(1.035)
IEEE Xplore (IEEE/IET Electronic Library - IEL)
(877)
Wiley Online Library All Journals
(306)
NUS Single-Journal Subscriptions
(275)
SpringerLink Series
(231)
Wiley Online Library Full Collection 2018
(191)
Jstor Complete Legacy
(154)
Nexis Uni
(100)
Ebook Central Perpetual and DDA
(94)
Emerald Management 200
(92)
Taylor & Francis Journals Complete
(92)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

Sensors
(1.374)
Scientific Reports
(1.331)
Plos One
(1.098)
Energies
(957)
Water
(762)
Remote Sensing
(711)
Foods
(694)
Buildings
(634)
Plants
(612)
International Journal Of Molecular Sciences
(489)

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 7 Tagen
(326)
... seit 30 Tagen
(6.395)