scientific article; zbMATH DE number 815103
From MaRDI portal
Publication:4855425
zbMath0844.68022MaRDI QIDQ4855425
Publication date: 13 November 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)
Related Items (11)
Piecemeal legacy migrating with an architectural pattern language: a case study ⋮ How to develop and to reuse the UniPDM framework ⋮ Lessons learned becoming a framework developer ⋮ Dynamic overloading with copy semantics in object-oriented languages: a formal account ⋮ \texttt{PittPack}: an open-source Poisson's equation solver for extreme-scale computing with accelerators ⋮ Verification of mutable linear data structures and iterator-based algorithms in Dafny ⋮ Hexagonal Grid Fields Optimally Encode Transitions in Spatiotemporal Sequences ⋮ A type system for counting instances of software components ⋮ Synthesizing objects ⋮ The STAR offline framework ⋮ Towards an object-oriented framework for the advection-diffusion model
Uses Software
This page was built for publication:
