scientific article; zbMATH DE number 1006119
From MaRDI portal
Publication:4335814
Recommendations
Cited in
(only showing first 100 items - show all)- Featherweight Java with dynamic and static overloading
- Cooperative aspect-oriented programming
- Client-based cohesion metrics for Java programs
- Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS
- A formalism to describe design patterns based on role concepts
- A software package of algorithms and heuristics for disjoint paths in \textit{Pla}nar \textit{Net}works
- Automated prototyping tool-kit (APT)
- Relating requirements and architectures: A study of data-grids
- An empirical study of aspect-oriented metrics
- An object-oriented environment for developing finite element codes for multi-disciplinary applications
- Comprehensive systems: a formal foundation for multi-model consistency management
- Verified software units
- MiniCP: a lightweight solver for constraint programming
- Modeling and visualizing object-oriented programs with Codecharts
- Balancing flexibility and performance in three dimensional meshing tools
- Interactive verification of architectural design patterns in FACTum
- The new Numdam platform
- Design pattern recovery based on annotations
- OREX-J: Towards a universal software framework for the experimental analysis of optimization algorithms
- Matching MyType to subtyping
- Distance preserving recombination operator for Earth observation satellites operations scheduling
- An object-oriented framework for versatile discrete objects simulation using design patterns
- Visual software analytics for the build optimization of large-scale software systems
- MOMI: a calculus for mobile mixins
- On assertion-based encapsulation for object invariants and simulations
- Specification and verification challenges for sequential object-oriented programs
- MooAFEM: an object oriented Matlab code for higher-order adaptive FEM for (nonlinear) elliptic PDEs
- Pattern-oriented software architecture
- Towards software design automation with patterns
- odeToJava: a PSE for the numerical solution of IVPS
- Fluctuating hydrodynamics methods for dynamic coarse-grained implicit-solvent simulations in LAMMPS
- Teko: a block preconditioning capability with concrete example applications in Navier-Stokes and MHD
- Invariants for non-hierarchical object structures
- The HeKatE methodology. Hybrid engineering of intelligent systems
- Communication protocols for options and results in a distributed optimization environment
- scientific article; zbMATH DE number 2089392 (Why is no real title available?)
- Language Support for Service Interactions in Service-Oriented Architecture
- Design pattern detection in Java systems: A dynamic analysis based approach
- Service based development of a cross domain reference architecture
- Patterns for refinement automation
- Specification patterns and proofs for recursion through the store
- The MISSION client: navigating ontology information for query formulation and publication in distributed statistical information systems
- The ISDF framework: integrating security patterns and best practices
- Evaluation of a Java Computer Algebra System
- A principled, complete, and efficient representation of C++
- A Visual Dataflow Language for Image Segmentation and Registration
- A Debugger for the Interpreter Design Pattern
- Pattern Detection in Object-Oriented Source Code
- CHR for Imperative Host Languages
- Architectural Styles as a Guide for Software Architecture Reconstruction
- An Overview of CaesarJ
- Towards a Catalogue of Refactorings and Code Smells for AspectJ
- Design and Implementation of an Aspect Instantiation Mechanism
- scientific article; zbMATH DE number 1329992 (Why is no real title available?)
- scientific article; zbMATH DE number 1040067 (Why is no real title available?)
- JCML: A specification language for the runtime verification of Java card programs
- Some new technics regarding the parallelisation of ZéBuLoN, an object oriented finite element code for structural mechanics
- scientific article; zbMATH DE number 2079857 (Why is no real title available?)
- Development and application of the computational model for skeleton solutions. Case study -- using ``bag-of-task for HRBF neural network learning
- Object-Oriented SPH-Simulations with Surface Tension
- scientific article; zbMATH DE number 1931714 (Why is no real title available?)
- scientific article; zbMATH DE number 1931715 (Why is no real title available?)
- scientific article; zbMATH DE number 1870538 (Why is no real title available?)
- Using atomic await commands to develop concurrent programs in Java
- Adjoint Code Design Patterns
- Encoding the factorisation calculus
- <scp>Ginkgo</scp> : A Modern Linear Operator Algebra Framework for High Performance Computing
- An object-oriented framework using design patterns for numerical option pricing
- Action systems in incremental and aspect-oriented modeling
- Agent-Based Modeling and Computer Languages
- Influence of template specialization degree on the search space in evolutionary synthesis of models
- Compiling Janus to RSSA
- Managing proof documents for asynchronous processing
- A subdivision method for arrangement computation of semi-algebraic curves
- Sparse approximate inverse preconditioners on high performance GPU platforms
- A type system for reflective program generators
- Semantic information and the correctness theory of truth
- Highly interactive computational steering for coupled 3D flow problems utilizing multiple GPUs
- Patterns compact. Design patterns for effective software
- The plumbing of interactive graphics
- Delegation by object composition
- Programming with C++ concepts
- Design and evaluation of C++ open multi-methods
- Unified behavior framework for reactive robot control
- Relational concept analysis in practice: capitalizing on data modeling using design patterns
- Taligent MVP in interactive statistical graphics
- Arrangements on parametric surfaces. I: General framework and infrastructure
- A computer model based on real anatomy for electrophysiology study
- On design and implementation of a generic number type for real algebraic number computations based on expression dags
- \texttt{FEMPAR}: an object-oriented parallel finite element framework
- Transforming of an existing structural analysis program to the object-oriented framework
- An operational semantics for object-oriented concepts based on the class hierarchy
- Refinement patterns for ASTDs
- An application framework to systematically develop complex learning resources based on collaborative knowledge engineering
- Modular design of real-time systems using hierarchical communicating real-time state machines
- On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams
- A generic grid interface for parallel and adaptive scientific computing. II: Implementation and tests in DUNE
- Object-oriented development and application of a nonlinear structural analysis framework
- An object-oriented architecture for sensorless cutting force feedback for CNC milling process monitoring and control
- Enforcing structural regularities in software using intensive
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4335814)
