Treffer 1 - 20 von 402

1

Modular algebraic specifications and transformational program development
Diepen, N.W.P. van ; Diepen, N.W.P. van
~~~~~~~~~~

E-Ressource
Merkliste
2

Modular Algebraic Specifications and Transformational Program Development
van Diepen, N.W.P.
van Diepen, N W P 1994, 'Modular Algebraic Specifications and Transformational Program Development', Doctor of Philosophy.

Buch
Merkliste
3

Abstracting a Specification from Code.
Ward, Martin
Journal of Software Maintenance: Research & Practice; Jun93, Vol. 5 Issue 2, p101-122, 22p

ABSTRACT thought COMPUTER software TECHNICAL specifications PROGRAM transformation COMPUTER software develo... REVERSE engineering
Fachzeitschrift
Merkliste
4

A Formal Framework for Metamodeling in the Context of MDE  .
Favre, Liliana
Journal of Universal Computer Science (JUCS); 2025, Vol. 31 Issue 4, p338-362, 25p

Fachzeitschrift
Merkliste
5

MetaGAN: Metamorphic GAN-Based Augmentation for Improving Deep Learning-Based Multiple-Fault Localization Without Test Oracles.
Hu, Anlin ; Feng, Wenjiang ; Zhu, Xudong ; et al.
Electronics (2079-9292); Jul2025, Vol. 14 Issue 13, p2596, 26p

DEEP learning DATA augmentation DEFECT tracking (Compute... GENERATIVE adversarial n... SAMPLE size (Statistics) COMPUTER software testin...
Fachzeitschrift
Merkliste
6

Contract lenses: Reasoning about bidirectional programs via calculation.
ZHANG, HANLIANG ; TANG, WENHAO ; XIE, RUIFENG ; et al.
Journal of Functional Programming; 2023, Vol. 33, p1-41, 41p

CONTRACTS
Fachzeitschrift
Merkliste
7

OIL: an industrial case study in language engineering with Spoofax: OIL: an industrial case study in language engineering with Spoofax: O. Bunte et al.
Bunte, Olav ; Denkers, Jasper ; van Gool, Louis C. M. ; et al.
Software & Systems Modeling; Feb2025, Vol. 24 Issue 1, p139-182, 44p

SYSTEMS software LANGUAGE & languages SOFTWARE maintenance COMPUTER software develo... WORKBENCHES
Fachzeitschrift
Merkliste
8

Development Use Cases for Semantics-Driven Modeling Languages: Choosing underlying semantic theories and definition techniques must closely follow intended use cases for the modeling language.
BROY, MANFRED ; RUMPE, BERNHARD
Communications of the ACM; May2023, Vol. 66 Issue 5, p62-71, 10p, 3 Diagrams, 4 Charts, 1 Graph

COMPUTER software develo... PROGRAMMING language sem... PROGRAMMING languages SYSTEMS design SYNTAX in programming la...
Zeitschrift
Merkliste
9

Incremental Computation: What Is the Essence?
Liu, Yanhong A.
Foundations & Trends in Programming Languages; 2025, Vol. 9 Issue 3, p194-269, 76p

Fachzeitschrift
Merkliste
10

Transformational design of real-time systems. Part II: From program specifications to programs.
Schenke, Michael
Acta Informatica; 1999, Vol. 36 Issue 1, p67, 30p

REAL-time programming MATHEMATICAL transformat... PROGRAMMING languages OCCAM (Computer program...
Fachzeitschrift
Merkliste
11

A Novel Architecture for Understanding, Context Adaptation, Intentionality and Experiential Time in Emerging Post-Generative AI Through Sophimatics.
Iovane, Gerardo ; Iovane, Giovanni
Electronics (2079-9292); Dec2025, Vol. 14 Issue 24, p4812, 63p

ARTIFICIAL intelligence GENERATIVE artificial in... MORAL reasoning ADAPTIVE control systems ACT psychology TIME perception
Fachzeitschrift
Merkliste
12

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.
Ehrig, H. ; Mahr, B. ; Classen, I. ; et al.
Computer Journal; 1992, Vol. 35 Issue 5, p460-467, 8p

Fachzeitschrift
Merkliste
13

Transformational design of real-time systems Part I: From requirements to program specifications.
Schenke, Michael ; Olderog, Ernst-Rüdiger
Acta Informatica; 1999, Vol. 36 Issue 1, p1, 65p

REAL-time programming MATHEMATICAL transformat... PROGRAMMING languages OCCAM (Computer program...
Fachzeitschrift
Merkliste
14

A Transformational Approach to Resource Analysis with Typed-norms Inference.
ALBERT, ELVIRA ; GENAIM, SAMIR ; GUTIÉRREZ, RAÚL ; et al.
Theory & Practice of Logic Programming; May2020, Vol. 20 Issue 3, p310-357, 48p

NATURAL numbers PROGRAM transformation DATA mapping
Fachzeitschrift
Merkliste
15

Behavioral Interface Specification Languages.
Hatcliff, John ; Leavens, Gary T. ; Leino, K. Rustan M. ; et al.
ACM Computing Surveys; Jun2012, Vol. 44 Issue 3, p16-16:58, 58p

COMPUTER interfaces PROGRAMMING languages COMPUTER programming COMPUTER software COMPUTER programmers SOFTWARE verification
Fachzeitschrift
Merkliste
16

Topological Quantum Gates in Homotopy Type Theory.
Myers, David Jaz ; Sati, Hisham ; Schreiber, Urs
Communications in Mathematical Physics; Jul2024, Vol. 405 Issue 7, p1-114, 114p

Fachzeitschrift
Merkliste
17

Automating the Development of High-Performance Multigrid Solvers.
Schmitt, Christian ; Kronawitter, Stefan ; Hannig, Frank ; et al.
Proceedings of the IEEE; Nov2018, Vol. 106 Issue 11, p1969-1984, 16p

DOMAIN-specific programm... COMPUTER programming COMPUTER software develo... GENETIC code MULTIGRID methods (Numer...
Fachzeitschrift
Merkliste
18

Transformational design of an interactive component straddling communication streams.
Dosch, Walter
Journal of Computational Methods in Sciences & Engineering; 2006 Supplement 1, Vol. 6 Issue 5, p91-107, 17p, 2 Diagrams, 1 Chart

PROGRAM transformation STREAMING technology DATA transmission system... TECHNICAL specifications SYSTEMS design
Fachzeitschrift
Merkliste
19

An Abstraction Technique for Verifying Shared-Memory Concurrency †.
Oortwijn, Wytse ; Gurov, Dilian ; Huisman, Marieke
Applied Sciences (2076-3417); Jun2020, Vol. 10 Issue 11, p3928, 48p

SELF-expression ALGEBRA
Fachzeitschrift
Merkliste
20

Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications.
Bernardeschi, Cinzia ; Domenici, Andrea ; Fagiolini, Adriano ; et al.
Computer Journal; Feb2023, Vol. 66 Issue 2, p295-317, 23p

DRONE aircraft CYBER physical systems PARTICIPATORY design BEHAVIORAL assessment
Fachzeitschrift
Merkliste

Filter