UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 21.374

Sortiert nach

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

Software Principles

IEEE software, 2024-03, Vol.41 (2), p.21-27

2024

Link zum Volltext
IEEE_Xplore

Non-technical Factors in Software Engineering Within the Context of Industry 4.0

New Perspectives in Software Engineering, 2024, Vol.1135, p.89-103

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

Requirements Engineering and Large Language Models: Insights From a Panel

IEEE software, 2024-03, Vol.41 (2), p.6-10

Borg, Markus

2024

Link zum Volltext
IEEE_Xplore

Modeling and Architecting of Complex Software Systems

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

2024

Link zum Volltext
IEEE_Xplore

Experience Report: It Will Never Work in Theory

IEEE software, 2024-05, Vol.41 (3), p.80-82

2024

Link zum Volltext
IEEE_Xplore

M. Scott Ford on Managing Dependency Freshness

IEEE software, 2024-03, Vol.41 (2), p.109-112

2024

Link zum Volltext
IEEE_Xplore

Testing, Debugging, and Log Analysis With Modern AI Tools

IEEE software, 2024-03, Vol.41 (2), p.99-102

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

Circular systems engineering

Software and systems modeling, 2024, Vol.23 (2), p.269-283

2024

Link zum Volltext

Verfügbarkeit prüfen

Developer Productivity for Humans, Part 8: Creativity in Software Engineering

IEEE software, 2024-03, Vol.41 (2), p.11-16

2024

Link zum Volltext

Verfügbarkeit prüfen

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

Reusable formal models for concurrency and communication in custom real-time operating systems

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

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

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

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

Monitoring of spatio-temporal properties with nonlinear SAT solvers

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

2024

Link zum Volltext

Verfügbarkeit prüfen

Generating interactive documents for domain-specific validation of formal models

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

2024

Link zum Volltext

Verfügbarkeit prüfen

The Future of Software Engineering Education and Training in the Age of AI

IEEE software, 2024-03, Vol.41 (2), p.28-29

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

Report on the state of the SoSyM journal (2023 summary)

Software and systems modeling, 2024-02, Vol.23 (1), p.1-5

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, Vol.23 (2), p.267-268

2024

Link zum Volltext

Verfügbarkeit prüfen

Formal Methods for Industrial Critical Systems

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

2024

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 21.374

Suche als RSS-Feed

Aktive Filter

SpracheJapanisch

Neu hinzugefügt... seit 90 Tagen

KollektionIngenta.com

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(21.047)
Mit Volltextzugriff
(21.291)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

7 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(11.294)
Technology
(7.321)
Physical Sciences
(5.565)
Engineering
(4.527)
Chemistry
(3.613)
Life Sciences & Biomedicine
(3.489)
Analysis
(3.275)
Materials Science
(2.785)
Materials Science, Multidisciplinary
(2.527)
Physics
(2.377)
Humans
(2.231)
Physics, Applied
(2.147)
Algorithms
(1.958)
Chemistry, Multidisciplinary
(1.866)
Methods
(1.705)
Engineering, Electrical & Electronic
(1.540)
Engineering, Multidisciplinary
(1.400)
Machine Learning
(1.279)
Instruments & Instrumentation
(1.142)
Chemistry, Analytical
(1.132)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

IngentaConnect
(21.374)
EZB Electronic Journals Library
(16.085)
MEDLINE
(4.064)
SpringerLink
(2.828)
SpringerLINK Contemporary (Konsortium Baden-Württemberg)
(2.479)
IngentaConnect Journals
(2.128)
Elsevier ScienceDirect Journals Complete
(1.841)
Journals@Ovid Ovid Full Text
(956)
IEEE/IET Electronic Library (IEL)
(844)
Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
(835)
Springer Nature - Connect here FIRST to enable access
(704)
Wiley Backfiles (~2019)
(252)
NUS Single-Journal Subscriptions
(204)
HEAL-Link subscriptions: Springer Book Series
(191)
JSTOR All Journals
(135)
Wiley Online Library
(122)
Emerald Management 200
(104)
Taylor & Francis Journals Complete
(92)
Springer Books
(77)
Taylor & Francis
(76)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

Applied Sciences
(1.977)
Sensors
(1.552)
Energies
(1.024)
Plos One
(962)
Materials
(885)
Water
(786)
Scientific Reports
(657)
Remote Sensing
(583)
Foods
(572)
Buildings
(544)

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(7.362)
... seit 7 Tagen
(522)

Menü

Weitere Dienste

Einstellungen

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

Software Principles

Non-technical Factors in Software Engineering Within the Context of Industry 4.0

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

Requirements Engineering and Large Language Models: Insights From a Panel

Modeling and Architecting of Complex Software Systems

Experience Report: It Will Never Work in Theory

M. Scott Ford on Managing Dependency Freshness

Testing, Debugging, and Log Analysis With Modern AI Tools

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

Circular systems engineering

Developer Productivity for Humans, Part 8: Creativity in Software Engineering

Formally verifying decompositions of stochastic specifications

Reusable formal models for concurrency and communication in custom real-time operating systems

Deductive verification of smart contracts with Dafny

Research artifacts in software engineering publications: Status and trends

Inclusion of individuals with autism spectrum disorder in Software Engineering

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

Monitoring of spatio-temporal properties with nonlinear SAT solvers

Generating interactive documents for domain-specific validation of formal models

The Future of Software Engineering Education and Training in the Age of AI

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

Report on the state of the SoSyM journal (2023 summary)

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

Formal Methods for Industrial Critical Systems

Aktive Filter

Suchergebnisse filtern